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

Full description

Bibliographic Details

Published in:	Artificial intelligence Vol. 331; p. 104110
Main Authors:	Heyninck, Jesse, Arieli, Ofer, Bogaerts, Bart
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.06.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!