Christoph Ewald Benzmüller

Christoph Ewald Benzmüller
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2019

Full Text
See detailUniversal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)
Benzmüller, Christoph

in Data in Brief (2019), 24(103823), 1--5

Full Text
See detailChurch's Type Theory
Benzmüller, Christoph; Andrews, Peter

in Stanford Encyclopedia of Philosophy (2019)

See detailSelected Student Contributions and Workshop Papers of LuxLogAI 2018
Benzmüller, Christoph; Parent, Xavier; Steen, Alexander

Book published by EasyChair (2019)

Full Text
See detailAutomating Free Logic in HOL, with an Experimental Application in Category Theory
Benzmüller, Christoph; Scott, Dana

in Journal of Automated Reasoning (2019)

Full Text
See detailKI 2019: Advances in Artificial Intelligence -- 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings
Benzmüller, Christoph; Stuckenschmidt, Heiner

Book published by Springer, Cham, Cham (2019)

Full Text
See detailComputer Science and Metaphysics: A Cross-Fertilization
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.

in Open Philosophy (2019), 2(1), 230251

Full Text
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.

in Review of Symbolic Logic (2019)

Full Text
See detailThe Higher-Order Prover Leo-III (Extended Abstract)
Steen, Alexander; Benzmüller, Christoph

in Benzmüller, Christoph; Stuckenschmidt, Heiner (Eds.) {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (2019)

Top of Page

2018

Full Text
See detailUniversal (Meta-)Logical Reasoning: Recent Successes
Benzmüller, Christoph

in Science of Computer Programming (2018)

Full Text
See detailAqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, September 17)

Full Text
See detailA Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Poster (2018, June 16)

Full Text
See detailA Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

in Broersen, Jan; Condoravdi, Cleo; Nair, Shyam; Pigozzi, Gabriella (Eds.) Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (2018, June 11)

Full Text
See detailImplementation of Dyadic Deontic Logic E in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, May 04)

Full Text
See detailFaithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Report (2018)

Full Text
See detailCan Computers Help to Sharpen our Understanding of Ontological Arguments?
Benzmüller, Christoph; Fuenmayor, David

in Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (2018)

Full Text
See detailARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
Benzmüller, Christoph; Otten, Jens

in CEUR Workshop Proceedings (2018), 2095

See detailFirst Experiments with a Flexible Infrastructure for Normative Reasoning
Benzmüller, Christoph; Parent, Xavier

E-print/Working paper (2018)

See detailI/O Logic in HOL --- First Steps
Benzmüller, Christoph; Parent, Xavier

E-print/Working paper (2018)

Full Text
See detailA Deontic Logic Reasoning Infrastructure
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leon

in Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (2018)

See detailRules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; Roman, Dumitru

Book published by Springer (2018)

Full Text
See detailSome Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Benzmüller, Christoph; Scott, Dana S.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Full Text
See detailAxiom Systems for Category Theory in Free Logic
Benzmüller, Christoph; Scott, Dana S.

in Archive of Formal Proofs (2018)

Full Text
See detailI/O Logic in HOL
Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier; Benzmüller, Christoph

Scientific Conference (2018, September 17)

Full Text
See detailA Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph

in IfCoLog Journal of Logics and Their Applications (2018), 5(7), 1567-1603

Full Text
See detailFormalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph

in Archive of Formal Proofs (2018)

Full Text
See detailComputational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract)
Fuenmayor, David; Benzmüller, Christoph

in Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts (2018)

Full Text
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.

in 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (2018)

Full Text
See detailSystem Demonstration: The Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph

in CEUR Workshop Proceedings (2018), 2095

Full Text
See detailThe Higher-Order Prover Leo-III
Steen, Alexander; Benzmüller, Christoph

in Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (2018)

Top of Page

2017

Full Text
See detailRecent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)
Benzmüller, Christoph

in Benzmüller, Christoph (Ed.) Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings (2017, November 11)

See detailUniversal Reasoning, Rational Argumentation and Human-Machine Interaction
Benzmüller, Christoph

E-print/Working paper (2017)

Full Text
See detailCut-Elimination for Quantified Conditional Logic
Benzmüller, Christoph

in Journal of Philosophical Logic (2017), 46(3), 333353

Full Text
See detailImplementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier; van der Torre, Leon

Scientific Conference (2017, July 06)

Full Text
See detailComputer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Benzmüller, Christoph; Fuenmayor, David

in Archive of Formal Proofs (2017)

See detailGCAI 2017: 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017
Benzmüller, Christoph; Lisetti, Christine; Theobald, Martin

Book published by EPiC Series in Computing, EasyChair (2017)

See detailGCAI 2017. 3rd Global Conference on Artificial Intelligence
Benzmüller, Christoph; Lisetti, Christine; Theobald, Martin

Book published by EasyChair Proceedings (2017)

Full Text
See detailLeo-III Version 1.1 (System description)
Benzmüller, Christoph; Steen, Alexander; Wisniewski, Max

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Full Text
See detailComputer-Assisted Analysis of the Anderson-Hájek Controversy
Benzmüller, Christoph; Weber, Leon; Woltzenlogel Paleo, Bruno

in Logica Universalis (2017), 11(1), 139-151

Full Text
See detailExperiments in Computational Metaphysics: Gödel's Proof of God's Existence
Benzmüller, Christoph; Woltzenlogel Paleo, Bruno

in Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute (2017), 9

Full Text
See detailAutomating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Fuenmayor, David; Benzmüller, Christoph

in KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI (2017, September)

Full Text
See detailTypes, Tableaus and Gödel's God in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph

in Archive of Formal Proofs (2017)

Full Text
See detailThe Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander; Wsinieswki, Max

in The 2nd World Congress on Logic and Religion -- Book of Abstracts (2017)

Full Text
See detailTheorem Provers for Every Normal Modal Logic
Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph

in Eiter, Thomas; Sands, David (Eds.) LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2017, May 04)

Full Text
See detailMechanizing Principia Logico-Metaphysica in Functional Type Theory
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.

E-print/Working paper (2017)

Full Text
See detailGoing Polymorphic - TH1 Reasoning for Leo-III
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Full Text
See detailCapability Discovery for Automated Reasoning Systems
Steen, Alexander; Wisniewski, Max; Schurr, Hans-Jörg; Benzmüller, Christoph

in IWIL Workshop and LPAR Short Presentations (2017, June 04)

Top of Page

2016

See detailLeo-III
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

Software (2016)

Top of Page