19. KI 1995: Bielefeld

Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (Eds.): KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings. Lecture Notes in Computer Science 981 Springer 1995, ISBN 3-540-60343-3

@proceedings{DBLP:conf/ki/1995,
  editor    = {Ipke Wachsmuth and
               Claus-Rainer Rollinger and
               Wilfried Brauer},
  title     = {KI-95: Advances in Artificial Intelligence, 19th Annual German
               Conference on Artificial Intelligence, Bielefeld, Germany, September
               11-13, 1995, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {981},
  year      = {1995},
  isbn      = {3-540-60343-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra: Partially Observable Markov Decision Processes for Artificial Intelligence. 1-17
Wolfgang Menzel: Robust Processing of Natural Language. 19-34
William M. Bricken: Distinction Networks. 35-48
Ruzena Bajcsy, Jana Kosecká: The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors. 49-64

Knowledge Organization and Optimization

Stefan Schrödl: An Extension of Explanation-Based Generalization to Negation as Failure. 65-76
Roman Englert: Inducing Integrity Constraints from Knowledge Bases. 77-88
Wilfried Hötker: Dynamic Structuring of Lexical Knowledge in a Reusability Scenario. 89-100
Jürgen Eckerle, Sven Schuierer: Efficient Memory-Limited Graph Search. 101-112

Logic and Reasoning

Klemens Schnattinger, Udo Hahn, Manfred Klenner: Quality-Based Terminological Reasoning for Concept Learning. 113-124
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik: Task Acquisition with a Description Logic Reasoner. 125-136
Frank W. Bergmann, Joachim Quantz: Parallelizing Description Logics. 137-148
Jürgen Giesl: Automated Termination Proofs with Measure Functions. 149-160

Nonmonotony

Michael Thielscher: What Is a Skeptical Proof? 161-172
Emil Weydert: Default Entailment: A Preferential Construction Semantics for Defeasible Inference. 173-184

Action and Change

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). 185-196
Anna Radzikowska: Reasoning about Action with Typical and Atypical Effects. 197-208
Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Actions with Abnormal Effects. 209-220
Maroua Bouzid, Antoni Ligeza: Temporal Logic Based on Characteristic Functions. 221-232

Spatial Reasoning

Bernhard Nebel: Computational Properties of Qualitative Spatial Reasoning: First Results. 233-244
Klaus-Peter Gapp: An Empirically Validated Model for Computing Spatial Relations. 245-256
Gerd Herzog, Karl Rohr: Integrating Vision and Language: Towards Automatic Description of Human Movements. 257-268