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. 1995 - 275 pàgines 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. |
Què en diuen els usuaris - Escriviu una ressenya
No hem trobat cap ressenya als llocs habituals.
Continguts
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 |
Altres edicions - Mostra-ho tot
KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on ... Ipke Wachsmuth,Claus Rollinger,Wilfried Brauer Previsualització no disponible - 1995 |
Frases i termes més freqüents
action agent algorithm applications approach arguments assume basic belief called characteristic function complete computation concept condition consider consists constraints construction contains context corresponding default defined Definition denote derived described domain dynamic effects environment example exists expansion expressions extension fact Figure formula framework function given graph holds hypothesis inference initial instance integrity interpretation intuitionistic logic knowledge knowledge base language learning lexical logic measure method natural node normal Note object observation operations parallel performed positive possible presented problem Proceedings programming proof properties proposed propositional prove ranking reasoning reduced reference relations represent representation respect restricted rules satisfying scenario selection semantic simple space spatial specified step strategy structure symbols task termination theory tion tree University variables
Informació bibliogràfica
| Títol | KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings Volum 981 de Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Editors | Ipke Wachsmuth, Claus Rollinger, Wilfried Brauer |
| Edició | il·lustrada |
| Editor | Springer Science & Business Media, 1995 |
| ISBN | 3540603433, 9783540603436 |
| Nre. de pàgines | 275 pàgines |
| Exporta citacions | BiBTeX EndNote RefMan |