ARCOE-09 Call for Participation

[ARCOE-09]

=============================
ARCOE-09 at IJCAI-09
July 11-12, 2009
Pasadena, CA, USA

CALL FOR EARLY REGISTRATION

Register by May 15, 2009 on
http://ijcai-09.org/
=============================


=============================
ARCOE-09 PRELIMINARY PROGRAM


** Day 1 (July 11th 2009)

8h30 to 9h: Registration

09h00 to 09h30: Introduction to ARCOE

Track 1: COMMON SENSE AND NON-MONOTONIC REASONING

09h30 to 10h30: Invited talk: Small is again beautiful in Description Logics

Baader

---Coffee Break (30min)---

11h00 to 11h30: Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative
Approach
Moguillansky, Wassermann

11h30 to 12h00: Forgetting for Knowledge Bases in DL-Lite_{bool}
Wang, Wang, Topor

---Lunch (2h)---

14h00 to 14h30: AGM Revision in Description Logics
Ribeiro, Wasserman

14h30 to 15h00:    First Steps in EL Contraction
Booth, Meyer, Varzinczak

15h00 to 16h00: Panel discussion: Theme TBA

---Coffee Break (30min)---

Track 2: CONTEXT AND ONTOLOGY

16h30 to 17h00: Shifting Valence Helps Verify Contextual Appropriateness of
Emotions
Ptaszynski, Dybala, Shi, Rzepka, Araki

17h00 to 17h30: Context Discovery via Theory Interpretation
Kutz, Normann

17h30 to 18h00: Contextualized OWL-DL KB for the management of OWL-S
effects
Redavid, Palmisano, Iannone, Doran (presentation)


** Day 2 (July 12th 2009)

09h to 10h00: Invited talk: Title TBA
McGuinness

10h00 to 10h30: Modeling the External Quality of Context to Fine-tune
Context Reasoning in Geo-spatial Interoperability
Sboui, Bedard, Badard

---Coffee break (30min)---

11h00 to 11h30: A Conflict-based Operator for Mapping Revision
Qi, Ji, Haase

Track 3: AUTOMATED ONTOLOGY EVOLUTION

11h30 to 12h00: Unite: A New Plan for Automated Ontology Evolution in
Physics
Bundy

---Lunch (2h)---

14h00 to 14h30: An Architecture of GALILEO: A System for Automated Ontology
Evolution in Physics
Chan, Bundy

14h30 to 15h00: A Case Study of Ontology Evolution in Atomic Physics as the
Basis of the Open Structure Ontology Repair Plan
Lehmann

15h00 to 15h30: Atypicalities in Ontologies: Inferring New Facts from
Topological Axioms
Jouis, Habib, Liu

---Coffee break (30min)---

Track 4: LINKS AND INTEGRATION BETWEEN TRACKS 1 TO 3

16h00 to 17h00: Participants Scientific Discussion

17h00 to 18h00: Plenary Business Meeting, closing of the workshop followed
by social activities
=============================


Please note that:

(1) IJCAI-09 Workshop Cancellation Policy states the following: "If it is
necessary to cancel a workshop, IJCAI will refund the workshop fee to
registered participants, or give them the option of transferring their
workshop registration to another workshop. If at all possible, IJCAI or the
workshop organiser will make an attempt to provide accepted workshop
participants with an alternate workshop opportunity in which they can
present their work.".

(2) Preliminary Program may be subject to variations.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20090511/d68da261/attachment.html>