Italian Association for Artificial Intelligence (AI*IA)
Working group on Knowledge Representation and Automated Reasoning
(Rappresentazione della Conoscenza e Ragionamento Automatico)
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.