Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines - from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia - about how ontologies relate to one another and evolve.
ARCOE aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results.
Next EditionARCOE-LogIC 2013 will be held on September 15, 2013 at LPNMR 2013, Corunna, Spain
Special Issue of the Journal of Web SemanticsThe Special Issue of the Journal of Web Semantics on Reasoning with context in the Semantic Web is now available online.
Please send all enquiries and communications to: organization [at] arcoe [dot] org