Foundations of Disjunctive Logic Programming - Logic Programming (Hardback)
  • Foundations of Disjunctive Logic Programming - Logic Programming (Hardback)
zoom

Foundations of Disjunctive Logic Programming - Logic Programming (Hardback)

(author), (author), (author)
£10.50
Hardback 332 Pages / Published: 17/04/1992
  • Not available

This product is currently unavailable

Email me when available

Stay one step ahead and let us notify you when this item is next available to order

This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive logic programming. Disjunctive logic programming permits the description of indefinite or incomplete information through a disjunction of atoms in the head of a clause. The authors describe model theoretic semantics, proof theoretic semantics, and fixpoint semantics for disjunctive and normal disjunctive programs (a normal disjunctive program permits negated atoms in the body of a clause) and present theories of negation. They conclude with selected applications to knowledge databases.

Publisher: MIT Press Ltd
ISBN: 9780262121651
Number of pages: 332
Weight: 753 g
Dimensions: 180 x 236 x 25 mm

You may also be interested in...

Python 3 for Absolute Beginners
Added to basket
£44.99   £22.50
Paperback
Design Patterns
Added to basket
£44.49
Hardback
Coding for Beginners in easy steps
Added to basket
Ada Lovelace: Bride of Science
Added to basket
Clean Code
Added to basket
£38.99
Paperback
The Passionate Programmer
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Python For Kids For Dummies
Added to basket
Android App Development For Dummies
Added to basket
Designing Data-Intensive Applications
Added to basket
Data Wrangling with Python
Added to basket
Code
Added to basket
£21.99
Paperback
Art of Readable Code
Added to basket
Python Pocket Reference
Added to basket
Bootstrap
Added to basket
£15.99
Paperback
C# Quick Syntax Reference
Added to basket

Please sign in to write a review

Your review has been submitted successfully.