Items related to Foundations of Disjunctive Logic Programming
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherMIT Press
- Publication date1992
- ISBN 10 0262121654
- ISBN 13 9780262121651
- BindingHardcover
- LanguageEnglish
- Number of pages330
Search results for Foundations of Disjunctive Logic Programming
Stock Image
Foundations of Disjunctive Logic Programming.
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 307 Seiten, Englisch 750g. Seller Inventory # 493048
Quantity: 1 available
Stock Image
Foundations of Disjunctive Logic Programming
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 332 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 32368039/203
Quantity: 2 available
Stock Image
Foundations of Disjunctive Logic Programming
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-0262121654-6
Quantity: 1 available