21 citations · 84 across the 35 of their papers we have counts for
1 paper · 2 filters
Arnaud Carayol, Zoltan Esik
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an importan…