0 Item

Reasoning with Logic Programming

By: Jose Julio Alferes, Luis Moniz Pereira

Write A Review

Paperback | 25 July 1996

At a Glance

Paperback
360 Pages

Dimensions(cm)
23.39 x 15.6 x 1.91

Paperback

$111.38

or 4 interest-free payments of $27.84 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.

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 Science Computer Architecture & Logic Design Philosophy Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Programming & Software Development Programming & Scripting Languages Systems Analysis & Design Mathematics Mathematical Foundation

Mathematical Logic Compilers & Interpreters

Preface
Acknowledgements
Normal logic programs	p. 5
Extended logic programs	p. 17
Why a new semantics for extended programs?	p. 31
WFSX - A well founded semantics for extended logic programs	p. 37
WFSX, LP semantics with two negations, and autoepistemic logics	p. 49
WFSX and default logic	p. 83
WFSX and hypotheses abduction	p. 107
Dealing with contradiction	p. 129
Further properties and comparisons	p. 167
Top-down derivation procedures for WFSX	p. 187
Application to classical nonmonotonic reasoning problems	p. 209
Application to diagnosis and debugging	p. 235
References	p. 271
Prolog top-down interpreter for WFSX	p. 285
A Prolog pre-processor for contradiction removal	p. 287
Proofs of theorems	p. 305
Table of Contents provided by Blackwell. All Rights Reserved.

Reasoning with Logic Programming

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

Generative AI For Dummies

For Dummies (Business & Personal Finance)

AI Investing For Dummies

For Dummies (Business & Personal Finance)

Scaling Responsible AI

From Enthusiasm to Execution

Behavioral AI

Unleash Decision Making with Data

The Role of Blockchain in Disaster Management

Hybrid Computational Intelligence for Pattern Analysis and Understanding

LLMs in Production

From Language Models to Successful Products

Advanced Analytics for Business

Generative AI and Machine Learning for Tabular Data

Causal AI

Data Analysis of Medical Studies

Reading and Reporting

Computer Vision Metrics

Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI

Influence Design in the Era of AI

Business Strategy

Statistical Modeling and Robust Inference for One-shot Devices

Knowledge Graph-Based Methods for Automated Driving

Unleashing AI

Harnessing Artificial Intelligence for Business Success

Humans and AI

The Future of Work

Artificial Intelligence and Machine Learning for Business

AAP Advances in Artificial Intelligence and Robotics

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Link

How Decision Intelligence Connects Data, Actions, and Outcomes for a Better World

Future Money

Fintech, AI and Web3

Coding with AI For Dummies

For Dummies (Computer/Tech)

Knowledge Emergence

Social, Technical and Evolutionary Dimensions of Knowledge Creation

Edge Intelligence in Cyber-Physical Systems

Foundations and Applications

Computational Intelligence in Sustainable Computing and Optimization

Trends and Applications

Accelerating Digital Transformation with the Cloud and the Internet of Things (IoT)

Intelligent Data-Centric Systems

This product is categorised by