19. KI 1995: Bielefeld

@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
  

Last update Fri May 25 08:24:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page