default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristoph Benzmüller
Christoph Benzmueller
Person information
- affiliation: University of Bamberg, Germany
- affiliation (former): FU Berlin, Department of Mathematics and Computer Science, Germany
- affiliation (former): University of Luxembourg, Faculty of Science, Technology and Medicine, Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Xavier Parent, Christoph Benzmüller:
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Arch. Formal Proofs 2024 (2024)- [j45]Christoph Benzmüller
, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Who finds the short proof? Log. J. IGPL 32(3): 442-464 (2024) - [j44]Alexander Steen, Christoph Benzmüller:
Non-Classical Reasoning for Contemporary AI Applications. Künstliche Intell. 38(1): 3-5 (2024) - [j43]Alexander Steen, Christoph Benzmüller:
Challenges for Non-Classical Reasoning in Contemporary AI Applications. Künstliche Intell. 38(1): 7-16 (2024) - [j42]Alexander Steen, Christoph Benzmüller:
What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre. Künstliche Intell. 38(1): 17-23 (2024) - [c100]Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf:
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. EACL (Demonstrations) 2024: 44-51 - [p6]Ulrich Furbach, Christoph Benzmüller:
Schließen aus Wissen. Künstliche Intelligenz für Lehrkräfte 2024: 39-50 - [p5]Christoph Benzmüller:
Logikbasierte Wissensverarbeitung. Künstliche Intelligenz für Lehrkräfte 2024: 139-162 - [p4]Lukas Höper, Carsten Schulte, Christoph Benzmüller:
Verantwortung. Künstliche Intelligenz für Lehrkräfte 2024: 219-236 - [e16]Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14739, Springer 2024, ISBN 978-3-031-63497-0 [contents] - [e15]Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14740, Springer 2024, ISBN 978-3-031-63500-7 [contents] - [i47]Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf:
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. CoRR abs/2401.15717 (2024) - 2023
- [j41]Veronika Solopova, Oana-Iuliana Popescu, Christoph Benzmüller, Tim Landgraf:
Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts. Datenbank-Spektrum 23(1): 5-14 (2023) - [j40]Pietro Baroni, Christoph Benzmüller, Yì N. Wáng:
Preface: Special Issue on Logic and Argumentation. J. Log. Comput. 33(2): 189-191 (2023) - [j39]Christoph Benzmüller, Sebastian Reiche:
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. J. Log. Comput. 33(6): 1243-1269 (2023) - [c99]Colin Rothgang, Florian Rabe, Christoph Benzmüller:
Theorem Proving in Dependently-Typed Higher-Order Logic. CADE 2023: 438-455 - [c98]Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller:
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR 2023: 25-43 - [c97]Veronika Solopova, Eiad Rostom, Fritz Cremer, Adrian Gruszczynski, Sascha Witte, Chengming Zhang, Fernando Ramos López, Lea Plößl, Florian Hofmann, Ralf Romeike, Michaela Gläser-Zikuda, Christoph Benzmüller, Tim Landgraf:
PapagAI: Automated Feedback for Reflective Essays. KI 2023: 198-206 - [c96]Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott:
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CICM 2023: 69-83 - [e14]Christoph Benzmüller, Jens Otten:
Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022. CEUR Workshop Proceedings 3326, CEUR-WS.org 2023 [contents] - [i46]Veronika Solopova, Oana-Iuliana Popescu, Christoph Benzmüller, Tim Landgraf:
Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts. CoRR abs/2301.10604 (2023) - [i45]Colin Rothgang, Florian Rabe, Christoph Benzmüller:
Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint. CoRR abs/2305.15382 (2023) - [i44]Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott:
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CoRR abs/2306.09074 (2023) - [i43]Veronika Solopova, Adrian Gruszczynski, Eiad Rostom, Fritz Cremer, Sascha Witte, Chengming Zhang, Fernando Ramos López, Lea Plößl, Florian Hofmann, Ralf Romeike, Michaela Gläser-Zikuda, Christoph Benzmüller, Tim Landgraf:
PapagAI: Automated Feedback for Reflective Essays. CoRR abs/2307.07523 (2023) - [i42]Xavier Parent, Christoph Benzmüller:
Normative Conditional Reasoning as a Fragment of HOL. CoRR abs/2308.10686 (2023) - 2022
- [j38]Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - [j37]Henrik Mucha, Ana Correia de Barros, Jesse Josua Benjamin, Christoph Benzmüller, Andreas Bischof, Sandra Buchmüller, Alexandra de Carvalho, Anna-Katharina Dhungel, Claude Draude, Marc-Julian Fleck, Juliane Jarke, Stefanie Klein, Caroline Kortekaas, Albrecht Kurze, Diane Linke, Franzisca Maas, Nicola Marsden, Ricardo Melo, Susanne Michel, Claudia Müller-Birn, Monika Pröbster, Katja Antonia Rießenberger, Mirko Tobias Schäfer, Peter Sörries, Julia Stilke, Torben Volkmann, Anne Weibert, Wilhelm Weinhold, Sara Wolf, Isabel Zorn, Michael Heidt, Arne Berger:
Collaborative Speculations on Future Themes for Participatory Design in Germany. i-com 21(2): 283-298 (2022) - [c95]Xavier Parent, Christoph Benzmüller:
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ARQNL@IJCAR 2022: 92-108 - [c94]Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR 2022 - [i41]Christoph Benzmüller:
A Simplified Variant of Gödel's Ontological Argument. CoRR abs/2202.06264 (2022) - [i40]Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR abs/2202.09836 (2022) - [i39]Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov:
Mathematical Proof Between Generations. CoRR abs/2207.04779 (2022) - [i38]Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR abs/2208.06879 (2022) - [i37]Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller:
Solving QMLTP Problems by Translation to Higher-order Logic. CoRR abs/2212.09570 (2022) - 2021
- [j36]Christoph Benzmüller:
Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL. Arch. Formal Proofs 2021 (2021) - [j35]Christoph Benzmüller, Sebastian Reiche:
Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. Arch. Formal Proofs 2021 (2021) - [j34]Alexander Steen, Christoph Benzmüller:
Extensional Higher-Order Paramodulation in Leo-III. J. Autom. Reason. 65(6): 775-807 (2021) - [j33]Christoph Benzmüller, Xavier Parent, Francesco Ricca:
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). Theory Pract. Log. Program. 21(1): 1-3 (2021) - [c93]Veronika Solopova, Oana-Iuliana Popescu, Margarita Chikobava, Ralf Romeike, Tim Landgraf, Christoph Benzmüller:
A German Corpus of Reflective Sentences. ICON 2021: 593-600 - [c92]Christoph Benzmüller, David Fuenmayor:
Value-Oriented Legal Argumentation in Isabelle/HOL. ITP 2021: 7:1-7:20 - [e13]Pietro Baroni, Christoph Benzmüller, Yì N. Wáng:
Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings. Lecture Notes in Computer Science 13040, Springer 2021, ISBN 978-3-030-89390-3 [contents] - [d2]Alexander Steen, Christoph Benzmueller:
Leo-III - A Theorem Prover for Higher-Order Logic. Zenodo, 2021
- [i36]Christoph Benzmüller, Sebastian Reiche:
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. CoRR abs/2111.01654 (2021) - 2020
- [j32]Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre:
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287: 103348 (2020) - [j31]Christoph Benzmüller, Dana S. Scott:
Automating Free Logic in HOL, with an Experimental Application in Category Theory. J. Autom. Reason. 64(1): 53-72 (2020) - [j30]Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta:
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. Rev. Symb. Log. 13(1): 206-218 (2020) - [c91]Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda:
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. RAMiCS 2020: 302-317 - [c90]David Fuenmayor, Christoph Benzmüller:
Computer-Supported Analysis of Arguments in Climate Engineering. CLAR 2020: 104-115 - [c89]Sebastian Reiche, Christoph Benzmüller:
Public Announcement Logic in HOL. DaLí 2020: 222-238 - [c88]David Fuenmayor, Christoph Benzmüller:
Normative Reasoning with Expressive Logic Combinations. ECAI 2020: 2903-2904 - [c87]Alexander Steen, Christoph Benzmüller:
The Higher-Order Prover Leo-III. ECAI 2020: 2937-2938 - [c86]Irina Makarenko, Christoph Benzmüller:
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. KI 2020: 116-131 - [c85]Christoph Benzmüller, Bertram Lomfeld:
Reasonable Machines: A Research Manifesto. KI 2020: 251-258 - [c84]Christoph Benzmüller:
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument. KR 2020: 779-789 - [e12]Christoph Benzmüller, Bruce R. Miller:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings. Lecture Notes in Computer Science 12236, Springer 2020, ISBN 978-3-030-53517-9 [contents] - [d1]Alexander Steen, Christoph Benzmueller:
Leo-III 1.5 - A Theorem Prover for Higher-Order Logic. Zenodo, 2020 - [i35]Christoph Benzmüller:
A (Simplified) Supreme Being Necessarily Exists - Says the Computer! CoRR abs/2001.04701 (2020) - [i34]Alexander Steen, Christoph Benzmüller:
On Reductions of Hintikka Sets for Higher-Order Logic. CoRR abs/2004.07506 (2020) - [i33]Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld:
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic. CoRR abs/2006.12789 (2020) - [i32]David Fuenmayor, Christoph Benzmüller:
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. CoRR abs/2007.01019 (2020) - [i31]Christoph Benzmüller, Bertram Lomfeld:
Reasonable Machines: A Research Manifesto. CoRR abs/2008.06250 (2020) - [i30]Sebastian Reiche, Christoph Benzmüller:
Public Announcement Logic in HOL. CoRR abs/2010.00810 (2020)
2010 – 2019
- 2019
- [j29]Christoph Benzmüller, Xavier Parent, Francesco Ricca:
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40(2): 73-74 (2019) - [j28]Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent:
I/O Logic in HOL. FLAP 6(5): 715-732 (2019) - [j27]Christoph Benzmüller, Ali Farjami, Xavier Parent:
åqvist's Dyadic Deontic Logic E in HOL. FLAP 6(5): 733-754 (2019) - [j26]Christoph Benzmüller:
Universal (meta-)logical reasoning: Recent successes. Sci. Comput. Program. 172: 48-62 (2019) - [c83]David Fuenmayor, Christoph Benzmüller:
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. FroCos 2019: 112-128 - [c82]Valeria Zahoransky, Christoph Benzmüller:
Modelling the US Constitution to Establish Constitutional Dictatorship. MIREL@JURIX 2019 - [c81]Alexander Steen, Christoph Benzmüller:
The Higher-Order Prover Leo-III (Extended Abstract). KI 2019: 333-337 - [c80]David Fuenmayor, Christoph Benzmüller:
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. PRICAI (1) 2019: 418-432 - [e11]Christoph Benzmüller, Heiner Stuckenschmidt:
KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings. Lecture Notes in Computer Science 11793, Springer 2019, ISBN 978-3-030-30178-1 [contents] - [e10]Christoph Benzmüller, Xavier Parent, Alexander Steen:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing 10, EasyChair 2019 [contents] - [i29]David Fuenmayor, Christoph Benzmüller:
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. CoRR abs/1903.09818 (2019) - [i28]Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre:
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR abs/1903.10187 (2019) - [i27]Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta:
Computer Science and Metaphysics: A Cross-Fertilization. CoRR abs/1905.00787 (2019) - [i26]David Fuenmayor, Christoph Benzmüller:
A Computational-Hermeneutic Approach for Conceptual Explicitation. CoRR abs/1906.06582 (2019) - [i25]Alexander Steen, Christoph Benzmüller:
Extensional Higher-Order Paramodulation in Leo-III. CoRR abs/1907.11501 (2019) - [i24]Christoph Benzmüller, David Fuenmayor:
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument. CoRR abs/1910.08955 (2019) - [i23]Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda:
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. CoRR abs/1910.12863 (2019) - 2018
- [j25]Christoph Benzmüller, Dana S. Scott:
Axiom Systems for Category Theory in Free Logic. Arch. Formal Proofs 2018 (2018) - [j24]David Fuenmayor, Christoph Benzmüller:
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. Arch. Formal Proofs 2018 (2018) - [c79]Alexander Steen, Christoph Benzmüller:
System Demonstration: The Higher-Order Prover Leo-III. ARQNL@IJCAR 2018: 79-85 - [c78]Alexander Steen, Christoph Benzmüller:
The Higher-Order Prover Leo-III. IJCAR 2018: 108-116 - [c77]Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre:
A Deontic Logic Reasoning Infrastructure. CiE 2018: 60-69 - [c76]David Fuenmayor, Christoph Benzmüller:
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. CLAR 2018: 187-207 - [c75]Christoph Benzmüller, Ali Farjami, Xavier Parent:
A Dyadic Deontic Logic in HOL. DEON 2018: 33-49 - [e9]Christoph Benzmüller, Jens Otten:
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. CEUR Workshop Proceedings 2095, CEUR-WS.org 2018 [contents] - [e8]Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0 [contents] - [i22]Alexander Steen, Christoph Benzmüller:
The Higher-Order Prover Leo-III. CoRR abs/1802.02732 (2018) - [i21]Christoph Benzmüller, Ali Farjami, Xavier Parent:
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. CoRR abs/1802.08454 (2018) - [i20]Christoph Benzmüller, Xavier Parent:
I/O Logic in HOL - First Steps. CoRR abs/1803.09681 (2018) - [i19]Christoph Benzmüller, Xavier Parent:
First Experiments with a Flexible Infrastructure for Normative Reasoning. CoRR abs/1804.02929 (2018) - 2017
- [j23]David Fuenmayor, Christoph Benzmüller:
Types, Tableaus and Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2017 (2017) - [j22]David Fuenmayor, Christoph Benzmüller:
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Arch. Formal Proofs 2017 (2017) - [j21]Christoph Benzmüller:
Cut-Elimination for Quantified Conditional Logic. J. Philos. Log. 46(3): 333-353 (2017) - [j20]Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo:
Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Logica Universalis 11(1): 139-151 (2017) - [c74]David Fuenmayor, Christoph Benzmüller:
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI 2017: 114-127 - [c73]Christoph Benzmüller, Alexander Steen, Max Wisniewski:
Leo-III Version 1.1 (System description). LPAR (Short Presentations) 2017: 11-26 - [c72]Tobias Gleißner, Alexander Steen, Christoph Benzmüller:
Theorem Provers For Every Normal Modal Logic. LPAR 2017: 14-30 - [c71]Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Going Polymorphic - TH1 Reasoning for Leo-III. IWIL@LPAR 2017: 100-112 - [c70]Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller:
Capability Discovery for Automated Reasoning Systems. IWIL@LPAR 2017: 113-118 - [c69]Christoph Benzmüller:
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). SBMF 2017: 7-11 - [e7]Christoph Benzmüller, Christine L. Lisetti, Martin Theobald:
GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. EPiC Series in Computing 50, EasyChair 2017 [contents] - [i18]Christoph Benzmüller:
Universal Reasoning, Rational Argumentation and Human-Machine Interaction. CoRR abs/1703.09620 (2017) - [i17]Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta:
Mechanizing Principia Logico-Metaphysica in Functional Type Theory. CoRR abs/1711.06542 (2017) - 2016
- [c68]Max Wisniewski, Alexander Steen, Christoph Benzmüller:
TPTP and Beyond: Representation of Quantified Non-Classical Logics. ARQNL@IJCAR 2016: 51-65 - [c67]Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller:
Effective Normalization Techniques for HOL. IJCAR 2016: 362-370 - [c66]Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. GCAI 2016: 1-10 - [c65]Max Wisniewski, Christoph Benzmüller:
Is It Reasonable to Employ Agents in Automated Theorem Proving?. ICAART (1) 2016: 281-286 - [c64]Christoph Benzmüller, Dana S. Scott:
Automating Free Logic in Isabelle/HOL. ICMS 2016: 43-50 - [c63]Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Agent-Based HOL Reasoning. ICMS 2016: 75-81 - [c62]Christoph Benzmüller, Bruno Woltzenlogel Paleo:
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. IJCAI 2016: 936-942 - [c61]Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha:
Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) 2016 - [c60]Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Einsatz von Theorembeweisern in der Lehre. HDI 2016: 81-92 - [e6]Christoph Benzmüller, Jens Otten:
Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. CEUR Workshop Proceedings 1770, CEUR-WS.org 2016 [contents] - [e5]Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas:
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. EPiC Series in Computing 41, EasyChair 2016 [contents] - [i16]Christoph Benzmüller, Dana S. Scott:
Axiomatizing Category Theory in Free Logic. CoRR abs/1609.01493 (2016) - 2015
- [j19]Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss:
The Higher-Order Prover Leo-II. J. Autom. Reason. 55(4): 389-404 (2015) - [c59]Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Interacting with Modal Logics in the Coq Proof Assistant. CSR 2015: 398-411 - [c58]