Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597) - Image 1

Price loading...

Springer Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Name: Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Brand: Springer

AI & Machine Learning

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792372247
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 31 December 2000
Listed Since: 12 January 2007

Barcode

No barcode data available

Springer Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Design of Logic-based Intelligent Systems

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Springer - Argumentation in Artificial Intelligence Book

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Logical Foundations of Artificial Intelligence

An Introduction to Default Logic (Symbolic Computation)

Handbook of Philosophical Logic: Volume 8

Mathematical Methods Artificial Intelligence: 50 (Practitioners)

Algebraic Formalization of Smart Systems: Theory and Practice: 91 (Smart Innovation, Systems and Technologies, 91)

Algebraic Formalization of Smart Systems: Theory and Practice: 91 (Smart Innovation, Systems and Technologies, 91)

Man-Machine Interactions: 59 (Advances in Intelligent and Soft Computing, 59)

Springer Handbook of Philosophical Logic: 2nd Edition

Handbook of Philosophical Logic: 5

Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings: 2424 (Lecture Notes in Computer Science, 2424)

Toward Artificial Sapience: Principles and Methods for Wise Systems

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability

The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

Handbook of Philosophical Logic: 9

Research Handbook on the Law of Artificial Intelligence

Springer Handbook of Philosophical Logic: 2nd Edition

Artificial Intelligence and Normative Challenges: International and Comparative Legal Perspectives: 59 (Law, Governance and Technology Series, 59)