Sold Out
Book Categories |
Rational Models of Normal Logic Programs | 1 | |
Massively Parallel Reasoning about Actions | 5 | |
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover | 19 | |
Abstraction as a Heuristic to Guide Planning | 25 | |
Equational Theorem Proving Using Taxonomic Constraints | 29 | |
Planning for Distributed Theorem Proving: The Teamwork Approach | 43 | |
A Revision of Dependency-Directed Backtracking for JTMS | 57 | |
A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application | 61 | |
Cyclic Rules in Linear Connection Proofs | 67 | |
Optimized Nearest-Neighbor Classifiers Using Generated Instances | 71 | |
Towards a Totally Distributed Meeting Scheduling System | 85 | |
Representations as Basis of Cognitive Processes | 99 | |
Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge | 103 | |
Solving Hard Combinatorial Problems with GSAT - A Case Study | 107 | |
Using Rippling for Equational Reasoning | 121 | |
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects | 135 | |
FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices | 149 | |
Integration of Prosodic and Grammatical Information in the Analysis of Dialogs | 163 | |
Application of a Genetic Algorithm for Plausible Justification of Observations | 175 | |
Managing Multiple Contexts Efficiently | 179 | |
Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks | 183 | |
Belief Revision in a Nonclassical Logic | 199 | |
Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key | 213 | |
Case Retrieval Nets: Basic Ideas and Extensions | 227 | |
Putting Default Logics in Perspective | 241 | |
EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks | 253 | |
When to Prove Theorems by Analogy? | 259 | |
Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT | 273 | |
Knowledge Based Image Understanding by Iterative Optimization | 287 | |
Knowledge Organization Using the Development System FAENSY | 303 | |
A Uniform Proof Procedure for Classical and Non-Classical Logics | 307 | |
Qualitative Reasoning under Uncertainty with Symbolic Probabilities | 321 | |
Narratives with Concurrent Actions: The Mutual Exclusion Problem | 327 | |
Tools for Autonomous Agents | 331 | |
A Concept Language Extended with Different Kinds of Transitive Roles | 333 | |
Representation in Auditory Cortex | 347 | |
A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty | 349 | |
Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework | 363 | |
Constructive Disjunction Revisited | 377 | |
Author Index | 387 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionKI-96: Advances in Artificial Intelligence, Vol. 113
X
This Item is in Your InventoryKI-96: Advances in Artificial Intelligence, Vol. 113
X
You must be logged in to review the productsX
X
X
Add KI-96: Advances in Artificial Intelligence, Vol. 113, This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, n, KI-96: Advances in Artificial Intelligence, Vol. 113 to the inventory that you are selling on WonderClubX
X
Add KI-96: Advances in Artificial Intelligence, Vol. 113, This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, n, KI-96: Advances in Artificial Intelligence, Vol. 113 to your collection on WonderClub |