Universität Bielefeld - Technische Fakultät
Programm KI-95
19. Deutsche Jahrestagung für Künstliche Intelligenz
11.-13. September 1995
Same information in English
Programmbroschüren mit Anmeldeformularen werden im Laufe des Juni
verschickt. Die KI-95 Programmbroschüre kann mit Angabe der Postanschrift
bei christine.harms@gmd.de angefordert werden. Ein elektronisches
Anmeldeformular wird in Kürze im WWW abrufbar sein.
Der Frühzahlertermin für die Anmeldung zu reduzierten Tagungsgebühren
ist der 4. August 1995.
Direktzugriff auf einzelne Tage:
Sonntag, Montag, Dienstag,
Mittwoch
- 17.00 - 22.00
- Registrierung
- Tagungsbüro Universitätshauptgebäude
- Informelles Zusammentreffen, Getränke + Imbiß
- Universitätshauptgebäude
- ab 8.00
- Registrierung
- Tagungsbüro Universitätshauptgebäude
- 9.00 - 9.15
- Eröffnung KI-95 Wissenschaftliche Konferenz
- 9.15 - 10.00
- Hauptvortrag KI-95 Wissenschaftliche Konferenz
- Leslie Pack Kaelbling, Brown University
- Partially Observable Markov Decision Processes for Artifical Intelligence
- Kaffeepause
- 10.30 - 12.30
- Fachbeiträge KI-95 Wissenschaftliche Konferenz, Block I (parallel)
- Stefan Schrödl, Albert-Ludwigs-Universität Freiburg
- An Extension of Explanation-Based Generalization to Negation as Failure
- Roman Engler, Universität Bonn
- Inducing Integrity Constraints from Knowledge Bases
- Wilfried Hötker, Universität Osnabrück
- Dynamic Structuring of Lexical Knowledge in a Reusability Scenario
- J. Eckerle, S. Schuierer, Albert-Ludwigs-Universität Freiburg
- Efficient Memory-Limited Graph Search
- 10.30 - 12.30
-
Fachbeiträge KI-95 Wissenschaftliche Konferenz, Block II (parallel)
- Klemens Schnattinger, Udo Hahn, Manfred Klenner, Albert-Ludwigs-Universität Freiburg
- Quality-Based Terminological Reasoning for Concept Learning
- M. Buchheit, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt, M.
Wójcik,
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
- Task Acquisition with a Description Logic Reasoner
- Frank W. Bergmann, J. Joachim Quantz, Technische Universität Berlin
- Parallelizing Description Logics
- Jürgen Giesl, Technische Hochschule Darmstadt
- Automated Termination Proofs with Measure Functions
- 12.30 - 14.00
- Mittagspause; Posters + Demos
- 14.00 - 19.00
- KI-95 Workshop-Programm
- 19.00
- FB KI Jahresversammlung
- Imbiß + Getränke, Aktionen
- Uni-Halle
- 20.00 - 21.00
- Hauptvortrag KI-95 Wissenschaftliche Konferenz
- Wolfgang Menzel, Universität Hamburg
- Robuste Verarbeitung natürlicher Sprache
- 21.00
- FB KI Fachgruppentreffen
- ab 8.00
- Registrierung
- Tagungsbüro Universitätshauptgebäude
- 8.30 - 12.30
- KI-95 Workshop-Programm
- 12.30 - 14.00
- Mittagspause; Posters + Demos
- 14.00 - 14.15
- Eröffnung
KI-95 Anwenderkongreß
- 14.15 - 15.00
- Hauptvortrag
KI-95 Anwenderkongreß
- Ministerialrat Prof. Dr. Horst Autzen,
Ministerium für Wirtschaft des Landes Baden-Würtemberg
- Der Weg in die Informationsgesellschaft: Feldversuch Baden-Würtemberg
- 15.00 - 16.00
- Fachbeiträge KI-95 Wissenschaftliche Konferenz
- Michael Thielscher,
Technische Hochschule Darmstadt
- What Is A Skeptical Proof?
- Emil Weydert,
Max-Planck-Institut für Informatik, Saarbrücken
- Default Entailment - A Preferential Construction Semantics for Defeasible Inference
- 15.00 - 16.00
-
KI-95 Anwenderforen
- Forum 1: Informationsgesellschaft
- Forum 2: Robotik und Automation
- Forum 3: Umwelt
- Kaffeepause
- 16.30 - 18.30
- Fachbeiträge KI-95 Wissenschaftliche Konferenz
- 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 / Institute of Automatics AGH,
Krakow, Poland
- Temporal Logic Based on Characteristic Functions
- 16.30 - 18.30
-
KI-95 Anwenderforen
- Forum 1: Informationsgesellschaft
- Forum 2: Robotik und Automation
- Forum 3: Umwelt
- 18.30
- Eröffnung der Ausstellung; Happy Hour
- 19.00 - 19.45
- Hauptvortrag KI-95 Wissenschaftliche Konferenz ("Dinner Talk")
- William Bricken,
University of Washington
- Distinction Networks
- 20.00
- KI-95 Konferenz-Buffet
- Uni-Halle (offenes Ende)
- 9.00 - 10.30
- Fachbeiträge KI-95 Wissenschaftliche Konferenz
- Bernhard Nebel,
Universität Ulm
- Computational Properties of Qualitative Spatial Reasoning: First Results
- Klaus-Peter Gapp,
Universitat des Saarlandes
- An Empirically Validated Model for Computing Spatial Relations
- Gerd Herzog, Karl Rohr,
Universität des Saarlandes/Universität Hamburg
- Integrating Vision and Language: Towards Automatic Description of Human
Movements
- 9.00 - 10.30
-
KI-95 Anwenderforen
- Forum 1: Informationsgesellschaft
- Forum 2: Robotik und Automation
- Forum 3: Umwelt
<
- Kaffeepause
- 11.00 - 11.30
- Grußworte und Preisverleihungen
- Springer Best Paper Award KI-95
- AKI-Dissertationspreis
- 11.30 - 12.30
- Gemeinsamer Hauptvortrag KI-95 und DAGM '95
- 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
- Mittagspause; Ausstellung
- 14.00 - 15.40
- Hauptvorträge,
KI-95 Anwenderkongreß
- 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-02, 1995-08-21