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) alviano@mat.unical.it
- Giovanni Amendola (Univ. of Calabria) amendola@mat.unical.it
- Marco Baioletti (Univ. of Perugia) marco.baioletti@unipg.it
- Roman Barták (Univ. of Charles) bartak@ktiml.mff.cuni.cz
- Stefano Bistarelli (Univ. of Perugia) bista@dmi.unipg.it
- Francesco Calimeri (Univ. of Calabria) calimeri@mat.unical.it
- Carmine Dodaro (Univ. of Genova) dodaro@dibris.unige.it
- Wolfgang Faber (Univ. of Klagenfurt) Wolfgang.Faber@aau.at
- Andrea Formisano (Univ. of Perugia) formis@dmi.unipg.it
- Marco Gavanelli (Univ. of Ferrara) marco.gavanelli@unife.it
- Alfonso E. Gerevini (Univ. of Brescia) alfonso.gerevini@ing.unibs.it
- Miguel A. Gonzalez Fernandez (Univ. of Oviedo) mig@uniovi.es
- Mikolas Janota (Univ. of Lisbon) mikolas.janota@gmail.com
- Toni Mancini (Univ. of Roma LaSapienza) tmancini@di.uniroma1.it
- Joao Marques Silva (Univ. of Lisbona) jpms@ciencias.ulisboa.pt
- Alfredo Milani (Univ. of Perugia) alfredo.milani@unipg.it
- Angelo Oddi (CNR Roma) angelo.oddi@istc.cnr.it
- Andrea Peano (Univ. of Ferrara) andrea.peano@unife.it
- Simona Perri (Univ. of Calabria) perri@mat.unical.it
- Luca Pulina (Univ. of Sassari) lpulina@uniss.it
- Alessandro Saetti (Univ. of Brescia) alessandro.saetti@ing.unibs.it
- Francesco Santini (Univ. of Perugia) francesco.santini@dmi.unipg.it
- Valentino Santucci (Univ. of Perugia) valentino.santucci@unistrapg.it
- Francesco Scarcello (Univ. of Calabria) francesco.scarcello@unical.it
- Peter Schuller (TU Wien) ps@kr.tuwien.ac.at
- Riccardo Rasconi (CNR Roma) riccardo.rasconi@istc.cnr.it
- Francesco Ricca (Univ. of Calabria) ricca@mat.unical.it
- Ivan Serina (Univ. of Brescia) ivan.serina@unibs.it
- Mauro Vallati (Univ. of Huddersfield) m.vallati@hud.ac.uk
- Richard Wallace (Univ. of Cork) richard.wallace@insight-centre.org
- Stefan Woltran (TU Wien) woltran@dbai.tuwien.ac.at
- Jessica Zangari (Univ. of Calabria) zangari@mat.unical.it