53 citations · 147 across the 32 of their papers we have counts for
1 paper · 1 filter
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…