Knowledge Representation and Automated Reasoning (RCRA = Rappresentazione della Conoscenza e Ragionamento Automatico)

RCRA - Home page

RCRA@FLoC 2018: Oxford, UK

RCRA@CPAIOR 2010: Bologna, Italy

RCRA 2008: Udine, Italy

maintained by Schloss Dagstuhl LZI, founded at University of Trier