{"_id":"rKQMgxZtMSXn7E7fM","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"booktitle":"Science & Spiritual Quest, Proceedings of the 9th All India Students' Conference, 30th October – 1 November, 2015, IIT Kharagpur, India","comment":"<a href=\"http://christoph-benzmueller.de//papers/2015-AISSQ.pdf\">slides</a>","editor":[{"propositions":[],"lastnames":["Mishram"],"firstnames":["Subhash","C."],"suffixes":[]},{"propositions":[],"lastnames":["Uppaluri"],"firstnames":["Ramgopal"],"suffixes":[]},{"propositions":[],"lastnames":["Agarwal"],"firstnames":["Varun"],"suffixes":[]}],"keywords":"own, Higher Order Logic, Semantic Embedding, Modal Logics, Automated Reasoning, Ontology Reasoning, Computational Metaphysics","note":"(Invited paper)","pages":"23-40","publisher":"Bhaktivedanta Institute, Kolkata, ˘rlwww.binstitute.org","title":"Experiments in Computational Metaphysics: Gödel's Proof of God's Existence","url_preprint":"https://www.researchgate.net/publication/311587544","year":"2015","bibtex":"@inproceedings{C52,\n Author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {Science \\& Spiritual Quest, Proceedings of the 9th\n All India Students' Conference, 30th October -- 1\n November, 2015, IIT Kharagpur, India},\n Comment =\t {<a href=\"http://christoph-benzmueller.de//papers/2015-AISSQ.pdf\">slides</a>},\n Editor =\t {Mishram, Subhash C. and Uppaluri, Ramgopal and\n Agarwal, Varun},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding, Modal\n Logics, Automated Reasoning, Ontology Reasoning,\n Computational Metaphysics},\n Note =\t {(Invited paper)},\n Pages =\t {23-40},\n Publisher =\t {Bhaktivedanta Institute, Kolkata,\n \\url{www.binstitute.org}},\n Title =\t {Experiments in Computational Metaphysics:\n {G\\\"odel's} Proof of God's Existence},\n url_preprint = {https://www.researchgate.net/publication/311587544},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Mishram, S. C.","Uppaluri, R.","Agarwal, V."],"key":"C52","id":"C52","bibbaseid":"benzmller-woltzenlogelpaleo-experimentsincomputationalmetaphysicsgdelsproofofgodsexistence-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/311587544"},"keyword":["own","Higher Order Logic","Semantic Embedding","Modal Logics","Automated Reasoning","Ontology Reasoning","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","modal logics","automated reasoning","ontology reasoning","computational metaphysics"],"search_terms":["experiments","computational","metaphysics","del","proof","god","existence","benzmüller","woltzenlogel paleo"],"title":"Experiments in Computational Metaphysics: Gödel's Proof of God's Existence","year":2015,"downloads":2}