ARCOE-10: early registration deadline

[ARCOE]

=======================
CALL FOR Early Registration

ARCOE-10 at ECAI-10

August 16-17, 2010
Lisbon, Portugal
=======================

The ECAI-10 Workshop on

Automated Reasoning about Context and Ontology Evolution (ARCOE-10)
http://www.arcoe.org/2010/

held on August 16-17, 2010

at the European Conference on Artificial Intelligence (ECAI-10)
http://ecai2010.appia.pt/

We would like to announce that the early registration deadline for ARCOE-10
(http://www.arcoe.org/2010/) is 25 June, 2010
(
http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=72&Itemid=122
).

There are still some authors of accepted papers who have not confirmedntheir
attendance. If you are among them, please do so asap.

ARCOE 2010 -- Preliminary program

DAY 1: August 16, 2010

09:30-10:30 : Invited talk by Tommie Meyer, Meraka Institute, South Africa
10:30-11:00 : Coffee break
11:00-11:30 : More About AGM Revision in Description Logics. Ribeiro,
Wassermann.
11:30-12:00 : Context and intention in ontologies. Wallace, Naz.
12:00-12:30 : Uncertainty Reasoning through Similarity in Context. d'Amato,
Fanizzi.
12:30-14:00 : Lunch break
14:00-14:30 : First Steps in the Computation of Root Justifications. Meyer,
Moodley, Varzinczak.
14:00-15:00 : OML - Ontology Manipulation Language. Carvalho, Simões,
Almeida.
15:00-15:30 : Ontology Debugging with Truth Maintenance Systems. Nguyen,
Alechina, Logan.
15:30-16:00 : Coffee break
16:00-17:30 : Discussion

DAY 2: August 17, 2010

09:30-10:30 : Invited talk by Fausto Giunchiglia, University of Trento,
Italy
10:30-11:00 : Coffee break
11:00-11:30 : Reasoning with Embedded Formulas and Modalities in SUMO.
Benzmueller, Pease.
11:30-12:00 : Ontology Archaeology: Mining a Decade of Effort on the
Suggested Upper Merged Ontology. Pease, Benzmueller.
12:00-12:30 : Contextual Approach to Detection of Conflicting Ontologies.
Chan, Lehmann, Bundy.
12:30-14:00 : Lunch break
14:00-15:30 : Qualitative Causal Analysis of Empirical Knowledge for
Ontology Evolution in Physics. Lehmann, Chan, Bundy.
14:30-15:30 : Discussion
15:30-16:00 : Coffee break
16:00-17:30 : Business meeting
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20100617/b12a9591/attachment.html>