A comparative study of well-founded semantics for disjunctive logic programs

DOI10.1007/3-540-45402-0_10MaRDI QIDQ4798005zbMATH OpenFDO

Authors Kewen Wang

Publication date 18 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2173/21730133.htm

Mathematics Subject Classification ID

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

Recommendations

• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Generalized disjunctive well-founded semantics for logic programs.
• scientific article; zbMATH DE number 846973
• Disjunctive logic and semantics of disjunctive logic programs
• On the computation of the disjunctive well-founded semantics
• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 591001
• scientific article; zbMATH DE number 1926616
• Propositional semantics for disjunctive logic programs

Cited in

(6)

• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• A top-down procedure for disjunctive well-founded semantics
• scientific article; zbMATH DE number 846973 (Why is no real title available?)
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Logic Programming
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics

This page was built for publication: A comparative study of well-founded semantics for disjunctive logic programs

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