Italian Association for Artificial Intelligence (AI*IA)

Working group on Knowledge Representation and Automated Reasoning

(Rappresentazione della Conoscenza e Ragionamento Automatico)

Last events

Bari, Italy, 14 November 2017

24th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" Co-located with the 16th Conference of the Italian Association for Artificial Intelligence (AI*IA 2017) Scope of the workshop is fostering the cross-fertilisation 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 modelling, and ease of development.

 

Genova, Italy, 28 November 2016

23rd RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Co-located with the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA 2016)   This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence.

Ferrara, Italy, 22 September 2015     22nd RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)  Scope of the workshop is fostering the cross-fertilisation 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 modelling, and ease of development.

Pisa, Italy, 11 December 2014

RCRA Incontri e Confronti (R.i.C.e.R.c.A. 2014) Un workshop del  13th Symposium of the Italian Association for Artificial Intelligence "Artificial Intelligence for Society and Economy" L'evento è diretto a favorire l'incontro fra i ricercatori appartenenti alle diverse aree di interesse del Gruppo di Lavoro RCRA.

Vienna, Austria, 17-18 July 2014 21st RCRA International Workshop on  "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2014) Part of the Vienna Summer of Logic  co-located with SAT 2014, ICLP 2014, IJCAR 2014  This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence.   As in the previous years, we plan to publish a selection of the best papers presented at the workshop as a special issue of an international journal.