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 
Invited Papers
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
Logic and Reasoning
Jürgen Giesl:
Automated Termination Proofs with Measure Functions.
149-160
Nonmonotony
Emil Weydert:
Default Entailment: A Preferential Construction Semantics for Defeasible Inference.
173-184
Action and Change
Anna Radzikowska:
Reasoning about Action with Typical and Atypical Effects.
197-208
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
data released under the ODC-BY 1.0 license
