KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. ProceedingsIpke 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. |
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 |
Outras edições - Ver todos
Termos e frases comuns
action agent algorithm applicability approach arguments Artificial Intelligence atom axioms belief boolean characteristic function clause computation concept consists context DBIDA default logic default theory defined Definition denote depth-first search Description Logics dnets dnodes domain theory dynamic entailment environment episode evaluation example fillers finite formula given graph hypothesis IC-schemes inference integrity constraints intuitionistic intuitionistic logic knowledge base knowledge representation level structures lexical Markov decision processes maximization measure function natural language natural language processing normal operations optimal parallel path-consistency algorithm policy trees polynomial predicate preferred extension priority queue problem Proc Proceedings propagation propositional ranking measure reasoning recursive reference object robot rules scenario semantic skeptical proof space spatial relations specified strategy symbols syntactic t-step TACOS task temporal termination proofs Theorem tion value function variables