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.
@inproceedings{WittocxMD08, title = {Approximate Reasoning in First-Order Logic Theories}, author = {Johan Wittocx and Maarten Mariën and Marc Denecker}, year = {2008}, tags = {logic}, researchr = {https://researchr.org/publication/WittocxMD08}, cites = {0}, citedby = {0}, pages = {103-112}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008}, editor = {Gerhard Brewka and Jérôme Lang}, publisher = {AAAI Press}, isbn = {978-1-57735-384-3}, }