A nondeterministic well-founded semantics

DOI10.1007/BF01530893zbMath0868.68022MaRDI QIDQ1924729

Alberto Torres

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

well-founded semanticspartial stable models

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Argumentation in disjunctive logic programming, Graph theoretical structures in logic programs and default theories, Credolous argumentation with the disjunctive stable semantics

Cites Work

• Graph theoretical structures in logic programs and default theories
• Tie-breaking semantics and structural totality
• Recent problems and results about kernels in directed graphs
• Short note preferred extensions are partial stable models
• Autoepistemic logic
• Abductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item