Super logic programs

The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotonic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called "super logic programs". We argue that these programs form a natural generalization of standar...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on computational logic 2004-01, Vol.5 (1), p.129-176
Hauptverfasser:	Brass, Stefan, Dix, Jürgen, Przymusinski, Teodor C.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Logic programming Semantics Studies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!