3 papers
cs.AI2025
Approximation Fixpoint Theory with Refined Approximation Spaces
Linde Vanbesien, Bart Bogaerts, Marc Denecker
Approximation Fixpoint Theory (AFT) is a powerful theory covering various semantics of non-monotonic reasoning formalisms in knowledge representation such as Logic Programming and…
cs.AI2023
An epistemic logic for modeling decisions in the context of incomplete knowledge
Đorđe Marković, Simon Vandevelde, Linde Vanbesien +2
Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowled…
cs.AI2021
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Aggregates provide a concise way to express complex knowledge. The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettle…