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: 37.34 GBP
Availability: InStock

Compilers

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£37 today · all-time low £36 (Mar 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (27 days, 64.3%)

Price range: £36 - £45

Price levels: 3 different prices over 42 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)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

Logic Programming: A Classified Bibliography

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings: 2916 (Lecture Notes in Computer Science, 2916)

Logic for Computer Scientists (Modern Birkhäuser Classics)

Springer Mathematical Problems from Applied Logic I - Vol 4

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

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

Prolog Versus You: An Introduction to Logic Programming

North Holland - Principles of Logic and Logic Programming

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

Foundations of Logic Programming (Symbolic Computation)

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

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Logic And Language Models For Computer Science (Third Edition)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Logic of Computation: SER F / v.157 (NATO ASI)

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Logic for Computer Science and Artificial Intelligence

Prolog and its Applications: A Japanese perspective