|
|
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 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Greg Onishi
reviewed KI-96: Advances in Artificial Intelligence, Vol. 113 on September 01, 2013
KI-96: Advances in Artificial Intelligence, Vol. 113
Una buena introducción a los problemas relacionados con la concepción mecánica de la mente. Siendo una introducción, abre a los problemas sin reducirse a lo más superficial. Lo mejor, la bajÃsima carga ideológica y la exquisita honestidad con la que está escrito.
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 List
X
This item is in your Collection
KI-96: Advances in Artificial Intelligence, Vol. 113
X
This Item is in Your Inventory
KI-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 |