Semantics of Horn and disjunctive logic programs

DOI10.1016/0304-3975(91)90006-NzbMath0744.68090WikidataQ109585677 ScholiaQ109585677MaRDI QIDQ1177928

Jorge Lobo, Arcot Rajasekar, Jack Minker

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantics of Horn and disjunctive logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Modal logics with relative accessibility relations, Parsing as non-Horn deduction, Temporal disjunctive logic programming, Completeness of hyper-resolution via the semantics of disjunctive logic programs

Cites Work

• An extension to linear resolution with selection function
• Generalized disjunctive well-founded semantics for logic programs.
• On stratified disjunctive programs
• Deduction in non-Horn databases
• Weak generalized closed world assumption
• A fixpoint semantics for disjunctive logic programs
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item