Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In ECAI 2014 (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 263, pp. 93 -- 98, 2014. (slides) ((Acceptance rate $\leq 28\%$))
Bibtex Entry:
@inproceedings{C40,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Note =	 {(Acceptance rate $\leq 28\%$)},
  Booktitle =	 {ECAI 2014},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2014-ECAI.pdf
                  " target="_blank">slides</a>},
  Doi =		 {10.3233/978-1-61499-419-0-93},
  Editor =	 {Torsten Schaub and Gerhard Friedrich and Barry
                  O'Sullivan},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics, DFG-2501-Selected},
  Pages =	 {93 -- 98},
  Publisher =	 {IOS Press},
  Series =	 {Frontiers in Artificial Intelligence and
                  Applications},
  Title =	 {Automating {G\"{o}del's} Ontological Proof of
                  {God}'s Existence with Higher-order Automated
                  Theorem Provers},
  Url =		 {http://christoph-benzmueller.de/papers/C40.pdf},
  Volume =	 263,
  Year =	 2014,
}
Powered by bibtexbrowser