Credolous argumentation with the disjunctive stable semantics

DOI10.1007/BF02919444zbMath0905.68088MaRDI QIDQ1267224

Huowang Chen, Kewen Wang, Quanyuan Wu

Publication date: 6 October 1998

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

zbMATH Keywords

disjunctive logic programsdisjunctive stable semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Argumentation in disjunctive logic programming
• A nondeterministic well-founded semantics
• Completed logic programs and their consistency

This page was built for publication: Credolous argumentation with the disjunctive stable semantics