Workshop Description
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 Edition
The 2010 edition of ARCOE will be held at the European Conference on Artificial Intelligence.
Contact
Please send all enquiries and communications to: organization [at] arcoe [dot] org
[home] [people] [download] [workshops]