My Wish Lists Login / Join

Logic Program Synthesis from Incomplete Information : The Springer International Series in Engineering and Computer Science - Pierre Flener

Logic Program Synthesis from Incomplete Information

By: Pierre Flener

Paperback | 26 September 2012

At a Glance

Paperback
264 Pages

Dimensions(cm)
23.39 x 15.6 x 1.4

Paperback

$264.27

or 4 interest-free payments of $66.07 with

or

Aims to ship 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

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 Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Software Engineering Computer Science Artificial Intelligence Compilers & Interpreters

More in Object-Oriented Programming or OOP

Head First Design Patterns : Building Extensible and Maintainable Object-Oriented Software 2nd Edition - Eric Freeman

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Paperback

RRP $152.00

$66.25

56%
OFF

Systems Analysis and Design : 8th Edition - Alan Dennis

Systems Analysis and Design

8th Edition

Paperback

RRP $263.95

$220.75

16%
OFF

Head First Objects-Oriented Analysis and Design : The Best Introduction to Object Orientated Programming - David Wood

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Paperback

RRP $133.00

$58.25

56%
OFF

Concurrency in C# Cookbook : 2nd Edition - Asynchronous, Parallel, and Multithreaded Programming - Stephen Cleary

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$47.75

55%
OFF

Functional Programming with C# : Create More Supportable, Robust, and Testable Code - Simon Painter

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$66.25

56%
OFF

Cruising Along with Java : Modernize and Modularize with the Latest Features - Venkat Subramaniam

Cruising Along with Java

Modernize and Modularize with the Latest Features

Paperback

$46.25

Learn to Program : 3rd Edition - Chris Pine

Learn to Program

3rd Edition

Paperback

RRP $87.35

$40.25

54%
OFF

Scala Cookbook : Recipes for Object-Oriented and Functional Programming 2nd Edition - Alvin Alexander

Scala Cookbook

Recipes for Object-Oriented and Functional Programming 2nd Edition

Paperback

RRP $152.00

$66.25

56%
OFF

Programming iOS 14 : Dive Deep into Views, View Controllers, and Frameworks - Matt Neuberg

Programming iOS 14

Dive Deep into Views, View Controllers, and Frameworks

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Java : 6th Edition - An Introduction to Real-World Programming with Java - Marc Loy

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Paperback

RRP $152.00

$66.25

56%
OFF

Introducing Python : Modern Computing in Simple Packages - Bill Lubanovic

Introducing Python

Modern Computing in Simple Packages

Paperback

RRP $106.50

$47.75

55%
OFF

Head First Java, 3rd Edition : A Brain-Friendly Guide - Kathy Sierra

Head First Java, 3rd Edition

A Brain-Friendly Guide

Paperback

RRP $152.00

$66.25

56%
OFF

C# 3.0 Design Patterns : O'Reilly Ser. - Judith Bishop

C# 3.0 Design Patterns

O'Reilly Ser.

Paperback

RRP $95.00

$43.25

54%
OFF

Extreme Programming Pocket Guide : Pocket References Ser. - Chromatic

Extreme Programming Pocket Guide

Pocket References Ser.

Paperback

RRP $38.00

$23.75

37%
OFF

Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Hardcover

RRP $207.96

$163.25

21%
OFF

The Ruby Programming Language : OREILLY - Davd Flanagan

The Ruby Programming Language

OREILLY

Paperback

RRP $95.00

$43.25

54%
OFF

Safe C++ : How to Lower the Bug Count of Your C++ Code - Vladimir Kushnir

Safe C++

How to Lower the Bug Count of Your C++ Code

Paperback

RRP $47.50

$26.50

44%
OFF

The Productive Programmer : Theory in Practice (O'Reilly) - Neal Ford

The Productive Programmer

Theory in Practice (O'Reilly)

Paperback

RRP $76.00

$35.75

53%
OFF

Head First PHP & MySQL : Head First - Lynn Beighley

Head First PHP & MySQL

Head First

Paperback

RRP $104.50

$46.90

55%
OFF

Data Structures Using Java - Duncan A. Buell

Data Structures Using Java

Paperback

RRP $398.90

$378.95

Starting Out with Java 6ed : From Control Structures through Objects, Global Edition - Tony Gaddis

Starting Out with Java 6ed

From Control Structures through Objects, Global Edition

Paperback

RRP $153.95

$113.75

26%
OFF

C++ - The Core Language : Nutshell Handbooks - Gregory Satir

C++ - The Core Language

Nutshell Handbooks

Paperback

RRP $95.00

$43.25

54%
OFF

PHP in a Nutshell : In a Nutshell (O'Reilly) - Paul Hudson

PHP in a Nutshell

In a Nutshell (O'Reilly)

Paperback

RRP $56.90

$28.25

50%
OFF

Java I/O 2e : Java Ser. - Elliotte Harold

Java I/O 2e

Java Ser.

Paperback

RRP $114.00

$50.40

56%
OFF