Universität Bielefeld - Technische Fakultät
Program KI-95
19th Annual German Conference on Artificial Intelligence
11 - 13 September 1995
Dieselbe
Information in deutscher Sprache
The KI-95 program brochure can be ordered by sending a request to
christine.harms@gmd.de. Please include your mailing address.
An electronic registration form will be available shortly in the World Wide Web.
Early registration rates are valid until 4 August, 1995.
Jump directly to certain days:
Sunday, Monday, Tuesday,
Wednesday
- 17.00 - 22.00
- Registration
- Conference booth, University building, main lobby
- Informal Gettogether, Drinks and snacks
- University building, main lobby
- 8.00
- Registration
- Conference booth, University building, main lobby
- 9.00 - 9.15
- Opening KI-95 Scientific Conference
- 9.15 - 10.00
- Invited lecture KI-95 Scientific Conference
- Leslie Pack Kaelbling, Brown University
- Partially Observable Markov Decision Processes for Artificial Intelligence
- Coffee break
- 10.30 - 12.30
- Paper Program KI-95 Scientific Conference, Track I (in parallel)
- Stefan Schroedl, University of Freiburg
- An Extension of Explanation-Based Generalization to Negation as Failure
- Roman Englert, University of Bonn
- Inducing Integrity Constraints from Knowledge Bases
- Wilfried Hoetker, University of Osnabrueck
- Dynamic Structuring of Lexical Knowledge in a Reusability Scenario
- J. Eckerle, S. Schuierer, University of Freiburg
- Efficient Memory-Limited Graph Search
- 10.30 - 12.30
- Paper Program KI-95 Scientific Conference, Track II (in parallel)
- Klemens Schnattinger, Udo Hahn, Manfred Klenner, University of Freiburg
- Quality-Based Terminological Reasoning for Concept Learning
- M. Buchheit, H.-J. Buerckert, B. Hollunder, A. Laux, W. Nutt,
M. Wójcik, German Research Center for Artificial Intelligence (DFKI)
- Task Acquisition with a Description Logic Reasoner
- Frank W. Bergmann, J. Joachim Quantz, Technical University of Berlin
- Parallelizing Description Logics
- Jürgen Giesl, Technical University of Darmstadt
- Automated Termination Proofs with Measure Functions
- 12.30 - 14.00
- Lunch break; Posters + Demos
- 14.00 - 19.00
- KI-95 Workshop Program
- 19.00
- FB KI Annual Member Meeting
- Snacks and Drinks, Happenings
- University building, main lobby
- 20.00 - 21.00
- Invited lecture KI-95 Scientific Conference
- Wolfgang Menzel, University of Hamburg
- Robust Processing of Natural Language
- 21.00
- FB KI Special Interest Groups
Tuesday, 12.09.95
- 8.00
- Registration
- Conference booth, University building, main lobby
- 8.30 - 12.30
- KI-95 Workshop Program
- Workshops 1 - 5
- Workshops 7 - 13
- Workshops 15 - 17
- 12.30 - 14.00
- Lunch break; Posters and Demos
- 14.00 - 14.15
- Opening KI-95 Applications Congress
- 14.15 - 15.00
- Invited lecture KI-95 Applications Congress
- Ministerialrat Prof. Dr. Horst Autzen, Ministerium für
Wirtschaft des Landes Baden-Württemberg
- Der Weg in die Informationsgesellschaft: Feldversuch
Baden-Württemberg
- 15.00 - 16.00
- Paper Program KI-95 Scientific Conference
- Michael Thielscher, Technical University of Darmstadt
- What Is A Skeptical Proof?
- Emil Weydert, Max-Planck-Institute for Computer Science,
Saarbrücken
- Default Entailment - A Preferential Construction Semantics for Defeasible
Inference
- 15.00 - 16.00
- KI-95 Practioners' Forum Series
- Forum 1: Informationsgesellschaft (Information Society)
- Forum 2: Robotik und Automation (Robotics and Automation)
- Forum 3: Umwelt (Environment)
- Coffee break
- 16.30 - 18.30
- Paper Program KI-95 Scientific Conference
- B. van Linder, W. van der Hoek, J.-J.Ch. Meyer, Utrecht University
- Actions that Make you Change your Mind
- Anna Radzikowska, Warsaw University of Technology
- Reasoning about Action with Typical and Atypical Effects
- Witold Lukaszewicz, Ewa Madalinska-Bugaj, Warsaw University
- Reasoning about Action and Change: Actions with Abnormal Effects
- Maroua Bouzid, Antoni Ligeza, CRIN-CNRS & INRIA, France/Inst.of
Automatics AGH, Krakow Poland
- Temporal Logic Based on Characteristic Functions
- 16.30 - 18.30
- KI-95 Practioners' Forum Series
- Forum 1: Informationsgesellschaft (Information Society)
- Forum 2: Robotik und Automation (Robotics and Automation)
- Forum 3: Umwelt (Environment)
- 18.30
- Opening of Exhibition; Happy Hour
- 19.00 - 19.45
- Invited lecture KI-95 Scientific Conference ("Dinner Talk")
- William Bricken, University of Washington
- Distinction Networks
- 20.00
- KI-95 Conference Buffet
- University building, main lobby (open end)
- 9.00 - 10.30
- Paper Program KI-95 Scientific Conference
- Bernhard Nebel, University of Ulm
- Computational Properties of Qualitative Spatial Reasoning: First Results
- Klaus-Peter Gapp, Universität des Saarlandes
- An Empirically Validated Model for Computing Spatial Relations
- Gerd Herzog, Karl Rohr, Universität des Saarlandes/University of
Hamburg
- Integrating Vision and Language: Towards Automatic Description of Human Movements
- 9.00 - 10.30
- KI-95 Practioners' Forum Series
- Forum 1: Informationsgesellschaft (Information Society)
- Forum 2: Robotik und Automation (Robotics and Automation)
- Forum 3: Umwelt (Environment)
- Coffee break
- 11.00 - 11.30
- Greetings and Awards
- Springer Best Paper Award KI-95
- AKI Dissertation Prize
- 11.30 - 12.30
- Invited lecture, KI-95 and DAGM '95 jointly
- Ruzena Bajcsy, University of Pennsylvania, GRASP Laboratory
- The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile
Autonomous Agent Behaviors
- 12.30 - 14.00
- Lunch break; Exhibition
- 14.00 - 15.40
- Invited lectures KI-95 Applications Congress
- Prof. Dr.-Ing. Paul Drews, Europäisches Zentrum für
Mechatronik, RWTH Aachen
- Service-Roboter im industriellen Nutzbereich
- Prof. Dr. Reinhard Keil-Slawik,
Heinz Nixdorf Institut, Universtät-GH Paderborn
- Ökologische Informatik - Ein Ansatz zum Verständnis von Geist und Maschine
- KI-95 Farewell + Happy Hour
Anke Bodzin, 1995-06-06, 1995-08-21