%0 Conference Paper %1 conf/ijcai/BenzmullerP16 %A Benzmüller, Christoph %A Paleo, Bruno Woltzenlogel %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K %P 936-942 %T The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BenzmullerP16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/BenzmullerP16, added-at = {2023-12-13T05:39:08.000+0100}, author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/27abaf35199e288f05eea5a2b36be1cf0/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/137}, interhash = {a5039d7f9a08edaf3bea0099facbb3b3}, intrahash = {7abaf35199e288f05eea5a2b36be1cf0}, isbn = {978-1-57735-771-1}, keywords = {}, pages = {936-942}, publisher = {IJCAI/AAAI Press}, timestamp = {2023-12-13T05:39:08.000+0100}, title = {The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BenzmullerP16}, year = 2016 }