Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming

Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic. In...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence Jg. 331; S. 104110
Hauptverfasser:	Heyninck, Jesse, Arieli, Ofer, Bogaerts, Bart
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.06.2024
Schlagworte:	Answer Set Programming Approximation Fixpoint Theory Knowledge Representation Logic Programming Knowledge Representation Approximation Fixpoint Theory Logic Programming Answer Set Programming
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!