RCRA - Home page

Italian Association for Artificial Intelligence (AI*IA)

Working group on Knowledge Representation and Automated Reasoning

(Rappresentazione della Conoscenza e Ragionamento Automatico)



Last events

Genova, Italy, 28 November 2016

 

23rd RCRA International Workshop on

"Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"

 
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 



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



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.