'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

• 1 January 1998
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 20  (1/2) , 107-142
• https://doi.org/10.1023/a:1005900924623

Abstract

Keywords

• LOGIC PROGRAMS
• SPECIFIC SEMANTICS
• NONMONOTONIC
• SYMMETRIC NEGATION
• EXPLICIT
• CLASSICAL