Christoph Ewald Benzmüller
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2021
2020
LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset); ; ; ; ; ; ;
in Data in Brief (2020), 33
The Higher-Order Prover Leo-III (Highlight paper);
in Proceedings of the 24th European Conference on Artificial Intelligence (2020, August)
2019
Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)in Data in Brief (2019), 24(103823), 1--5
Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapsein Kovac, Srecko; Swietorzecka, Kordula (Eds.) Formal Methods and Science in Philosophy III, Informal Proceedings (2019, April)
Åqvist's Dyadic Deontic Logic E in HOL; ;
in IfCoLog Journal of Logics and Their Applications (2019), 6(5), 733--755
Report on the Second International Joint Conference on Rules and Reasoning; ;
in AI Magazine (2019), 40(2), 73-74
Selected Student Contributions and Workshop Papers of LuxLogAI 2018; ;
Book published by EasyChair (2019)
Automating Free Logic in HOL, with an Experimental Application in Category Theory;
in Journal of Automated Reasoning (2019)
KI 2019: Advances in Artificial Intelligence -- 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings;
Book published by Springer, Cham, Cham (2019)
A Computational-Hermeneutic Approach for Conceptual Explicitation;
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)
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories;
in Nayak, A.; Sharma, A. (Eds.) PRICAI 2019: Trends in Artificial Intelligence (2019, August 23)
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 (2019)
Mechanizing Principia Logico-Metaphysica in Functional Type Theory; ;
in Review of Symbolic Logic (2019)
The Higher-Order Prover Leo-III (Extended Abstract);
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)
2018
A Dyadic Deontic Logic in HOL; ;
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)
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 (2018)
ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics;
in CEUR Workshop Proceedings (2018), 2095
First Experiments with a Flexible Infrastructure for Normative Reasoning;
E-print/Working paper (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 (2018)
Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings; ; ;
Book published by Springer (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 (2018)
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument;
in IfCoLog Journal of Logics and Their Applications (2018), 5(7), 1567-1603
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL;
in Archive of Formal Proofs (2018)
Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract);
in Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts (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 (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 (2018)
2017
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)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)
Universal Reasoning, Rational Argumentation and Human-Machine InteractionE-print/Working paper (2017)
Cut-Elimination for Quantified Conditional Logicin Journal of Philosophical Logic (2017), 46(3), 333353
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL; ; ;
Scientific Conference (2017, July 06)
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument;
in Archive of Formal Proofs (2017)
GCAI 2017: 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017; ;
Book published by EPiC Series in Computing, EasyChair (2017)
GCAI 2017. 3rd Global Conference on Artificial Intelligence; ;
Book published by EasyChair Proceedings (2017)
Leo-III Version 1.1 (System description); ;
in IWIL Workshop and LPAR Short Presentations (2017, June 04)
Computer-Assisted Analysis of the Anderson-Hájek Controversy; ;
in Logica Universalis (2017), 11(1), 139-151
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence;
in Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute (2017), 9
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 (2017, September)
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 (2017)
Theorem Provers for Every Normal Modal Logic; ;
in Eiter, Thomas; Sands, David (Eds.) LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2017, May 04)
Going Polymorphic - TH1 Reasoning for Leo-III; ;
in IWIL Workshop and LPAR Short Presentations (2017, June 04)
Capability Discovery for Automated Reasoning Systems; ; ;
in IWIL Workshop and LPAR Short Presentations (2017, June 04)
2016
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic;
in Logic and Logical Philosophy (2016), 25(4), 535-554
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL; ;
in Benzmüller, Christoph; Sutcliffe, Geoff; Rojas, Raul (Eds.) GCAI 2016, 2nd Global Conference on Artificial Intelligence (2016, September 29)
Agent-Based HOL Reasoning; ;
in Greuel, GM; Koch, T; Paule, P; Sommese, A (Eds.) Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (2016, July)
TPTP and Beyond: Representation of Quantified Non-Classical Logics; ;
in Benzmüller, Christoph; Otten, Jens (Eds.) ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (2016, December)
Einsatz von Theorembeweisern in der Lehre; ;
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)
Effective Normalization Techniques for HOL; ; ;
in Olivetti, Nicola; Tiwari, Ashish (Eds.) Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (2016, June)
2015
There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners;
in Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (Eds.) Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (2015, November)
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners; ;
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)
2014
The Leo-III Project; ;
in Bolotov, Alexander; Kerber, Manfred (Eds.) Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 (2014)
