The least fixpoint transformation for disjunctive logic programs

DOI10.1007/BF02943187zbMATH Open0899.68027MaRDI QIDQ1389092FDOQ1389092

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)

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 (5)

• Title not available (Why is that?)
• On the relations between disjunctive and linear logic programming
• Characterizing D-WFS: confluence and iterated GCWA
• 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)