This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.
The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Author(s): Leslie Pack Kaelbling, Michael L. Littman (auth.), Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.)
Series: Lecture Notes in Computer Science 981 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 275
Tags: Artificial Intelligence (incl. Robotics)
Partially observable Markov decision processes for artificial intelligence....Pages 1-17
Robust processing of natural language....Pages 19-34
Distinction networks....Pages 35-48
The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors....Pages 49-64
An extension of explanation-based generalization to negation as failure....Pages 65-76
Inducing integrity constraints from knowledge bases....Pages 77-88
Dynamic structuring of lexical knowledge in a reusability scenario....Pages 89-100
Efficient memory-limited graph search....Pages 101-112
Quality-based terminological reasoning for concept learning....Pages 113-124
Task acquisition with a description logic reasoner....Pages 125-136
Parallelizing description logics....Pages 137-148
Automated termination proofs with measure functions....Pages 149-160
What is a skeptical proof?....Pages 161-172
Default entailment....Pages 173-184
Actions that make you change your mind....Pages 185-196
Reasoning about action with typical and atypical effects....Pages 197-208
Reasoning about action and change: Actions with abnormal effects....Pages 209-220
Temporal logic based on characteristic functions....Pages 221-232
Computational properties of qualitative spatial reasoning: First results....Pages 233-244
An empirically validated model for computing spatial relations....Pages 245-256
Integrating vision and language: Towards automatic description of human movements....Pages 257-268
