The least fixpoint transformation for disjunctive logic programs

DOI10.1007/BF02943187zbMATH Open0899.68027MaRDI QIDQ1389092FDOQ1389092

Quanyuan Wu, Huowang Chen, Kewen Wang

Publication date: 10 November 1998

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

Recommendations

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

zbMATH Keywords

disjunctive logic programmingnormal logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Deduction in non-Horn databases
• A fixpoint semantics for disjunctive logic programs
• Argumentation in disjunctive logic programming
• Argumentation-based abduction in disjunctive logic programming

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters

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)