Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295) - Image 1

£110.49

Springer Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Name: Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
Brand: Springer
Price: 110.49 GBP
Availability: InStock

AI & Machine Learning

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£110 today · all-time low £106 (Apr 2025) · 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 529 days • 529 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 529 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £107 (249 days, 47.1%)

Price range: £106 - £130

Price levels: 5 different prices over 529 days

Description

Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461359252
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Publication Date: 26 September 2012
Listed Since: 14 July 2013

Barcode

No barcode data available

Springer Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

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

Logic Programming: A Classified Bibliography

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

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

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)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

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

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

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

Clause and Effect: Prolog Programming for the Working Programmer

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

Prolog: The Standard: Reference Manual

Computational Logic: 165 (NATO ASI Subseries F:, 165)

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

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

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logic for Computer Science and Artificial Intelligence

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishing in Software Engineering)

Logic And Language Models For Computer Science (Third Edition)

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

Prolog Versus You: An Introduction to Logic Programming

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)