Christoph Benzmüller
Orcid: 0000-0002-3392-3093Affiliations:
- University of Bamberg, Germany
- FU Berlin, Department of Mathematics and Computer Science, Germany (former)
- University of Luxembourg, Faculty of Science, Technology and Medicine, Luxembourg (former)
According to our database1,
Christoph Benzmüller
authored at least 181 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Arch. Formal Proofs, 2024
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024
2023
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.
J. Log. Comput., August, 2023
Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts.
Datenbank-Spektrum, March, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023
Proceedings of the Logic and Argumentation - 5th International Conference, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2022
i-com, 2022
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.
CoRR, 2022
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022
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), 2022
2021
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., 2021
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy.
CoRR, 2021
Arch. Formal Proofs, 2021
Arch. Formal Proofs, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the 18th International Conference on Natural Language Processing (ICON 2021), National Institute of Technology Silchar, Silchar, India, December 16, 2021
2020
Rev. Symb. Log., 2020
J. Autom. Reason., 2020
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis.
CoRR, 2020
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic.
CoRR, 2020
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.
Artif. Intell., 2020
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Dynamic Logic. New Trends and Applications, 2020
Proceedings of the Logic and Argumentation - Third International Conference, 2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument.
CoRR, 2019
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support.
CoRR, 2019
AI Mag., 2019
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019
Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), 2019
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
2018
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.
Arch. Formal Proofs, 2018
A Dyadic Deontic Logic in HOL.
Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments.
Proceedings of the Dynamics, 2018
Proceedings of the Sailing Routes in the World of Computation, 2018
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), 2018
2017
Logica Universalis, 2017
CoRR, 2017
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.
Arch. Formal Proofs, 2017
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract).
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017
2016
Einsatz von Theorembeweisern in der Lehre.
Proceedings of the Hochschuldidaktik der Informatik, 2016
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
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)., 2016
2015
Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
Proceedings of the Computer Science - Theory and Applications, 2015
2014
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
2013
CoRR, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
A Top-down Approach to Combining Logics.
Proceedings of the ICAART 2013, 2013
Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013
2012
CoRR, 2012
Ann. Math. Artif. Intell., 2012
Proceedings of the IWIL 2012: The 9th International Workshop on the Implementation of Logics, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
2011
Proceedings of the Resource-Adaptive Cognitive Processes, 2011
Proceedings of the Resource-Adaptive Cognitive Processes, 2011
Combining and automating classical and non-classical logics in classical higher-order logics.
Ann. Math. Artif. Intell., 2011
2010
J. Formaliz. Reason., 2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners).
Proceedings of the Verification, Induction, Termination Analysis, 2010
2009
Proceedings of the Logic from Russell to Church, 2009
CoRR, 2009
CoRR, 2009
Proceedings of the Emerging Challenges for Security, 2009
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proof Granularity as an Empirical Problem?
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009
Proceedings of the Automated Deduction, 2009
Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009
2008
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
Math. Comput. Sci., 2008
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
CoRR, 2006
Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Proceedings of the Proceedings, 2005
2004
Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004
Proceedings of the Logic for Programming, 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
2003
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003
Proceedings of the Mathematical Knowledge Management Symposium, 2003
Proceedings of the IJCAI-03, 2003
2002
Proceedings of the Logic for Programming, 2002
2001
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001
2000
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
1999
PhD thesis, 1999
Formal Aspects Comput., 1999
Proceedings of the Systems for Integrated Computation and Deduction, 1999
Proceedings of the Progress in Artificial Intelligence, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Automated Deduction, 1998
Proceedings of the Artificial Intelligence: Methodology, 1998
1997
Proceedings of the Automated Deduction, 1997