KI-2001: Final Call for Participation

Date: Fri Aug 24 2001 - 01:52:35 MET DST

  • Next message: Jürgen Dix: "CFP: Seventh International Symposium on ARTIFICIAL INTELLIGENCE AND MATHEMATICS"

    [Apologies for multiple copies!]

                         * Call for Participation *

                      Joint German/Austrian Conference
                    on Artificial Intelligence (KI-2001)


              24th German Conference on Artificial Intelligence
             9th Austrian Conference on Artificial Intelligence

                           September 19-21, 2001
                              Vienna, Austria


      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.


        For information concerning registration and accommodation, please
        consult the conference web page at .


        Hans Kamp, University of Stuttgart
        "Representations of temporal Information in natural Language
         and their Logic"

        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"


        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. 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 Performance
         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"



        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

        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


        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"


        Mayor's Reception in the City Hall
        Sept. 19th

        Conference Dinner at Klosterneuburg
        Sept. 20th


        Gerhard Brewka, Leipzig
        Thomas Eiter, Vienna


        Franz Baader, Aachen


        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


        Juergen Dorn, Vienna


        Gerhard Friedrich, Klagenfurt
        Kurt Sundermeyer, Berlin


        Uwe Egly, Vienna


        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
        Springer Verlag

    This archive was generated by hypermail 2b30 : Fri Aug 24 2001 - 02:15:44 MET DST