************************************************************************ SESSIONS IN OVERVIEW ************************************************************************ *********** *Wednesday* *********** 09:00-10:00 Invited Talk by Raymond Reiter 10:30-12:00 Session A: Session B: Cognitive Robotics Search 13:30-15:00 Joint Session: Selected Papers 15:30-16:30 Session A: Session B: Ontologies & Configuration Knowledge Discovery ********** *Thursday* ********** 09:00-10:00 Invited Talk by V.S. Subrahmanian 10:30-12:00 Session A: Session B: Industrial Session I Tutorial by Stefan Wrobel 13:30-14:30 Invited Talk by Michael Kearns 15:00-16:30 Session A: Session B: Industrial Session II Tutorial by Thom Fruehwirth ******** *Friday* ******** 09:00-10:00 Invited Talk by Hans Kamp 10:30-12:00 Session A: Session B: Theorem Proving Diagnosis 13:30-15:00 Session A: Session B: Constraints Robotics 15:30-16:30 Session A: Session B: Nonmonotonic & Multiagent Systems Temporal Reasoning ************************************************************************ SESSIONS IN DETAIL ************************************************************************ *********** *Wednesday* *********** ------------------------------------------------------------------------ "Invited Talk" | Wednesday, 9:00 - 10:00 ------------------------------------------------------------------------ - Raymond Reiter Cognitive Robotics ------------------------------------------------------------------------ "Cognitive Robotics" (3) | Wednesday, 10:30 - 12:00 ------------------------------------------------------------------------ - Michael Thielscher Inferring Implicit State Knowledge and Plans with Sensing Actions - Henrik Grosskreutz, Gerhard Lakemeyer Belief Update in the pGolog Framework - Yves Martin, Michael Thielscher Addressing the Qualification Problem in FLUX ------------------------------------------------------------------------ "Search" (3) | Wednesday, 10:30 - 12:00 ------------------------------------------------------------------------ - Stefan Edelkamp, Ulrich Meyer Theory and Practice of Time-Space Trade-Offs in Memory Limited Search - Stefan Edelkamp Prediction of Regular Search Tree Growth by Spectral Analysis - Falk Hueffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier Finding Optimal Solutions to Atomix ------------------------------------------------------------------------ "Selected Papers" (3) | Wednesday, 13:30 - 15:00 ------------------------------------------------------------------------ - Ralf Küsters, Ralf Molitor Approximating Most Specific Concepts in Description Logics with Existential Restrictions - Anatoli Degtyarev, Michael Fisher Towards First-Order Temporal Resolution - Thomas Ragg Bayesian Learning and Evolutionary Parameter Optimization ------------------------------------------------------------------------ "Ontologies and Knowledge Discovery" (2) | Wednesday, 15:30 - 16:30 ------------------------------------------------------------------------ - Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens OilEd: A Reason-able Ontology Editor for the Semantic Web - Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis ------------------------------------------------------------------------ "Configuration" (2) | Wednesday, 15:30 - 16:30 ------------------------------------------------------------------------ - Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker Towards Distributed Configuration - Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker Hierarchical Diagnosis of Large Configurator Knowledge Bases ********** *Thursday* ********** ------------------------------------------------------------------------ "Invited Talk" | Thursday, 9:00 - 10:00 ------------------------------------------------------------------------ - V.S. Subrahmanian IMPACT: Interactive Maryland Platform for Agents Collaborating Together ------------------------------------------------------------------------ "Industrial Session I" | Thursday, 10:30 - 12:00 ------------------------------------------------------------------------ - Gerhard Fleischanderl, Siemens AG Österreich Constraints Applied to Configurations - Kai Lebeth, Dresdner Bank AG Semantic Networks in a Knowledge Management Portal - Jana Koehler, Schindler Aufzüge AG From Theory to Practice: AI Planning for High Performance Elevator Control ------------------------------------------------------------------------ "Invited Talk" | Thursday, 13:30 - 14:30 ------------------------------------------------------------------------ - Michael Kearns Computational Game Theory and AI ------------------------------------------------------------------------ "Industrial Session II" | Thursday, 15:00 - 16:00 ------------------------------------------------------------------------ - Kurt Sundermeyer, DaimlerChrysler AG Collaborative Supply Net Management - Wolfgang Tschirk, Siemens AG Österreich Neural Net Speech Recognizers: Voice Remote Control Devices for Disabled People ******** *Friday* ******** ------------------------------------------------------------------------ "Invited Talk" | Friday, 9:00 - 10:00 ------------------------------------------------------------------------ - Hans Kamp Representations of Temporal Information in Natural Language and their Logic ------------------------------------------------------------------------ "Theorem Proving" (3) | Friday 10:30 - 12:00 ------------------------------------------------------------------------ - Stefan Brüning Exploiting Conditional Equivalences in Connection Calculi - Stephan Schulz Learning Search Control Knowledge for Equational Theorem Proving - Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, Volker Sorge An Agent-oriented Approach to Reasoning ------------------------------------------------------------------------ "Diagnosis" (3) | Friday 10:30 - 12:00 ------------------------------------------------------------------------ - Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa DiKe - A Model-Based Diagnosis Kernel and its Application - Markus Stumptner, Dominik Wieland, Franz Wotawa Comparing Two Models for Software Debugging - Gero Iwan History-based Diagnosis Templates in the Framework of the Situation Calculus ------------------------------------------------------------------------ "Constraints" (3) | Friday 13:30 - 15:00 ------------------------------------------------------------------------ - Zeynep Kiziltan, Pierre Flener, Brahim Hnich Towards Inferring Labelling Heuristics for CSP Application Domains - Deborah East, Miroslaw Truszczynski Propositional Satisfiability in Answer Set Programming - Liviu Badea, Doina Tilivea Abductive Partial Order Planning with Dependent Fluents ------------------------------------------------------------------------ "Robotics" (3) | Friday 13:30 - 15:00 ------------------------------------------------------------------------ - Thorsten Belker, Michael Beetz Learning to Execute Navigation Plans - Maren Bennewitz, Wolfram Burgard, Sebastian Thrun Constraint-based Optimization of Priority Schemes for Decoupled Path Planning Techniques - Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots ------------------------------------------------------------------------ "Nonmonotonic and Temporal Reasoning" (2) | Friday 15:30 - 16:30 ------------------------------------------------------------------------ - Alexander Bochman Possible Worlds Semantics for Credulous and Contraction Inference - Mathias Broxvall The Point Algebra for Branching Time Revisited ------------------------------------------------------------------------ "Multiagent Systems" (2) | Friday 15:30 - 16:30 ------------------------------------------------------------------------ - George Anastassakis, Tim Ritchings, Themis Panayiotopoulos Multi-Agent Systems as Intelligent Virtual Environments - Wojciech Jamroga A Defense Model for Games with Incomplete Information