Get Free Shipping on orders over $79
Reasoning with Logic Programming : Lecture Notes in Artificial Intelligence - Jose Julio Alferes

Reasoning with Logic Programming

By: Jose Julio Alferes, Luis Moniz Pereira

Paperback | 25 July 1996

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Computer Programming & Software Development

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$77.75

27%
OFF
Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley