Back
  1. Home
  2. Profile of Christoph Ewald BENZMÜLLER (Unilu)
Profil

BENZMÜLLER Christoph Ewald

Main Referenced Co-authors
STEEN, Alexander  (26)
PARENT, Xavier  (16)
Wisniewski, Max (12)
Fuenmayor, David (11)
FARJAMI, Ali  (10)
Main Referenced Keywords
Higher Order Logic (28); Automated Reasoning (25); own (12); LEO Prover (9); Computational Metaphysics (8);
Main Referenced Disciplines
Computer science (60)
Philosophy & ethics (21)
Religion & theology (6)
Arts & humanities: Multidisciplinary, general & others (2)
Mathematics (2)

Publications (total 70)

The most downloaded
1017 downloads
BENZMÜLLER, C. (2018). Universal (Meta-)Logical Reasoning: Recent Successes. Science of Computer Programming. doi:10.1016/j.scico.2018.10.008 https://hdl.handle.net/10993/37443

The most cited

51 citations (OpenAlex)

BENZMÜLLER, C. (2018). Universal (Meta-)Logical Reasoning: Recent Successes. Science of Computer Programming. doi:10.1016/j.scico.2018.10.008 https://hdl.handle.net/10993/37443

STEEN, A., & BENZMÜLLER, C. (27 March 2021). Extensional Higher-Order Paramodulation in Leo-III. Journal of Automated Reasoning, 65, 775-807. doi:10.1007/s10817-021-09588-x
Peer Reviewed verified by ORBi

BENZMÜLLER, C., FARJAMI, A., Fuenmajor, D., MEDER, P. J. Y., PARENT, X., STEEN, A., VAN DER TORRE, L., & ZAHORANSKY, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

STEEN, A., & BENZMÜLLER, C. (2020). The Higher-Order Prover Leo-III (Highlight paper). In Proceedings of the 24th European Conference on Artificial Intelligence (pp. 2937-2938). IOS Press. doi:10.3233/FAIA200462
Peer reviewed

STEEN, A., & BENZMÜLLER, C. (2020). On Reductions of Hintikka Sets for Higher-Order Logic. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/43235.

BENZMÜLLER, C., & STEEN, A. (November 2019). Consistent Rational Argumentation in Politics (CRAP) [Poster presentation]. Forum Experiment!, Hannover, Germany.

Fuenmayor, D., & BENZMÜLLER, C. (2019). A Computational-Hermeneutic Approach for Conceptual Explicitation. In A. Nepomuceno, L. Magnani, F. Salguero, C. Bares, ... M. Fontaine (Eds.), Model-Based Reasoning in Science and Technology -- Inferential Models for Logic, Language, Cognition and Computation (pp. 441-469). Cham, Switzerland: Springer. doi:10.1007/978-3-030-32722-4_25
Peer reviewed

Kirchner, D., BENZMÜLLER, C., & Zalta, E. N. (23 August 2019). Computer Science and Metaphysics: A Cross-Fertilization. Open Philosophy, 2 (1), 230–251. doi:10.1515/opphil-2019-0015
Peer reviewed

Fuenmayor, D., & BENZMÜLLER, C. (2019). Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. In A. Nayak & A. Sharma (Eds.), PRICAI 2019: Trends in Artificial Intelligence (pp. 418-432). Cham, Switzerland: Springer International Publishing. doi:10.1007/978-3-030-29908-8_34
Peer reviewed

Kirchner, D., BENZMÜLLER, C., & Zalta, E. N. (2019). Mechanizing Principia Logico-Metaphysica in Functional Type Theory. Review of Symbolic Logic, 1-13. doi:10.1017/S1755020319000297
Peer reviewed

BENZMÜLLER, C., PARENT, X., & Ricca, F. (24 June 2019). Report on the Second International Joint Conference on Rules and Reasoning. AI Magazine, 40 (2), 73-74. doi:10.1609/aimag.v40i2.2888
Peer reviewed

BENZMÜLLER, C. (June 2019). Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset). Data in Brief, 24 (103823), 1--5. doi:10.1016/j.dib.2019.103823
Peer reviewed

BENZMÜLLER, C., PARENT, X., & STEEN, A. (Eds.). (2019). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. EasyChair.

BENZMÜLLER, C., & Andrews, P. (2019). Church's Type Theory. Stanford Encyclopedia of Philosophy, 1--62.
Peer reviewed

BENZMÜLLER, C. (2019). Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse. In S. Kovac & K. Swietorzecka, Formal Methods and Science in Philosophy III, Informal Proceedings.

STEEN, A., & BENZMÜLLER, C. (2019). The Higher-Order Prover Leo-III (Extended Abstract). In C. BENZMÜLLER & H. Stuckenschmidt (Eds.), {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (pp. 333-337). Springer. doi:10.1007/978-3-030-30179-8_30
Peer reviewed

BENZMÜLLER, C., & Stuckenschmidt, H. (Eds.). (2019). KI 2019: Advances in Artificial Intelligence -- 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings. Springer, Cham, Cham. doi:10.1007/978-3-030-30179-8

BENZMÜLLER, C., & Scott, D. (2019). Automating Free Logic in HOL, with an Experimental Application in Category Theory. Journal of Automated Reasoning. doi:10.1007/s10817-018-09507-7
Peer Reviewed verified by ORBi

Fuenmayor, D., & BENZMÜLLER, C. (2019). Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI. In 16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts.
Peer reviewed

STEEN, A., & BENZMÜLLER, C. (2019). Extensional Higher-Order Paramodulation in Leo-III. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/40691.

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (2019). Åqvist's Dyadic Deontic Logic E in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 733--755.
Peer reviewed

BENZMÜLLER, C., FARJAMI, A., MEDER, P. J. Y., & PARENT, X. (2019). I/O Logic in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 715--732.
Peer reviewed

BENZMÜLLER, C. (2018). Universal (Meta-)Logical Reasoning: Recent Successes. Science of Computer Programming. doi:10.1016/j.scico.2018.10.008
Peer Reviewed verified by ORBi

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (17 September 2018). Aqvist's Dyadic Deontic Logic E in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

FARJAMI, A., MEDER, P. J. Y., PARENT, X., & BENZMÜLLER, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

BENZMÜLLER, C., & Otten, J. (Eds.). (25 June 2018). ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings, 2095, 100.
Peer Reviewed verified by ORBi

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (16 June 2018). A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL [Poster presentation]. 6th World Congress and School on Universal Logic, Vichy, France.

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (2018). A Dyadic Deontic Logic in HOL. In J. Broersen, C. Condoravdi, S. Nair, ... G. Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications.
Peer reviewed

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (04 May 2018). Implementation of Dyadic Deontic Logic E in Isabelle/HOL [Paper presentation]. 10th edition of PhDs in Logic, Prague, Czechia.

BENZMÜLLER, C., FARJAMI, A., & PARENT, X. (2018). Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. https://orbilu.uni.lu/handle/10993/36397

Kirchner, D., BENZMÜLLER, C., & Zalta, E. N. (2018). Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract). In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts.
Peer reviewed

Fuenmayor, D., & BENZMÜLLER, C. (2018). Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. Archive of Formal Proofs.
Peer reviewed

BENZMÜLLER, C., & Scott, D. S. (2018). Axiom Systems for Category Theory in Free Logic. Archive of Formal Proofs.
Peer reviewed

BENZMÜLLER, C., Ricca, F., PARENT, X., & Roman, D. (Eds.). (2018). Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. Springer. doi:10.1007/978-3-319-99906-7

Fuenmayor, D., & BENZMÜLLER, C. (2018). A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. IfCoLog Journal of Logics and Their Applications, 5 (7), 1567-1603.
Peer reviewed

BENZMÜLLER, C., & Scott, D. S. (2018). Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract). In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts.
Peer reviewed

BENZMÜLLER, C., & Fuenmayor, D. (2018). Can Computers Help to Sharpen our Understanding of Ontological Arguments? In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (pp. 195-226). Kokata, India: The Bhaktivedanta Institute, Kolkata, www.binstitute.org. doi:10.13140/RG.2.2.31921.84323

STEEN, A., & BENZMÜLLER, C. (2018). The Higher-Order Prover Leo-III. 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 (pp. 108-116). Springer, Cham. doi:10.1007/978-3-319-94205-6_8
Peer reviewed

Fuenmayor, D., & BENZMÜLLER, C. (2018). Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract). In Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts (pp. 250-251). Vichy, France: Universit ́e Clermont Auvergne.
Peer reviewed

BENZMÜLLER, C., & PARENT, X. (2018). First Experiments with a Flexible Infrastructure for Normative Reasoning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/37466.

BENZMÜLLER, C., & PARENT, X. (2018). I/O Logic in HOL --- First Steps. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/37467.

BENZMÜLLER, C., PARENT, X., & VAN DER TORRE, L. (2018). A Deontic Logic Reasoning Infrastructure. In Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (pp. 60-69). Springer. doi:10.1007/978-3-319-94418-0_6
Peer reviewed

STEEN, A., & BENZMÜLLER, C. (2018). System Demonstration: The Higher-Order Prover Leo-III. CEUR Workshop Proceedings, 2095.
Peer Reviewed verified by ORBi

BENZMÜLLER, C. (2017). Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). In C. BENZMÜLLER, Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings (pp. 7-11). Springer. doi:10.1007/978-3-319-70848-5_2

Kirchner, D., BENZMÜLLER, C., & Zalta, E. N. (2017). Mechanizing Principia Logico-Metaphysica in Functional Type Theory. (v1). ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/33700.

BENZMÜLLER, C., Lisetti, C., & THEOBALD, M. (Eds.). (2017). GCAI 2017: 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. EPiC Series in Computing, EasyChair.

BENZMÜLLER, C., Lisetti, C., & Theobald, M. (Eds.). (2017). GCAI 2017. 3rd Global Conference on Artificial Intelligence. Manchester, United Kingdom: EasyChair Proceedings.

BENZMÜLLER, C., & Fuenmayor, D. (2017). Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Archive of Formal Proofs.
Peer reviewed

Fuenmayor, D., & BENZMÜLLER, C. (2017). Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. In KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Cham, Switzerland: Springer International Publishing AG. doi:10.1007/978-3-319-67190-1_9
Peer reviewed

BENZMÜLLER, C., FARJAMI, A., PARENT, X., & VAN DER TORRE, L. (06 July 2017). Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL [Paper presentation]. Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), Belgrade, Serbia.

BENZMÜLLER, C., STEEN, A., & Wisniewski, M. (2017). Leo-III Version 1.1 (System description). In IWIL Workshop and LPAR Short Presentations (pp. 16). Manchester, United Kingdom: EasyChair.
Peer reviewed

STEEN, A., Wisniewski, M., & BENZMÜLLER, C. (2017). Going Polymorphic - TH1 Reasoning for Leo-III. In IWIL Workshop and LPAR Short Presentations (pp. 13). Maun, Botswana, Unknown/unspecified: EasyChair.
Peer reviewed

STEEN, A., Wisniewski, M., Schurr, H.-J., & BENZMÜLLER, C. (2017). Capability Discovery for Automated Reasoning Systems. In IWIL Workshop and LPAR Short Presentations (pp. 6). Maun, Botswana, Unknown/unspecified: EasyChair.
Peer reviewed

Gleißner, T., STEEN, A., & BENZMÜLLER, C. (2017). Theorem Provers for Every Normal Modal Logic. In T. Eiter & D. Sands (Eds.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 14-30). Manchester, United Kingdom: EasyChair.
Peer reviewed

Fuenmayor, D., & BENZMÜLLER, C. (2017). Types, Tableaus and Gödel's God in Isabelle/HOL. Archive of Formal Proofs.
Peer reviewed

BENZMÜLLER, C. (2017). Universal Reasoning, Rational Argumentation and Human-Machine Interaction. (v1). ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/33919.

BENZMÜLLER, C., Weber, L., & Woltzenlogel Paleo, B. (23 February 2017). Computer-Assisted Analysis of the Anderson-Hájek Controversy. Logica Universalis, 11 (1), 139-151. doi:10.1007/s11787-017-0160-9
Peer reviewed

BENZMÜLLER, C., & Woltzenlogel Paleo, B. (February 2017). Experiments in Computational Metaphysics: Gödel's Proof of God's Existence. Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, 9, 43-57.
Peer reviewed

BENZMÜLLER, C. (January 2017). Cut-Elimination for Quantified Conditional Logic. Journal of Philosophical Logic, 46 (3), 333–353. doi:10.1007/s10992-016-9403-0
Peer Reviewed verified by ORBi

Fuenmayor, D., BENZMÜLLER, C., STEEN, A., & Wsinieswki, M. (2017). The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument. In The 2nd World Congress on Logic and Religion -- Book of Abstracts (pp. 18). Warsaw, Poland: Instytut Filozofii Uniwersytetu Warszawskiego.
Peer reviewed

Wisniewski, M., STEEN, A., & BENZMÜLLER, C. (2016). TPTP and Beyond: Representation of Quantified Non-Classical Logics. In C. BENZMÜLLER & J. Otten (Eds.), ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (pp. 51-65). CEUR-WS.org.
Peer reviewed

STEEN, A., Wisniewski, M., & BENZMÜLLER, C. (2016). Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. In C. BENZMÜLLER, G. Sutcliffe, ... R. Rojas (Eds.), GCAI 2016, 2nd Global Conference on Artificial Intelligence (pp. 1-10). Berlin,, Germany: EasyChair. doi:10.29007/4dsr
Peer reviewed

STEEN, A., Wisniewski, M., & BENZMÜLLER, C. (2016). Agent-Based HOL Reasoning. In G. Greuel, T. Koch, P. Paule, ... A. Sommese (Eds.), Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (pp. 75-81). Berlin, Germany, Unknown/unspecified: Springer. doi:10.1007/978-3-319-42432-3_10
Peer reviewed

Wisniewski, M., STEEN, A., Kern, K., & BENZMÜLLER, C. (2016). Effective Normalization Techniques for HOL. In N. Olivetti & A. Tiwari (Eds.), Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (pp. 362-370). Springer. doi:10.1007/978-3-319-40229-1_25
Peer reviewed

STEEN, A., Wisniewski, M., & BENZMÜLLER, C. (2016). Leo-III.

Wisniewski, M., STEEN, A., & BENZMÜLLER, C. (2016). Einsatz von Theorembeweisern in der Lehre. In A. Schwill & U. Lucke (Eds.), Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (pp. 81-92). Potsdam, Germany: Universitätsverlag Potsdam.
Peer reviewed

STEEN, A., & BENZMÜLLER, C. (2016). Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. Logic and Logical Philosophy, 25 (4), 535-554. doi:10.12775/LLP.2016.021
Peer Reviewed verified by ORBi

STEEN, A., & BENZMÜLLER, C. (2015). There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners. In M. Davis, A. Fehnker, A. McIver, ... A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (pp. 329-339). Suva, Fiji, Unknown/unspecified: Springer. doi:10.1007/978-3-662-48899-7_23
Peer reviewed

Wisniewski, M., STEEN, A., & BENZMÜLLER, C. (2015). LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. In M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, ... V. Sorge (Eds.), Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (pp. 325--330). Springer. doi:10.1007/978-3-319-20615-8_22
Peer reviewed

BENZMÜLLER, C., Wisniewski, M., & STEEN, A. (2015). Computational Metaphysics. https://orbilu.uni.lu/handle/10993/40838

Wisniewski, M., STEEN, A., & BENZMÜLLER, C. (2014). The Leo-III Project. In A. Bolotov & M. Kerber (Eds.), Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 (pp. 38).
Peer reviewed

Contact ORBilu