The least fixpoint transformation for disjunctive logic programs

DOI10.1007/BF02943187zbMath0899.68027MaRDI QIDQ1389092

Quanyuan Wu, Huowang Chen, Kewen Wang

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)

Cites Work

• Argumentation in disjunctive logic programming
• Deduction in non-Horn databases
• A fixpoint semantics for disjunctive logic programs
• Argumentation-based abduction in disjunctive logic programming
• Unnamed Item