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 BibTeX

@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 BibTeX
Wolfgang Menzel: Robust Processing of Natural Language. 19-34 BibTeX
William M. Bricken: Distinction Networks. 35-48 BibTeX
Ruzena Bajcsy, Jana Kosecká: The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors. 49-64 BibTeX

Knowledge Organization and Optimization

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

Logic and Reasoning

Klemens Schnattinger, Udo Hahn, Manfred Klenner: Quality-Based Terminological Reasoning for Concept Learning. 113-124 BibTeX
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 BibTeX
Frank W. Bergmann, Joachim Quantz: Parallelizing Description Logics. 137-148 BibTeX
Jürgen Giesl: Automated Termination Proofs with Measure Functions. 149-160 BibTeX

Nonmonotony

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

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 BibTeX
Anna Radzikowska: Reasoning about Action with Typical and Atypical Effects. 197-208 BibTeX
Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Actions with Abnormal Effects. 209-220 BibTeX
Maroua Bouzid, Antoni Ligeza: Temporal Logic Based on Characteristic Functions. 221-232 BibTeX

Spatial Reasoning

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