Date: Thu, 28 Jun 2001 18:17:40 +0200
From: [log in to unmask]
Subject: KI-2001: Call for Participation
[Apologies for multiple copies!]
**************************
* Call for Participation *
**************************
Joint German/Austrian Conference
on Artificial Intelligence (KI-2001)
http://www.kr.tuwien.ac.at/KI2001/
24th German Conference on Artificial Intelligence
9th Austrian Conference on Artificial Intelligence
September 19-21, 2001
Vienna, Austria
Early Registration Deadline: July 9, 2001
GENERAL INFORMATION:
--------------------
The conference will present original research and application papers
in ALL areas of Artificial Intelligence. Topics include:
Agent technology Applications of AI techniques
Automated reasoning Case-based reasoning
Configuration and diagnosis Constraint solving
Knowledge representation Machine learning
Natural language processing Neural networks
Planning and scheduling Robotics
Uncertainty in AI Vision
In addition to papers on foundations, the submission of application
papers was encouraged, which were evaluated according to special
criteria. The conference language, both for papers and talks, will
be English.
The conference proceedings will be published in the Springer series
"Lecture Notes in Artificial Intelligence". Authors of outstanding
papers will also be invited to submit an extended version of their
paper to a special issue of the journal AICom.
At least one author of each accepted paper must register for and
present the work at the conference. Workshop participants must also
register for the main conference.
REGISTRATION:
-------------
For information concerning registration and accommodation, please
consult the conference web page at http://www.kr.tuwien.ac.at/KI2001/
.
The early registration deadline is July 9th, 2001.
INVITED SPEAKERS:
-----------------
Hans Kamp, University of Stuttgart
Michael Kearns, Syntek Capital
"Computational Game Theory and AI"
Raymond Reiter, University of Toronto
"Cognitive Robotics"
V.S. Subrahmanian, University of Maryland
"IMPACT - The Interactive Maryland Platform for Agents
Collaborating Together"
TUTORIALS:
----------
Thom Fruehwirth, Ludwig-Maximilians-University, Munich, Germany
"Constraint Handling Rules"
Stefan Wrobel, Otto-von-Guericke-University, Magdeburg, Germany
"Knowledge Discovery in Databases"
INDUSTRIAL DAY (Thursday, Sept. 20, 2001):
------------------------------------------
Dr. Marinko Festini, Deutsche Telekom, Germany
"Agents in Telekom-Applications"
Dr. Gerhard Fleischanderl, Siemens AG, Austria
"Constraints Applied to Configurations"
Dr. Jana Koehler, IBM Zurich Research Laboratory, Switzerland
"From Theory to Practice: AI Planning for High Performant
Elevator Control"
Dr. Kai Lebeth, Dresdner Bank AG, Germany
"Automatic Computation of Semantics Nets"
Dr. Kurt Sundermeyer, DaimlerChrysler AG, Germany
"Collaborative Supply Net Management"
Mag. Wolfgang Tschirk, Siemens AG, Austria
"Neural Net Speech Recognizers: Voice Remote Control Devices
for Disabled People"
THE INDUSTRIAL DAY IS OPEN TO THE PUBLIC!
WORKSHOPS:
----------
W1: AI in Planning, Scheduling, Configuration and Design (PuK 2001)
Sept. 17th and Sept. 18th
W2: Modeling Artificial Societies and Hybrid Organizations (MASHO)
Sept. 18th
W3: Where will autonomous robots go to?
Sept. 18th
W4: EUROMAP -- Facilitating the path to market for language
and speech technologies in Europe
Sept. 18th
W5: Intelligent Methods for Processing Web-based Information
(WebAI'01)
Sept. 17th
W6: Applications of Description Logics
Sept. 18th
W7: Modal Logic in AI
Sept. 17th and Sept. 18th
W8: Ontologies
Sept. 18th
W9: Uncertainty in Artificial Intelligence
Sept. 17th
ACCEPTED PAPERS:
----------------
George Anastassakis, Tim Ritchings, Themis Panayiotopoulos
"Multi-Agent Systems as Intelligent Virtual Environments"
Liviu Badea, Doina Tilivea
"Abductive Partial Order Planning with Dependent Fluents"
Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens
"OilEd: A Reason-able Ontology Editor for the Semantic Web"
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"
Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, Volker Sorge
"An Agent-oriented Approach to Reasoning"
Alexander Bochman
"Possible worlds semantics for credulous and contraction inference"
Mathias Broxvall
"The Point Algebra for Branching Time Revisited"
Stefan Bruening
"Exploiting Conditional Equivalences in Connection Calculi"
Anatoli Degtyarev, Michael Fisher
"Towards First-Order Temporal Resolution"
Deborah East, Miroslaw Truszczynski
"Propositional satisfiability in answer set programming"
Stefan Edelkamp
"Prediction of Regular Search Tree Growth by Spectral Analysis"
Stefan Edelkamp, Ulrich Meyer
"Theory and Practice of Time-Space Trade-Offs in Memory Limited
Search"
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach,
Markus Stumptner, Markus Zanker
"Hierarchical diagnosis of large configurator knowledge bases"
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker
"Towards Distributed Configuration"
Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner,
Markus Stumptner, Franz Wotawa
"DiKe - A Model-Based Diagnosis Kernel and its Application"
Henrik Grosskreutz, Gerhard Lakemeyer
"Belief Update in the pGolog Framework"
Falk Hueffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier
"Finding Optimal Solutions to Atomix"
Gero Iwan
"History-based Diagnosis Templates in the Framework
of the Situation Calculus"
Wojciech Jamroga
"A Defense Model for Games with Incomplete Information"
Zeynep Kiziltan, Pierre Flener, Brahim Hnich
"Towards Inferring Labelling Heuristics for CSP Application Domains"
Ralf Kuesters, Ralf Molitor
"Approximating Most Specific Concepts in Description Logics
with Existential Restrictions"
Yves Martin, Michael Thielscher
"Addressing the Qualification Problem in FLUX"
Thomas Ragg
"Bayesian Learning and Evolutionary Parameter Optimization"
Frank Schoenherr, Mihaela Cistelecan, Joachim Hertzberg,
Thomas Christaller
"Extracting Situation Facts from Activation Value Histories
in Behavior-Based Robots"
Stephan Schulz
"Learning Search Control Knowledge for Equational Theorem Proving"
Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier,
Lotfi Lakhal
"Intelligent Structuring and Reducing of Association Rules
with Formal Concept Analysis"
Markus Stumptner, Dominik Wieland, Franz Wotawa
"Comparing Two Models for Software Debugging"
Michael Thielscher
"Inferring implicit state knowledge and plans with sensing actions"
SOCIAL EVENTS:
--------------
Mayor's Reception in the City Hall
Sept. 19th
Conference Dinner at Klosterneuburg
Sept. 20th
GENERAL CHAIRS:
---------------
Gerhard Brewka, Leipzig
Thomas Eiter, Vienna
PROGRAM CHAIR:
--------------
Franz Baader, Aachen
PROGRAM COMMITTEE:
------------------
Padraig Cunningham, Dublin
Juergen Dix, Koblenz
Juergen Dorn, Vienna
Didier Dubois, Toulouse
Michael Fisher, Liverpool
Gerhard Friedrich, Klagenfurt
Fausto Giunchiglia, Trento
Horst-Michael Gross, Ilmenau
Andreas Guenter, Hamburg
Udo Hahn, Freiburg
Tudor Jebelean, Linz
Jana Koehler, Ebikon
Michael Kohlhase, Saarbruecken
Rudolf Kruse, Magdeburg
Maurizio Lenzerini, Rome
Silvia Miksch, Vienna
Bernd Neumann, Hamburg
Michael Richter, Kaiserslautern
Raul Rojas, Berlin
Francesca Rossi, Padova
Ulrike Sattler, Aachen
Joerg Siekmann, Saarbruecken
Peter Struss, Muenchen
Michael Thielscher, Dresden
Sebastian Thrun, Pittsburgh
Andrei Voronkov, Manchester
Wolfgang Wahlster, Saarbruecken
Gerhard Widmer, Vienna
Stefan Wrobel, Magdeburg
WORKSHOP CHAIR:
---------------
Juergen Dorn, Vienna
INDUSTRIAL CHAIRS:
------------------
Gerhard Friedrich, Klagenfurt
Kurt Sundermeyer, Berlin
LOCAL ARRANGEMENTS:
-------------------
Uwe Egly, Vienna
SUPPORTED BY:
-------------
Austrian Computer Society (OCG)
Austrian Economic Chamber
Austrian Ministry of Education, Science and Culture
Austrian Ministry of Transport, Innovation & Technology
City of Vienna
European Commission
Microsoft
Siemens
Springer Verlag
Sysis
|