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

DOI10.1016/j.artint.2024.104110MaRDI QIDQ6566627

Bart Bogaerts, Jesse Heyninck, Ofer Arieli

Publication date: 3 July 2024

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge representationlogic programminganswer set programmingapproximation fixpoint theory

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

This page was built for publication: Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming