We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£168.01
Springer Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Price data last checked 76 day(s) ago - refreshing...
Price History & Forecast
Last 15 days • 15 data points (No recent data available)
Price Distribution
Price distribution over 15 days • 1 price levels
Price Analysis
Most common price: £168 (15 days, 100.0%)
Price range: £168 - £168
Price levels: 1 different prices over 15 days
Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 1461356180
- Domain
- Amazon UK
- Publication Date
- 09 November 2012
- Listed Since
- 03 March 2013
Barcode
No barcode data available
Similar Products You Might Like
99% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£164.00
08 Jan 2026
93% match
Design of Logic-based Intelligent Systems
Wiley
£104.71
10 Feb 2026
92% match
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
£103.91
28 Feb 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
Springer - Argumentation in Artificial Intelligence Book
Springer
£114.95
18 Apr 2026
92% match
Logical Foundations of Artificial Intelligence
Morgan Kaufmann
£49.99
20 Feb 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
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£105.00
26 Feb 2026
92% match
An Introduction to Default Logic (Symbolic Computation)
Springer
£78.05
06 Feb 2026
92% match
Mathematical Methods Artificial Intelligence: 50 (Practitioners)
Wiley
£74.62
17 Feb 2026
91% match
Handbook of Philosophical Logic: Volume 8
Springer
£117.45
26 Feb 2026
91% match
Algebraic Formalization of Smart Systems: Theory and Practice: 91 (Smart Innovation, Systems and Technologies, 91)
Springer
£75.13
08 Mar 2026
91% match
Algebraic Formalization of Smart Systems: Theory and Practice: 91 (Smart Innovation, Systems and Technologies, 91)
Springer
£60.76
18 Feb 2026
91% match
The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
North Holland
£107.78
31 Mar 2026
91% match
Man-Machine Interactions: 59 (Advances in Intelligent and Soft Computing, 59)
Springer
£179.92
13 Dec 2025
91% match
Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings: 2424 (Lecture Notes in Computer Science, 2424)
Springer
£88.83
08 Mar 2026
91% match
Toward Artificial Sapience: Principles and Methods for Wise Systems
Springer
£57.97
10 Mar 2026
91% match
Research Handbook on the Law of Artificial Intelligence
Edward Elgar Publishing
£47.36
19 Feb 2026
91% match
Artificial Intelligence and Normative Challenges: International and Comparative Legal Perspectives: 59 (Law, Governance and Technology Series, 59)
£122.45
11 Jan 2026
91% match
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Springer
£73.13
12 Dec 2025
91% match
Intelligent Decision Making: An AI-Based Approach: 97 (Studies in Computational Intelligence, 97)
Springer
£113.05
05 Feb 2026
91% match
Springer Handbook of Philosophical Logic: 2nd Edition
Springer
£110.68
03 Mar 2026
91% match
Handbook of Philosophical Logic: 5
Springer
£118.94
02 Apr 2026
91% match
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
£80.56
26 Feb 2026