Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111) - Image 1

£37.34

Springer Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)

Name: Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)
Brand: Springer
Price: 41.09 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (32 days, 36.0%)

Price range: £33 - £45

Price levels: 8 different prices over 89 days

Description

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540614885
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 25 July 1996
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic Programming: A Classified Bibliography

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Foundations of Inductive Logic Programming: 1228 (Lecture Notes in Computer Science, 1228)

Logic for Applications (Texts in Computer Science)

Springer Parallel and Constraint Logic Programming Book 876

Prolog Versus You: An Introduction to Logic Programming

Logic for Computer Scientists (Modern Birkhäuser Classics)

Prolog: The Standard: Reference Manual

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

A Programming Approach to Computability (Monographs in Computer Science)

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

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

A Logical Approach to Discrete Math (Monographs in Computer Science)

A Logical Approach to Discrete Math (Monographs in Computer Science)

A Textbook of Belief Dynamics: Solutions to exercises: 11/2 (Applied Logic Series, 11/2)

North Holland - Principles of Logic and Logic Programming

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Springer - Nonmonotonic Logic: Context-Dependent Reasoning

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)