 Working group on Knowledge Representation and Automated Reasoning(Ragionamento Automatico e Rappresentazione della Conoscenza)Next 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 will take place few days before CP-AI-OR 2010, which will start on Monday, June 14 in Bologna. |
RCRA - Home page |