We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£78.05
Springer An Introduction to Default Logic (Symbolic Computation)
Price data last checked 78 day(s) ago - refreshing...
Price History & Forecast
Last 13 days • 13 data points (No recent data available)
Price Distribution
Price distribution over 13 days • 1 price levels
Price Analysis
Most common price: £78 (13 days, 100.0%)
Price range: £78 - £78
Price levels: 1 different prices over 13 days
Description
This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in related fields like cognitive psychology. The major theme is not Artificial Intelligence applications, although these are discussed throughout in sketch fonn. Rather, the book places a heavy emphasis on the fonnal development of default logic, results and problems. Default logic provides a fonnalism for an important part of human reasoning. Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation. Previously, fonnalized reasoning systems failed in real world environments, though succeeding with an acceptable ratio in well-defined environments. This situation enabled empirical explorations and the design of systems without theoretical justification. In particular, they could not be compared since there was no basis to judge their respective merits. Default logic turned out to be very fruitful by proving the correctness of some of them. We hope that this book will initiate other successful developments in default logic.
Product Specifications
- Brand
- Springer
- Format
- Hardcover
- ASIN
- 3540515666
- Domain
- Amazon UK
- Release Date
- 29 September 1989
- Listed Since
- 10 December 2006
Barcode
No barcode data available
Similar Products You Might Like
93% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
92% match
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
£103.91
28 Feb 2026
92% match
Springer - Argumentation in Artificial Intelligence Book
Springer
£114.95
18 Apr 2026
92% match
Nonmonotonic Reasoning: A Unifying Framework - Nova Science
£131.32
11 Mar 2026
92% match
Logical Foundations of Artificial Intelligence
Morgan Kaufmann
£49.99
20 Feb 2026
92% match
Practical Logic: With the Appendix on Deontic Logic
Springer
£153.79
30 Mar 2026
92% match
Representations of Commonsense Knowledge
£56.99
08 Mar 2026
92% match
Handbook of Philosophical Logic: Volume 14
Springer
£144.71
10 Mar 2026
92% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
92% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
92% match
Description Logics in Multimedia Reasoning
Springer
£80.65
06 Mar 2026
92% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
92% match
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic: 4 (Synthese Library, 4)
Springer
£78.01
07 Mar 2026
92% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£168.01
08 Feb 2026
92% match
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Springer
£73.13
12 Dec 2025
92% match
Artificial Intelligence: Its Scope and Limits: 4 (Studies in Cognitive Systems, 4)
Springer
£161.31
10 Mar 2026
92% match
Artificial Intelligence: Its Scope and Limits: 4 (Studies in Cognitive Systems, 4)
Springer
£164.31
09 Mar 2026
92% match
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)
Springer
£103.24
08 Jan 2026
92% match
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Springer
£91.63
07 Mar 2026
92% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£164.00
08 Jan 2026
92% match
Design of Logic-based Intelligent Systems
Wiley
£104.71
10 Feb 2026
92% match
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
£115.00
12 Jan 2026
92% match
Elementary Symbolic Logic: Concepts, Techniques, and Concepts
£73.00
04 Apr 2026
92% match
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
Springer
£75.27
08 Mar 2026