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
Dimensions
Item Height180 mm
Item Weight753 g
Additional Product Features
Country/Region of ManufactureUnited States
Title_AuthorJack Minker, Jorge Lobo, Arcot Rajasekar