Knowledge Representation and Automated Reasoning (RCRA)
Università degli studi di Genova
Università di Roma "La Sapienza"
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