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

Celý popis

Podrobná bibliografia

Vydané v:	Artificial intelligence Ročník 331; s. 104110
Hlavní autori:	Heyninck, Jesse, Arieli, Ofer, Bogaerts, Bart
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.06.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!