3 papers
cs.LO2026
Fixpoint Semantics for DatalogMTL with Negation
Samuele Pollaci
DatalogMTL with negation is an extension of Datalog with metric temporal operators enriched with unstratifiable negation. In this paper, we define the stable, well-founded, Kripke-…
cs.LO2025
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
Samuele Pollaci, Babis Kostopoulos, Marc Denecker +1
Approximation Fixpoint Theory (AFT) is an algebraic framework designed to study the semantics of non-monotonic logics. Despite its success, AFT is not readily applicable to higher-…
cs.LO2025
A Category-Theoretic Perspective on Approximation Fixpoint Theory
Samuele Pollaci
Approximation Fixpoint Theory (AFT) was founded in the early 2000s by Denecker, Marek, and TruszczyÅski as an abstract algebraic framework to study the semantics of non-monotonic…