Knowledge Representation and Automated Reasoning (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
Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces
Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.
Scope of the group is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new
challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different
approaches with respect to efficiency, problem modeling, and ease of development.
Iniziative ed Eventi
Since 2007: RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion
Since 1994: RiCeRcA workshop: RCRA Incontri E Confronti
Membri e Affiliati
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 La Sapienza) 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