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

Price loading...

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

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

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)

Price History & Forecast

No Price Data Available

Price Distribution

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)

A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)

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

Springer Parallel and Constraint Logic Programming Book 876

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

Automatische Synthese rekursiver Programme als Beweisverfahren: 302 (Informatik-Fachberichte, 302)

Latest Advances In Inductive Logic Programming

Logic Synthesis and Verification Algorithms

A Programming Approach to Computability (Monographs in Computer Science)

Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)

Logic Programming: A Classified Bibliography

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

Logic for Applications (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Synthesis of Finite State Machines: Logic Optimization

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Prolog Versus You: An Introduction to Logic Programming

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

Prolog: The Standard: Reference Manual

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

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

The Calculus of Computation: Decision Procedures with Applications to Verification

The Unknown Component Problem: Theory and Applications

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)