Home // Research // FSTC // Computer Sci... // Members // Christoph Ewald Benzmüller

Christoph Ewald Benzmüller

Christoph Ewald Benzmüller
Postal Address 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)

Full Text
See detailReport on the Second International Joint Conference on Rules and Reasoning
Benzmüller, Christoph; Parent, Xavier; Ricca, Francesco

in AI Magazine (2019), 40(2), 73-74

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)

See detailA Computational-Hermeneutic Approach for Conceptual Explicitation
Fuenmayor, David; Benzmüller, Christoph

in Nepomuceno, A.; Magnani, L.; Salguero, F.; Bares, C.; Fontaine, M. (Eds.) Model-Based Reasoning in Science and Technology -- Inferential Models for Logic, Language, Cognition and Computation (2019)

Full Text
See detailHarnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
Fuenmayor, David; Benzmüller, Christoph

in Nayak, A.; Sharma, A. (Eds.) PRICAI 2019: Trends in Artificial Intelligence (2019, August 23)

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 detailExtensional Higher-Order Paramodulation in Leo-III
Steen, Alexander; Benzmüller, Christoph

E-print/Working paper (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

Full Text
See detailSweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph

in Logic and Logical Philosophy (2016), 25(4), 535-554

Full Text
See detailTutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in Benzmüller, Christoph; Sutcliffe, Geoff; Rojas, Raul (Eds.) GCAI 2016, 2nd Global Conference on Artificial Intelligence (2016, September 29)

Full Text
See detailAgent-Based HOL Reasoning
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

in Greuel, GM; Koch, T; Paule, P; Sommese, A (Eds.) Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (2016, July)

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

Software (2016)

Full Text
See detailTPTP and Beyond: Representation of Quantified Non-Classical Logics
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Benzmüller, Christoph; Otten, Jens (Eds.) ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (2016, December)

Full Text
See detailEinsatz von Theorembeweisern in der Lehre
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Schwill, Andreas; Lucke, Ulrike (Eds.) Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (2016)

Full Text
See detailEffective Normalization Techniques for HOL
Wisniewski, Max; Steen, Alexander; Kern, Kim; Benzmüller, Christoph

in Olivetti, Nicola; Tiwari, Ashish (Eds.) Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (2016, June)

Top of Page

2015

Full Text
See detailComputational Metaphysics
Benzmüller, Christoph; Wisniewski, Max; Steen, Alexander

Report (2015)

Full Text
See detailThere Is No Best Beta-Normalization Strategy for Higher-Order Reasoners
Steen, Alexander; Benzmüller, Christoph

in Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (Eds.) Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (2015, November)

Full Text
See detailLeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph

in Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker (Eds.) Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (2015, June)

Top of Page