Constructive negation under the well-founded semantics

DOI10.1016/S0743-1066(98)10027-4zbMath0937.68021OpenAlexW2062607893MaRDI QIDQ4719367

Weidong Chen, Leroy Adams, Julie Yu-Chih Liu

Publication date: 28 May 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10027-4

zbMATH Keywords

well-founded semanticsconstructive negation

Mathematics Subject Classification ID

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

Related Items (1)

Collaborative vs. Conflicting Learning, Evolution and Argumentation

Uses Software

• XSB

This page was built for publication: Constructive negation under the well-founded semantics