scientific article; zbMATH DE number 846973

MaRDI QIDQ4864798zbMATH OpenFDO

Authors Cristian Papp

Publication date 18 August 1996

zbMATH Keywords

disjunctive logic programswell-founded semanticsnormal logic programs

Mathematics Subject Classification ID

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

Recommendations

• Logic Programming
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1884387
• A tutorial on the well-founded semantics
• A fixpoint semantics for disjunctive logic programs

Cited in

(6)

• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Logic Programming
• scientific article; zbMATH DE number 1884387 (Why is no real title available?)
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
• Bottom-up computation of perfect models for disjunctive theories
• scientific article; zbMATH DE number 1765676 (Why is no real title available?)

This page was built for publication:

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