'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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of automated reasoning Jg. 20; H. 1-2; S. 107 - 142
Hauptverfasser:	Alferes, José Júlio, Pereira, Luís Moniz, Przymusinski, Teodor C.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Nature B.V 01.04.1998
Schlagworte:	Logic programming Studies
ISSN:	0168-7433, 1573-0670
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!