 Working group on Knowledge Representation and Automated Reasoning(Rappresentazione della Conoscenza e Ragionamento Automatico)Last event: Bologna, Italy 17th RCRA International Workshop on
"Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2010) in association with CP-AI-OR 2010 Bologna, Italy, June 10-11, 2010 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. The workshop took place few days before CP-AI-OR 2010, which started on Monday, June 14 in Bologna. A selection of the best papers presented at the workshop will be published as a special issue of the journal Annals of Mathematics and Artificial Intelligence (AMAI).  Anche quest'anno il gruppo RCRA ha organizzato, durante il workshop internazionale, la sessione in italiano RiCeRcA 2010: RCRA Incontri e Confronti. |
RCRA - Home page |