@inproceedings{C55,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  OPTNote =	 {(Acceptance rate $\leq 25\%$)},
  Booktitle =	 {IJCAI 2016},
  Comment =	 {<a href="http://christoph-benzmueller.de/papers/2016-IJCAI-Poster.pdf">poster</a>, <a href="http://www.ijcai.org/Proceedings/16/Papers/137.pdf">proceedings-version</a>},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics, DFG-2501-Selected},
  publisher =	 {AAAI Press},
  Volume =	 {1-3},
  Editor =	 {Subbarao Kambhampati},
  Title =	 {The Inconsistency in {G{\"o}del's} Ontological
                  Argument: A Success Story for {AI} in Metaphysics},
  url =		 {http://www.ijcai.org/Proceedings/16/Papers/137.pdf},
  url = {https://www.researchgate.net/publication/301295955},
  Isbn =	 {978-1-57735-770-4},
  Year =	 2016,
  Pages =	 {936-942},
}

{"_id":"kHttKhJ7KYxaQht4P","bibbaseid":"benzmller-woltzenlogelpaleo-theinconsistencyingdelsontologicalargumentasuccessstoryforaiinmetaphysics-2016","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":[]}],"optnote":"(Acceptance rate $≤ 25%$)","booktitle":"IJCAI 2016","comment":"<a href=\"http://christoph-benzmueller.de/papers/2016-IJCAI-Poster.pdf\">poster</a>, <a href=\"http://www.ijcai.org/Proceedings/16/Papers/137.pdf\">proceedings-version</a>","keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics, DFG-2501-Selected","publisher":"AAAI Press","volume":"1-3","editor":[{"firstnames":["Subbarao"],"propositions":[],"lastnames":["Kambhampati"],"suffixes":[]}],"title":"The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics","url":"https://www.researchgate.net/publication/301295955","isbn":"978-1-57735-770-4","year":"2016","pages":"936-942","bibtex":"@inproceedings{C55,\n Author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n OPTNote =\t {(Acceptance rate $\\leq 25\\%$)},\n Booktitle =\t {IJCAI 2016},\n Comment =\t {<a href=\"http://christoph-benzmueller.de/papers/2016-IJCAI-Poster.pdf\">poster</a>, <a href=\"http://www.ijcai.org/Proceedings/16/Papers/137.pdf\">proceedings-version</a>},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic,\n Computational Metaphysics, DFG-2501-Selected},\n publisher =\t {AAAI Press},\n Volume =\t {1-3},\n Editor =\t {Subbarao Kambhampati},\n Title =\t {The Inconsistency in {G{\\\"o}del's} Ontological\n Argument: A Success Story for {AI} in Metaphysics},\n url =\t\t {http://www.ijcai.org/Proceedings/16/Papers/137.pdf},\n url = {https://www.researchgate.net/publication/301295955},\n Isbn =\t {978-1-57735-770-4},\n Year =\t 2016,\n Pages =\t {936-942},\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Kambhampati, S."],"key":"C55","id":"C55","bibbaseid":"benzmller-woltzenlogelpaleo-theinconsistencyingdelsontologicalargumentasuccessstoryforaiinmetaphysics-2016","role":"author","urls":{"url":"https://www.researchgate.net/publication/301295955"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic","Computational Metaphysics","DFG-2501-Selected"],"metadata":{"authorlinks":{}},"downloads":17,"html":""},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","ontology reasoning","leo prover","higher order logic","computational metaphysics","dfg-2501-selected"],"search_terms":["inconsistency","del","ontological","argument","success","story","metaphysics","benzmüller","woltzenlogel paleo"],"title":"The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics","year":2016,"downloads":17}