Type: Incollection
2016
[16] Analysis of an Ontological Proof Proposed by Leibniz (Matthias Bentert, Christoph Benzmüller, David Streit, Bruno Woltzenlogel Paleo), Chapter in Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz (Charles Tandy, ed.), Ria University Press, 2016. (Preprint: http://christoph-benzmueller.de/papers/B16.pdf) [bibtex] [pdf] [doi]
[15] The Modal Collapse as a Collapse of the Modal Square of Opposition (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Chapter in The Square of Opposition: A Cornerstone of Thought (Collection of papers related to the World Congress on the Square of Opposition IV, Vatican, 2014), http://www.springer.com/us/book/9783319450612 (Jean-Yves Béziau, Gianfranco Basti, eds.), Springer International Publishing Switzerland, Studies in Universal Logic, 2016. [bibtex] [pdf] [doi]
2015
[14] Higher-Order Automated Theorem Provers (Christoph Benzmüller), Chapter in All about Proofs, Proof for All (David Delahaye, Bruno Woltzenlogel Paleo, eds.), College Publications, Mathematical Logic and Foundations, pp. 171-214, 2015. (publisher) [bibtex] [pdf]
2014
[13] Automation of Higher-Order Logic (Christoph Benzmüller, Dale Miller), Chapter in Handbook of the History of Logic, Volume 9 --- Computational Logic (Dov M. Gabbay, Jörg H. Siekmann, John Woods, eds.), North Holland, Elsevier, pp. 215-254, 2014. [bibtex] [pdf] [doi]
2011
[12] Knowledge Engineering Tools (Christoph Benzmüller, Adam Pease), Chapter in Ontology: A Practical Guide (Adam Pease, ed.), Articulate Software Press, pp. 171-214, 2011. ((This chapter has some essential overlap with the 2012 journal article with A. Pease titled Higher-Order Aspects and Context in SUMO; non-reviewed here)) [bibtex] [pdf]
2010
[11] Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners) (Christoph Benzmüller), Chapter in Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Simon Siegler, Nathan Wasser, eds.), Springer, LNCS, volume 6463, pp. 117-128, 2010. ((Superseded by PxTP-2015 paper)) [bibtex] [pdf] [doi]
[10] Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs (Christoph Benzmüller, Marvin Schiller, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 291-311, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi]
[9] OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 389-423, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi]
2009
[8] Jacques Herbrand: Life, Logic, and Automated Deduction (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), Chapter in Handbook of the History of Logic, Volume 5 -- Logic from Russell to Church (Dov Gabbay, John Woods, eds.), Elsevier, 2009. [bibtex] [pdf] [doi]
2008
[7] Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller, Lawrence Paulson), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 386-406, 2008. ((Superseded by 2013 article in Logica Universalis)) [bibtex] [pdf]
[6] Cut Elimination with Xi-Functionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 84-100, 2008. [bibtex] [pdf]
2007
[5] Natural Language Dialog with a Tutor System for Mathematical Proofs (Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska), Chapter in Cognitive Systems (Ruqian Lu, Jörg Siekmann, Carsten Ullrich, eds.), Springer, LNCS, volume 4429, pp. 1-14, 2007. [bibtex] [pdf] [doi]
[4] The curious inference of Boolos in MIZAR and OMEGA (Christoph Benzmüller, Chad Brown), Chapter in From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec (Roman Matuszewski, Anna Zalewska, eds.), The University of Bialystok, Polen, Studies in Logic, Grammar, and Rhetoric, volume 10(23), pp. 299-388, 2007. [bibtex] [pdf]
2006
[3] OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann), Chapter in The Seventeen Provers of the World (Freek Wiedijk, ed.), Springer, LNCS, number 3600, pp. 127-141, 2006. [bibtex] [pdf] [doi]
2004
[2] Bridging Theorem Proving and Mathematical Knowledge Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday (Dieter Hutter, Werner Stephan, eds.), Springer, LNCS, volume 2605, pp. 277-296, 2004. [bibtex] [pdf] [doi]
2003
[1] Proof Development in OMEGA: The Irrationality of Square Root of 2 (Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Immanuel Normann, Martin Pollet), Chapter in Thirty Five Years of Automating Mathematics (Fairouz Kamareddine, ed.), Kluwer Academic Publishers, Applied Logic series (28), pp. 271-314, 2003. [bibtex] [pdf] [doi]
Powered by bibtexbrowser