'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called 'classical'. Subsequently, several researchers proposed dif...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of automated reasoning Vol. 20; no. 1-2; pp. 107 - 142
Main Authors:	Alferes, José Júlio, Pereira, Luís Moniz, Przymusinski, Teodor C.
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Nature B.V 01.04.1998
Subjects:	Logic programming Studies
ISSN:	0168-7433, 1573-0670
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!