The least fixpoint transformation for disjunctive logic programs

DOI10.1007/BF02943187MaRDI QIDQ1389092zbMATH OpenFDO

Authors Kewen Wang, Huowang Chen, Quanyuan Wu

Publication date 10 November 1998

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

disjunctive logic programmingnormal logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A fixpoint semantics for disjunctive logic programs
• Logic Programming
• scientific article; zbMATH DE number 850634
• scientific article; zbMATH DE number 1301744

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• A fixpoint semantics for disjunctive logic programs
• Argumentation in disjunctive logic programming
• Argumentation-based abduction in disjunctive logic programming
• Deduction in non-Horn databases

Cited in

(5)

• A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters
• scientific article; zbMATH DE number 1407679 (Why is no real title available?)
• On the relations between disjunctive and linear logic programming
• scientific article; zbMATH DE number 1884399 (Why is no real title available?)
• Characterizing D-WFS: confluence and iterated GCWA

This page was built for publication: The least fixpoint transformation for disjunctive logic programs

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