Automated Reasoning about Context and Ontology Evolution

home people download workshops

Highlights:   ARCOE-Logic 2014 deadlines extended!

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

ARCOE-Logic 2014 will be held on November 24-25, 2014 at EKAW 2014, Linköping, Sweden

Special Issue of the Journal of Web Semantics

The Special Issue of the Journal of Web Semantics on Reasoning with context in the Semantic Web is now available online.

Past Editions

For past editions see the workshops section. Proceedings and presentations can be found in the download section.


Please send all enquiries and communications to: organization [at] arcoe [dot] org

[home] [people] [download] [workshops]

last update: August 22, 2014