Il gruppo di lavoro RCRA, in occasione del suo 17th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2010)
che si terrà a Bologna, Italia, il 10-11 Giugno, 2010, organizza la sessione speciale

R.i.C.e.R.c.A: RCRA Incontri E Confronti

La sessione è rivolta a tutti i partecipanti alle precedenti edizioni di RCRA, ma è aperta anche a nuovi membri.
Scopo dell'incontro è favorire l'incontro fra i ricercatori appartenenti alle diverse aree di interesse del Gruppo di Lavoro RCRA, fra cui (lista non esaustiva):

• Programmazione Logica
• Logica Computazionale (Programmazione Logica Abduttiva, Induttiva, ...)
• Ontologie
• Logiche descrittive
• Semantic Web, Servizi Web Semantici, Coreografie, Discovery di servizi Web Semantici
• Linguaggi per la Rappresentazione di Regole sul Web (RuleML, MathML, ...) e motori
• inferenziali
• Ragionamento non monotono
• Ragionamento Spaziale e Temporale
• Planning e Scheduling
• Model Checking
• Sistemi ad Agenti e Concorrenti
• Case-Based Reasoning
• Problemi di soddisfacimento di vincoli, CSP e QCSP
• Problemi di ottimizzazione combinatoria
• SAT e QBF
• Apprendimento automatico e data mining
• Logiche Modali
• Disjunctive Logic Programming
• Metaeuristiche
• Algoritmi ibridi
• Logiche Fuzzy
• Preferenze
• Sistemi di misura per la sperimentazione in IA

Per partecipare, si chiede di sottoporre all'indirizzo rcra.aixia.10@gmail.com un abstract (di circa due pagine, in italiano o inglese) entro il 20 Maggio 2010.

Gli autori degli abstract accettati avranno la possibilità di presentare brevemente il loro lavoro durante RiCeRcA 2010; inoltre potranno presentare un poster, una demo
oppure una presentazione più approfondita durante una sessione comune, in cui avranno la possibilità di interagire in maniera più diretta con gli interessati.

Sono particolarmente adatti:

• presentazione di gruppi di ricerca
• presentazioni informali di progetti di ricerca
• idee e proposte di progetto anche orientati alla ricerca di nuovi partner
• position paper
• presentazioni di tesi di dottorato

Invitiamo i dottorandi, in particolare ai primi anni, a presentare le idee che intendono sviluppare, anche se ancora non completamente definite: potranno discuterle
con altri ricercatori ed avere feedback preziosi.

La partecipazione al workshop RCRA 2010 e quindi alla sessione RiCeRcA 2010 è gratuita.

Date importanti

Invio abstract: 20 Maggio 2010
Notifica agli autori: 23 Maggio 2010
RiCeRcA 2010: Bologna, 10-11 Giugno 2010