A fixpoint semantics for disjunctive logic programs

DOI10.1016/0743-1066(90)90033-2MaRDI QIDQ3198867zbMATH OpenOpenAlexFDO

Authors Jack Minker, Arcot Rajasekar

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90033-2

zbMATH Keywords

disjunctive logic programslogic programmingLinear resolutionHerbrand base

Mathematics Subject Classification ID

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

Recommendations

• Semantics of Horn and disjunctive logic programs
• scientific article; zbMATH DE number 18533
• On semantics and proof theory of disjunctive logic programs with classical negation
• On stratified disjunctive programs
• scientific article; zbMATH DE number 25192

Cited in

(49)

• On semantics and proof theory of disjunctive logic programs with classical negation
• Semantics of Horn and disjunctive logic programs
• scientific article; zbMATH DE number 1420809 (Why is no real title available?)
• On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
• scientific article; zbMATH DE number 1696794 (Why is no real title available?)
• Stable classes and operator pairs for disjunctive programs
• To Vladimir Lifschitz on His 65th Birthday
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 5079838 (Why is no real title available?)
• SATCHMORE: SATCHMO with RElevancy
• On reasoning about structural equality in XML: a description logic approach
• Avoiding duplicate proofs with the foothold refinement
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Weak generalized closed world assumption
• scientific article; zbMATH DE number 1884387 (Why is no real title available?)
• Linear resolution for consequence finding
• A fixpoint characterization of abductive logic programs
• On the relations between disjunctive and linear logic programming
• Temporal disjunctive logic programming
• Propositional semantics for disjunctive logic programs
• Disjunctive logic programs, answer sets, and the cut rule
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Jack Minker --- A profile
• An efficient strategy for non-Horn deductive databases
• The semantics of incomplete databases as an expression of preferences
• Clausal logic and logic programming in algebraic domains
• A game semantics for disjunctive logic programming
• Syntax and semantics of multi-adjoint normal logic programming
• On stratified disjunctive programs
• An effective fixpoint semantics for linear logic programs
• Computing only minimal answers in disjunctive deductive databases
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Paraconsistent disjunctive deductive databases
• A semantics for a class of non-deterministic and causal production system programs
• A Step Up in Expressiveness of Decidable Fixpoint Logics
• A fixpoint semantics of Horn sentences based on substitution sets
• Determining inference semantics for disjunctive logic programs
• Generalized well-founded semantics for logic programs
• Generalized disjunctive well-founded semantics for logic programs.
• scientific article; zbMATH DE number 846973 (Why is no real title available?)
• Relating minimal models and pre-requisite-free normal defaults
• A fixed point semantics for logic programs extended with cuts
• Negation as failure for disjunctive logic programming
• Fixpoint semantics for logic programming a survey
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• The least fixpoint transformation for disjunctive logic programs
• Hyper tableaux
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Complexity results for answer set programming with bounded predicate arities and implications

This page was built for publication: A fixpoint semantics for disjunctive logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3198867)