%0 Conference Paper %1 conf/kr/WittocxMD08 %A Wittocx, Johan %A Mariën, Maarten %A Denecker, Marc %B KR %D 2008 %E Brewka, Gerhard %E Lang, Jérôme %I AAAI Press %K %P 103-112 %T Approximate Reasoning in First-Order Logic Theories. %U http://dblp.uni-trier.de/db/conf/kr/kr2008.html#WittocxMD08 %@ 978-1-57735-384-3

@inproceedings{conf/kr/WittocxMD08, added-at = {2023-12-13T05:16:07.000+0100}, author = {Wittocx, Johan and Mariën, Maarten and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2c564e94ed28cab444b195f03c7f1ef35/admin}, booktitle = {KR}, crossref = {conf/kr/2008}, editor = {Brewka, Gerhard and Lang, Jérôme}, ee = {http://www.aaai.org/Library/KR/2008/kr08-011.php}, interhash = {a08438e2694d2142655db13b7e591fed}, intrahash = {c564e94ed28cab444b195f03c7f1ef35}, isbn = {978-1-57735-384-3}, keywords = {}, pages = {103-112}, publisher = {AAAI Press}, timestamp = {2023-12-13T05:16:07.000+0100}, title = {Approximate Reasoning in First-Order Logic Theories.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2008.html#WittocxMD08}, year = 2008 }