Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.ultranet.com!news.sprintlink.net!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!news.belwue.de!news.belwue.de!News.Uni-Marburg.DE!news.th-darmstadt.de!fauern!gs.dfn.de!news.uni-bielefeld.de!mcjagger.techfak.uni-bielefeld.de!user
From: jung@techfak.uni-bielefeld.de (Bernhard Jung)
Subject: Program of KI-95  (19th Annual German Conference on Artificial Intelligence)
Sender: news@hermes.hrz.uni-bielefeld.de (News Administrator)
Message-ID: <jung-060695151247@mcjagger.techfak.uni-bielefeld.de>
Date: Tue, 6 Jun 1995 13:10:25 GMT
Nntp-Posting-Host: mcjagger.techfak.uni-bielefeld.de
Organization: Dept. of Technology, University of Bielefeld
Followup-To: comp.ai
Lines: 293


ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION  BIELEFELD 1995
 (K"UNSTLICHE INTELLIGENZ UND MUSTERERKENNUNG  BIELEFELD 1995)

In September 1995, the 19th Annual Conference of the AI division 
in the German National Computer Science Society (GI) will be 
held together with the 17th Symposium of the German Working 
Group on Pattern Recognition (DAGM) at the University of 
Bielefeld. Dates are as follows:

19th Annual German Conference on Artificial Intelligence "KI-95" 
11 - 13 September 1995
17th Symposium of the German Working Group on Pattern 
Recognition "DAGM '95", 13 - 15 September 1995

Program brochures with registration forms will be sent out in 
June. Further information is available with regular updates at 
World Wide Web entry:
http://www.techfak.uni-bielefeld.de/ki-dagm95/
An electronic registration form will be available shortly under 
this entry.

Early registration rates are valid until 4 August, 1995. 
Participants subscribing to both conferences will receive a 
reduction on conference fees.  

The KI-95 program brochure can be ordered by sending a request 
to christine.harms@gmd.de. Please include your mailing address. 

Direct further inquiries re KI-95 to: ki95@techfak.uni-bielefeld.de
Direct all inquiries re DAGM'95 to: dagm95@techfak.uni-bielefeld.de 


>>>>>>>>  COME TO BIELEFELD IN SEPTEMBER! <<<<<<<<



Preliminary Program  KI-95

19th Annual German Conference on Artificial Intelligence
11 - 13 September 1995


********************
Sonday 10.09.95

17.00 - 22.00 
Registration
Conference booth, University building, main lobby

Informal Gettogether, Drinks and snacks
University building, main lobby


********************
Monday 11.09.95

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
Reinforcement Learning and Acting in Partially Observable 
Domains

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
Terminological Meta-Reasoning by Reification and Multiple 
Contexts

M. Buchheit, H.-J. Buerckert, B. Hollunder, A. Laux, W. Nutt, 
M. Wojcik
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

Juergen 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

Workshops 1 - 16


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 fuer Wirtschaft des Landes Baden-Wuerttemberg
Der Weg in die Informationsgesellschaft: Feldversuch Baden-
Wuerttemberg


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, Saarbruecken
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)




********************
Wednesday 13.09.95

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
Universitaet des Saarlandes
An Empirically Validated Model for Computing Spatial Relations

Gerd Herzog, Karl Rohr
Universitaet 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 Agents Behaviours


12.30 - 14.00	Lunch break; Exhibition

14.00 - 15.40	Invited lectures  KI-95 Applications Congress


KI-95 Farewell + Happy Hour


********************
