============================= 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.Received on Monday, 11 May 2009 19:57:23 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:12 UTC