KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings

Capa
Ipke Wachsmuth, Claus Rollinger, Wilfried Brauer
Springer Science & Business Media, 4 de set de 1995 - 275 páginas
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.
 

O que estão dizendo - Escrever uma resenha

Não encontramos nenhuma resenha nos lugares comuns.

Conteúdo

Partially Observable Markov Decision Processes for Artificial Intelligence
1
Robust Processing of Natural Language
19
Distinction Networks
35
A Study of Cooperative Mobile Autonomous Agent Behaviors
49
An Extension of ExplanationBased Generalization to Negation as Failure
65
Inducing Integrity Constraints from Knowledge Bases
77
Dynamic Structuring of Lexical Knowledge in a Reusability Scenario
89
Efficient MemoryLimited Graph Search
101
What Is a Skeptical Proof?
161
A preferential construction semantics for defeasible inference
173
Actions That Make You Change Your Mind
185
Reasoning about Action with Typical and Atypical Effects
197
Actions with Abnormal Effects
209
Temporal Logic Based on Characteristic Functions
221
First Results
233
An Empirically Validated Model for Computing Spatial Relations
245

QualityBased Terminological Reasoning for Concept Learning
113
Task Acquisition with a Description Logic Reasoner
125
Parallelizing Description Logics
137
Automated Termination Proofs with Measure Functions
149
Towards Automatic Description of Human Movements
257
Author Index
Direitos autorais

Termos e frases comuns

Informações bibliográficas