Foundations of Disjunctive Logic Programming by Jack Minker, Jorge Lobo, Arcot Rajasekar (Hardcover, 1992)

Buchpark (82137)
98.2% positive Feedback
Price:
£31.13
Free postage
Estimated delivery Fri, 13 Jun - Fri, 20 Jun
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
Good
Each item is manually inspected and evaluated by us. Item may have slight signs of wear such as slight adhesive residue, dog-eared pages, slight yellowing, reading traces. Editions of Books. No visible signs of wear, dust jacket present on hardcovers.

About this product

Product Information

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.

Product Identifiers

PublisherMIT Press LTD
ISBN-139780262121651
eBay Product ID (ePID)88915132

Product Key Features

Number of Pages332 Pages
Publication NameFoundations of Disjunctive Logic Programming
LanguageEnglish
SubjectComputer Science
Publication Year1992
TypeTextbook
AuthorJack Minker, Jorge Lobo, Arcot Rajasekar
SeriesLogic Programming
FormatHardcover

Dimensions

Item Height180 mm
Item Weight753 g
Item Width236 mm

Additional Product Features

Country/Region of ManufactureUnited States
Title_AuthorJack Minker, Jorge Lobo, Arcot Rajasekar
Issn1061-0464
No ratings or reviews yet
Be the first to write a review