|
|
Sold Out
Book Categories |
| Qualitative Spatial Representation and Reasoning Techniques | 1 | |
| COLBERT: A Language for Reactive Control in Sapphira | 31 | |
| Machine Learning for Adaptive User Interfaces | 53 | |
| Structured Incremental Proof Planning | 63 | |
| Many-Sorted Logic in a Learning Theorem Prover | 75 | |
| Rigid Hypertableaux | 87 | |
| Minimal Model Generation Based on E-hyper Tableaux | 99 | |
| External Analogy in Inductive Theorem Proving | 111 | |
| Mechanising Partiality without Re-implementation | 123 | |
| From Linear Proofs to Direct Logic with Exponentials | 135 | |
| Integrating an Equality Prover into a Software Development System Based on Type Theory | 147 | |
| Causation and Nonmonotonic Temporal Reasoning | 159 | |
| Labelled Quantified Modal Logics | 171 | |
| Defining Decision Rules in Signed Horn Clauses | 183 | |
| Modeling Subjective Distances | 195 | |
| An Axiomatic Approach to the Spatial Relations Underlying "left"-"right" and "in front of"-"behind" | 207 | |
| Representation and Processing of Qualitative Orientation Knowledge | 219 | |
| A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech-Tagging | 231 | |
| Making Objects More Knowledgeable | 243 | |
| Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence | 255 | |
| Conceptualizing Adjectives | 267 | |
| Parsing N Best Trees from a Word Lattice | 279 | |
| Fast Grid-Based Position Tracking for Mobile Robots | 289 | |
| Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming | 301 | |
| Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks | 313 | |
| Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks | 325 | |
| Tabu Search vs. Random Walk | 337 | |
| Multi-flip Networks: Parallelizing GenSAT | 349 | |
| Resource-Adaptive Action Planning in a Dialogue System for Repair Support | 361 | |
| A Modal Computational Framework for Default Reasoning | 373 | |
| Planning Diagonalization Proofs | 377 | |
| Suffix Tree Automata in State Space Search | 381 | |
| Connection Cutting for Contraction Free Logic | 385 | |
| Agents in Proactive Environments | 389 | |
| Reducing Lexical Redundancy by Augmenting Conceptual Knowledge | 393 | |
| A Graphical User Interface for an ECG Classifier System | 397 | |
| Expert System in Additional Finishing | 401 | |
| Reasoning About Exceptions | 405 | |
| Learning and Interpretation of the Layout of Structured Documents | 409 | |
| Author Index | 413 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Tagliaferri Luca
reviewed KI-97: Advances in Artificial Intelligence, Vol. 130 on March 07, 2018
KI-97: Advances in Artificial Intelligence, Vol. 130
This not so new synthesis is a reference guide rather a textbook. Gives a broad overview of all the things involved in AI. But author fails to pique interest but I feel it's more oriented towards university study rather than casual study.
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-97: Advances in Artificial Intelligence, Vol. 130
X
This Item is in Your Inventory
KI-97: Advances in Artificial Intelligence, Vol. 130
X
You must be logged in to review the productsX
X
X
Add KI-97: Advances in Artificial Intelligence, Vol. 130, This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from ar, KI-97: Advances in Artificial Intelligence, Vol. 130 to the inventory that you are selling on WonderClubX
X
Add KI-97: Advances in Artificial Intelligence, Vol. 130, This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from ar, KI-97: Advances in Artificial Intelligence, Vol. 130 to your collection on WonderClub |