@Inbook{Bogaerts2024,
author="Bogaerts, Bart
and Cruz-Filipe, Lu{\'i}s",
editor="Capretta, Venanzio
and Krebbers, Robbert
and Wiedijk, Freek",
title="Approximation Fixpoint Theory in Coq",
bookTitle="Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="84--99",
abstract="Approximation Fixpoint Theory (AFT) is an abstract framework based on lattice theory that unifies semantics of different non-monotonic logic. AFT has revealed itself to be applicable in a variety of new domains within knowledge representation. In this work, we present a formalisation of the key constructions and results of AFT in the Coq theorem prover, together with a case study illustrating its application to propositional logic programming.",
isbn="978-3-031-61716-4",
doi="10.1007/978-3-031-61716-4_5",
url="https://doi.org/10.1007/978-3-031-61716-4_5"
}