The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In IJCAI 2016 (Subbarao Kambhampati, ed.), AAAI Press, volume 1-3, pp. 936-942, 2016. (poster, proceedings-version) ((Acceptance rate $\leq 25\%$))
Bibtex Entry:
@inproceedings{C55,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Note =	 {(Acceptance rate $\leq 25\%$)},
  Booktitle =	 {IJCAI 2016},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2016-IJCAI-Poster.pdf"
                  target="_blank " target="_blank">poster</a>, <a
                  href="http://www.ijcai.org/Proceedings/16/Papers/137.pdf"
                  target="_blank "
                  target="_blank">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},
  Isbn =	 {978-1-57735-770-4},
  Year =	 2016,
  Pages =	 {936-942},
}
Powered by bibtexbrowser