Approximate Reasoning in First-Order Logic Theories.

Johan Wittocx, Maarten Marin, Marc Denecker

Browse the full KR paper archive.