 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Program
The program is also available as plain-text.
Program at a Glance
Monday, Sept. 17
Workshops
- Workshop W9 - Uncertainty in AI
Location: FH HS 6
Tuesday, Sept. 18
Workshops
- Workshop W1 - PuK 2001
Location: Nöbauer HS - Workshop W2 - MASHO
Location: FH HS 4 - Workshop W3 - Where will autonomous robots go to?
Location: Seminarroom 114, 1 floor up - Workshop W6 - Applications of Description Logics
Location: FH HS 6 - Workshop W7 - Modal Logic in AI
Location: FH HS 5 - Workshop W8 - Ontologies
Location: FH HS 7
Wednesday, Sept. 19th
| 09:00 - 10:00 | Invited Talk by Bernhard Nebel Location: FH HS 6 |
|
| 10:30 - 12:00 | Cognitive Robotics Location: FH HS 6 |
Search Location: FH HS 5 |
| 13:30 - 15:00 | Joint Session: Selected Papers Location: FH HS 6 |
|
| 15:30 - 16:30 | Ontologies and Knowledge Discovery Location: FH HS 6 |
Configuration Location: FH HS 5 |
| 20:00 - | Mayor's Reception | |
Thursday, Sept. 20th
| 09:00 - 10:00 | Invited Talk by V.S. Subrahmanian Location: FH HS 6 |
|
| 10:30 - 12:00 | Industrial Day: Session I Location: FH HS 6 |
Tutorial: Stefan Wrobel Location: FH HS 5 |
| 13:30 - 14:30 | Invited Talk by Michael Kearns Location: FH HS 6 |
|
| 15:00 - 16:30 | Industrial Day: Session II Location: FH HS 6 |
Tutorial: Thom Fruehwirth Location: FH HS 5 |
| 17:15 - 23:30 | Conference Dinner in Klosterneuburg | |
Friday, Sept. 21st
| 09:00 - 10:00 | Invited Talk by Hans Kamp Location: FH HS 6 |
|
| 10:30 - 12:00 | Theorem Proving Location: FH HS 6 |
Diagnosis Location: FH HS 5 |
| 13:30 - 15:00 | Constraints Location: FH HS 6 |
Robotics Location: FH HS 5 |
| 15:30 - 16:30 | Nonmonotonic and Temporal Reasoning Location: FH HS 6 |
Multiagent Systems Location: FH HS 5 |
| 16:30 | Conference Closing | |
Detailed Program
Monday, Sept. 17
Workshops
Tuesday, Sept. 18
Workshops
- Workshop W1 - PuK 2001
- Workshop W2 - MASHO
- Workshop W3 - Where will autonomous robots go to?
- Workshop W6 - Applications of Description Logics
- Workshop W7 - Modal Logic in AI
- Workshop W8 - Ontologies
Wednesday, Sept. 19th
| 09:00 - 10:00 | Invited Talk: Cooperative Sensing and Acting in Robotic Soccer Bernhard Nebel, Universität Freiburg, Germany Location: FH HS 6 |
|
| 10:00 - 10:30 | Coffee Break | |
| 10:30 - 12:00 | Cognitive Robotics Location: FH HS 6 |
Search Location: FH HS 5 |
| Inferring Implicit State Knowledge and Plans with Sensing Actions Michael Thielscher |
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search Stefan Edelkamp, Ulrich Meyer |
|
| Belief Update in the pGolog Framework Henrik Grosskreutz, Gerhard Lakemeyer |
Prediction of Regular Search Tree Growth by Spectral Analysis Stefan Edelkamp |
|
| Addressing the Qualification Problem in FLUX Yves Martin, Michael Thielscher |
Finding Optimal Solutions to Atomix Falk Hueffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier |
|
| 12:00 - 13:30 | Lunch Break | |
| 13:30 - 15:00 | Joint Session: Selected Papers Location: FH HS 6 |
|
| Approximating Most Specific Concepts in Description Logics with Existential Restrictions Ralf Küsters, Ralf Molitor |
||
| Towards First-Order Temporal Resolution Anatoli Degtyarev, Michael Fisher |
||
| Bayesian Learning and Evolutionary Parameter Optimization Thomas Ragg |
||
| 15:00 - 15:30 | Coffee Break | |
| 15:30 - 16:30 | Ontologies and Knowledge Discovery Location: FH HS 6 |
Configuration Location: FH HS 5 |
| OilEd: A Reason-able Ontology Editor for the Semantic Web Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens |
Towards Distributed Configuration Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
|
| Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal |
Hierarchical Diagnosis of Large Configurator Knowledge Bases Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker |
|
| 20:00 | Mayor's Reception | |
Thursday, Sept. 20th
| 09:00 - 10:00 | Invited Talk: IMPACT: Interactive Maryland Platform for Agents Collaborating Together V.S. Subrahmanian, University of Maryland, USA Location: FH HS 6 |
|
| 10:00 - 10:30 | Coffee Break | |
| 10:30 - 12:00 | Industrial Day: Session I Location: FH HS 6 |
Tutorial: Knowledge Discovery in Databases Stefan Wrobel, Otto-von-Guericke-University, Magdeburg, Germany Location: FH HS 5 |
| Constraints Applied to Configurations Gerhard Fleischanderl, Siemens AG Österreich |
||
| Semantic Networks in a Knowledge Management Portal Kai Lebeth, Dresdner Bank AG |
||
| From Theory to Practice: AI Planning for High Performance Elevator Control Jana Koehler, IBM Zurich Research Laboratory |
||
| 12:00 - 13:30 | Lunch Break | |
| 13:30 - 14:30 | Invited Talk: Computational Game Theory and AI Michael Kearns, Syntek Capital Location: FH HS 6 |
|
| 14:30 - 15:00 | Coffee Break | |
| 15:00 - 16:00 | Industrial Day: Session II Location: FH HS 6 |
Tutorial: Constraint Handling Rules Thom Frühwirth, Ludwig-Maximilians-University, Munich, Germany Location: FH HS 5 |
| Collaborative Supply Net Management Kurt Sundermeyer, DaimlerChrysler AG |
||
| Neural Net Speech Recognizers: Voice Remote Control Devices for Disabled People Wolfgang Tschirk, Siemens AG Österreich |
||
| 17:15 - 23:30 | Conference Dinner in Klosterneuburg | |
Friday, Sept. 21st
| 09:00 - 10:00 | Invited Talk: Representations of temporal Information in natural Language and their Logic Hans Kamp, University of Stuttgart, Germany Location: FH HS 6 |
|
| 10:00 - 10:30 | Coffee Break | |
| 10:30 - 12:00 | Theorem Proving Location: FH HS 6 |
Diagnosis Location: FH HS 5 |
| Exploiting Conditional Equivalences in Connection Calculi Stefan Brüning |
DiKe - A Model-Based Diagnosis Kernel and its Application Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa |
|
| Learning Search Control Knowledge for Equational Theorem Proving Stephan Schulz |
Comparing Two Models for Software Debugging Markus Stumptner, Dominik Wieland, Franz Wotawa |
|
| An Agent-oriented Approach to Reasoning Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
History-based Diagnosis Templates in the Framework of the Situation Calculus Gero Iwan |
|
| 12:00 - 13:30 | Lunch Break | |
| 13:30 - 15:00 | Constraints Location: FH HS 6 |
Robotics Location: FH HS 5 |
| Towards Inferring Labelling Heuristics for CSP Application Domains Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
Learning to Execute Navigation Plans Thorsten Belker, Michael Beetz |
|
| Propositional Satisfiability in Answer Set Programming Deborah East, Miroslaw Truszczynski |
Constraint-based Optimization of Priority Schemes for Decoupled Path Planning Techniques Maren Bennewitz, Wolfram Burgard, Sebastian Thrun |
|
| Abductive Partial Order Planning with Dependent Fluents Liviu Badea, Doina Tilivea |
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller |
|
| 15:00 - 15:30 | Coffee Break | |
| 15:30 - 16:30 | Nonmonotonic and Temporal Reasoning Location: FH HS 6 |
Multiagent Systems Location: FH HS 5 |
| Possible Worlds Semantics for Credulous and Contraction Inference Alexander Bochman |
Multi-Agent Systems as Intelligent Virtual Environments George Anastassakis, Tim Ritchings, Themis Panayiotopoulos |
|
| The Point Algebra for Branching Time Revisited Mathias Broxvall |
A Defense Model for Games with Incomplete Information Wojciech Jamroga |
|
| 16:30 | Conference Closing | |
Mayor's Reception
On Wednesday evening (8pm, September 19th 2001) the Mayor of Vienna invites all registered conference attendees to a reception in the City Hall.
Conference Dinner in Stift Klosterneuburg
The Conference Dinner on Thursday evening includes a trip to the town Klosterneuburg, a visit to the famous monastery and its winery, and a concert. Finally, enjoy a luscious buffet-style banquet.
17:15 Departure (by bus)
18:00 Guided tour of the monastery
19:00 Concert
19:30 Vinothek/Winery
20:00 Dinner
23:00 Return (by bus)
23:30 Arrival in Vienna