Logic Program Synthesis from Incomplete Information

By: Pierre Flener

Write A Review

Hardcover | 31 December 1994

At a Glance

Hardcover
268 Pages

Dimensions(cm)
24.77 x 16.51 x 2.54

Hardcover

$249.75

or 4 interest-free payments of $62.44 with

Ships in 7 to 10 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Software Engineering Artificial Intelligence

Other Editions and Formats

Paperback

Published: 26th September 2012

View Product

Lists of Logic Algorithms, Figures, and Tables
Foreword
Preface
State of the Art
Automatic Programming	p. 3
Deductive Inference in Automatic Programming	p. 15
Inductive Inference in Automatic Programming	p. 29
A Logic Program Development Methodology	p. 55
Objectives	p. 63
Building Blocks
A Specification Approach	p. 79
A Framework for Stepwise Logic Algorithm Synthesis	p. 85
Algorithm Analysis and Algorithm Schemata	p. 101
The Proofs-as-Programs Method	p. 115
The Most-Specific-Generalization Method	p. 133
A Logic Algorithm Synthesis Mechanism
Overview of the Synthesis Mechanism	p. 147
The Expansion Phase	p. 159
The Reduction Phase	p. 175
Conclusion	p. 191
Appendix: Conventions, Abbreviations, and Symbols	p. 215
References	p. 219
Subject Index	p. 235
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Program Synthesis from Incomplete Information

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Programming & Scripting Languages

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Essential GraphRAG

CLOUD Computing - CLOUD 2025

18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings

The C Programming Language

Prentice Hall Software

Learning Go

An Idiomatic Approach to Real-World Go Programming

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Python All-in-One For Dummies

3rd Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Think Python

How To Think Like a Computer Scientist

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Building Web Apps with Bolt

Unlock the Future of AI-First Development

C# 12 in a Nutshell

The Definitive Reference

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Python for Excel

A Modern Environment for Automation and Data Analysis

Introduction to Machine Learning with Python

A Guide for Data Scientists

Flask Web Development, 2nd Edition

Developing Web Applications with Python

C++ How to Program, Global Edition

10th Edition

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by