Generalized disjunctive well-founded semantics for logic programs.

DOI10.1007/BF01543473MaRDI QIDQ1354026zbMATH OpenWikidataFDO

Authors Jorge Lobo, Jack Minker, Chitta Baral

Publication date 13 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

CLP languages

Mathematics Subject Classification ID

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

Recommendations

• Computational complexity and constraint logic programming languages
• scientific article; zbMATH DE number 970715
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Complexity and undecidability results for logic programming

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4092826 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 15392 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• A fixpoint semantics for disjunctive logic programs
• An extension to linear resolution with selection function
• Deduction in non-Horn databases
• Generalized disjunctive well-founded semantics for logic programs.
• Linear resolution with selection function
• On stratified disjunctive programs
• Stable and extension class theory for logic programs and default logics

Cited in

(21)

• Semantics of Horn and disjunctive logic programs
• scientific article; zbMATH DE number 4010487 (Why is no real title available?)
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Abduction from logic programs: Semantics and complexity
• Stable and extension class theory for logic programs and default logics
• To Vladimir Lifschitz on His 65th Birthday
• Logic Programming and Nonmonotonic Reasoning
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• scientific article; zbMATH DE number 1884387 (Why is no real title available?)
• On the computational cost of disjunctive logic programming: Propositional case
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
• Disjunctive logic programs, answer sets, and the cut rule
• Characterizing D-WFS: confluence and iterated GCWA
• Well-founded semantics and stratification for ordered logic programs
• Jack Minker --- A profile
• Static semantics for normal and disjunctive logic programs
• A semantics for a class of non-deterministic and causal production system programs
• Generalized well-founded semantics for logic programs
• Generalized disjunctive well-founded semantics for logic programs.
• Disjunctive logic and semantics of disjunctive logic programs

This page was built for publication: Generalized disjunctive well-founded semantics for logic programs.

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