The ECAI-10 Workshop on

Automated Reasoning about Context and Ontology Evolution

ARCOE-10

August 16-17, 2010
Lisbon, Portugal

held at the

European Conference on Artificial Intelligence

arcoe-10 submission organization abstracts program links arcoe home

THIS PAGE CONTAINS ARCHIVAL INFORMATION ABOUT THE 2010 EDITION
GO TO ARCOE HOME FOR UP-TO-DATE INFORMATION



Workshop notes can be downloaded here. Hard copies of the notes will be provided to participants at the workshop.

Accepted Abstracts

More about AGM Revision in Description Logics
Marcio Ribeiro, Renata Wassermann

Context and Intention in Ontologies
Richard Wallace, Tabbasum Naz

Reasoning with Embedded Formulas and Modalities in SUMO
Christoph Benzmuller, Adam Pease

Ontology Debugging with Truth Maintenance Systems
Hai Nguyen, Natasha Alechina, Brian Logan

Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics
Jos Lehmann, Alan Bundy, Michael Chan

Uncertainty Reasoning through Similarity in Context
Claudia d'Amato, Nicola Fanizzi

Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology
Adam Pease, Chris Benzmueller

A Contextual Approach to Detection of Conflicting Ontologies
Michael Chan, Jos Lehmann, Alan Bundy

First Steps in the Computation of Root Justifications
Thomas Meyer, Kodylan Moodley, Ivan Varzinczak

[arcoe-10] [submission [organization] [abstracts] [program] [links] [arcoe home]


last update: August 9th 2010