Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA)
Coordinatori
-
Marco Maratea
Università degli studi di Genova
Coordinator
-
Luciano Serafini
Fondazione Bruno Kessler
Coordinator
-
Mauro Vallati
University of Huddersfield
Coordinator
-
Toni Mancini
Università di Roma "La Sapienza"
Past Coordinator
Ambito e Obiettivi
Molti problemi in Intelligenza Artificiale mostrano una esplosione esponenziale dello spazio di ricerca. Nonostante questi problemi nascano da aree diverse dell'Intelligenza Artificiale, essi sono spesso affrontati tramite algoritmi che hanno uno scopo comune, ovvero l'esplorazione efficiente di un ampio spazio di ricerca.
Molti algoritmi definiti in una area di ricerca sono applicabili ad altri problemi, o possono essere ibridizzati con tecniche che arrivano da altre aree di ricerca. Inoltre, solutori spesso utilizzano o ibridizzano tecniche definite da altre comunità, come la Ricerca Operativa. Negli ultimi anni la ricerca sulla valutazione sperimentale di algoritmi, sulla definizione di metodologie di sperimentazione ed analisi, sullo studio di linguaggi e sull'implementazione di solutori per risolvere problemi con esplosione esponenziale dello spazio di ricerca, ha attratto sempre più interesse all'interno dell'Intelligenza Artificiale.
Scopo del gruppo è facilitare la cross-fertilizzazione di idee derivanti da differenti aree di ricerca, proporre nuovi benchmarks, comparare modelli ed algoritmi dal punto di vista sperimentale e, in generale, comparare differenti approcci dal punto di vista dell'efficienza, della modellazione, e della estendibilità.
Iniziative ed Eventi
Dal 2007: RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion
Dal 1994: RiCeRcA workshop: RCRA Incontri E Confronti
Membri e Affiliati
Coordinatori precedenti: Toni Mancini
Affiliati:
- Mario Alviano (Univ. of Calabria) [email protected]
- Giovanni Amendola (Univ. of Calabria) [email protected]
- Marco Baioletti (Univ. of Perugia) [email protected]
- Roman Barták (Univ. of Charles) [email protected]
- Stefano Bistarelli (Univ. of Perugia) [email protected]
- Francesco Calimeri (Univ. of Calabria) [email protected]
- Carmine Dodaro (Univ. of Genova) [email protected]
- Wolfgang Faber (Univ. of Klagenfurt) [email protected]
- Andrea Formisano (Univ. of Perugia) [email protected]
- Marco Gavanelli (Univ. of Ferrara) [email protected]
- Alfonso E. Gerevini (Univ. of Brescia) [email protected]
- Miguel A. Gonzalez Fernandez (Univ. of Oviedo) [email protected]
- Mikolas Janota (Univ. of Lisbon) [email protected]
- Toni Mancini (Univ. of Roma LaSapienza) [email protected]
- Joao Marques Silva (Univ. of Lisbona) [email protected]
- Alfredo Milani (Univ. of Perugia) [email protected]
- Angelo Oddi (CNR Roma) [email protected]
- Andrea Peano (Univ. of Ferrara) [email protected]
- Simona Perri (Univ. of Calabria) [email protected]
- Luca Pulina (Univ. of Sassari) [email protected]
- Alessandro Saetti (Univ. of Brescia) [email protected]
- Francesco Santini (Univ. of Perugia) [email protected]
- Valentino Santucci (Univ. of Perugia) [email protected]
- Francesco Scarcello (Univ. of Calabria) [email protected]
- Peter Schuller (TU Wien) [email protected]
- Riccardo Rasconi (CNR Roma) [email protected]
- Francesco Ricca (Univ. of Calabria) [email protected]
- Ivan Serina (Univ. of Brescia) [email protected]
- Mauro Vallati (Univ. of Huddersfield) [email protected]
- Richard Wallace (Univ. of Cork) [email protected]
- Stefan Woltran (TU Wien) [email protected]
- Jessica Zangari (Univ. of Calabria) [email protected]