|
|
Sold Out
Book Categories |
| AI Approaches towards Sensor-Based Driver Support in Road Vehicles | 1 | |
| Representing Concurrent Actions and Solving Conflicts | 16 | |
| Preselection Strategies for Case Based Classification | 28 | |
| Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Robot | 39 | |
| Cardinality Restrictions on Concepts | 51 | |
| An Artificial Neural Network for High Precision Eye Movement Tracking | 63 | |
| A Kripke-Kleene Logic over General Logic Programs | 70 | |
| The Stable Semantics and its Variants: A Comparison of Recent Approaches | 82 | |
| TabVer: A Case Study in Table Verbalization | 94 | |
| Cooperating to be Noncooperative: The Dialog System PRACMA | 106 | |
| Robust Constructive Induction | 118 | |
| Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques | 130 | |
| Combining Spatial and Terminological Reasoning | 142 | |
| Detecting Gestalts in CAD-Plans to be used as Indices for Case-retrieval in Architecture | 154 | |
| The NeuDB-System: Towards the Integration of Neural Networks and Database Systems | 166 | |
| Weighted Defaults in Description Logics: Formal Properties and Proof Theory | 178 | |
| Epistemic Queries in Classic | 190 | |
| Communicating Rational Agents | 202 | |
| Knowledge-Level Modularization of a Complex Knowledge Base | 214 | |
| Program Verification Techniques as a Tool for Reasoning about Action and Change | 226 | |
| A Conditional Logic for Updating in the Possible Models Approach | 237 | |
| Probabilistic Justification of Default Reasoning | 248 | |
| A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory | 260 | |
| Incorporating Specificity into Circumscriptive Theories | 272 | |
| Coherent Choice and Epistemic Entrenchment | 284 | |
| A Note on Tableaux of Logic of Paradox | 296 | |
| When Nonmonotonicity Comes from Distances | 308 | |
| Rigid Unification by Completion and Rigid Paramodulation | 319 | |
| Unification in a Sorted [lambda]-Calculus with Term Declarations and Function Sorts | 331 | |
| Goal Oriented Equational Theorem Proving Using Team Work | 343 | |
| The Hardest Random SAT Problems | 355 | |
| Formal Methods for Automated Program Improvement | 367 | |
| Adapting Methods to Novel Tasks in Proof Planning | 379 | |
| Using Charts for Transfer in MT | 391 | |
| A New Frame for Common-Sense Reasoning - Towards Local Inconsistencies | 392 | |
| Prioritized Transitions for Updates | 393 | |
| An Optimal Bidirectional Search Algorithm | 394 | |
| Learning to Discriminate Phases in Gas-Liquid Flow | 395 | |
| Strategies for Semantical Contractions | 396 | |
| Conflicts in the Spatial Interaction of Autonomous Agents | 397 | |
| Using Rough Sets Theory to Predict German Word Stress | 398 | |
| Graphtheoretical Algorithms and Knowledge-Based Design | 399 | |
| Interval Situation Calculus | 400 | |
| Author Index | 401 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Angela McConville
reviewed KI-94: Advances in Artificial Intelligence on May 08, 2014
KI-94: Advances in Artificial Intelligence
A very easy-to-read introduction to philosophy of AI, but was concise enough to surprise me even though I have already read other books of a similar vein. The book spans topics from logic to neuroscience and provides great explanations that should be readable to anyone who can read. The author writes without displaying much sign of bias, which is rare in books covering the topic of AI.
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-94: Advances in Artificial Intelligence
X
This Item is in Your Inventory
KI-94: Advances in Artificial Intelligence
X
You must be logged in to review the productsX
X
X
Add KI-94: Advances in Artificial Intelligence, This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper AI approaches towards sensor-based support in road vehicles by H.-H. Nagel, KI-94: Advances in Artificial Intelligence to the inventory that you are selling on WonderClubX
X
Add KI-94: Advances in Artificial Intelligence, This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper AI approaches towards sensor-based support in road vehicles by H.-H. Nagel, KI-94: Advances in Artificial Intelligence to your collection on WonderClub |