Johan Wittocx, Maarten Mariën, Marc Denecker. Approximate Reasoning in First-Order Logic Theories. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 103-112, AAAI Press, 2008.
Abstract is missing.