Argumentation in disjunctive logic programming

DOI10.1007/BF02916880zbMath0903.68185MaRDI QIDQ1129838

Kewen Wang, Huowang Chen, Quanyuan Wu

Publication date: 14 December 1998

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

disjunctive logic programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items

The least fixpoint transformation for disjunctive logic programs, Credolous argumentation with the disjunctive stable semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Deduction in non-Horn databases
• A nondeterministic well-founded semantics
• The well-founded semantics for general logic programs
• An argumentation-theoretic foundation for logic programming