The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Christoph Benzmüller Christoph Benzmueller ( http://dblp.L3S.de/Authors/Christoph_Benzmüller )

Publication years (Num. hits)
1997-2002 (15) 2003-2006 (21) 2007-2009 (23) 2010-2012 (18) 2013-2015 (24) 2016-2017 (25) 2018-2019 (19)
Publication types (Num. hits)
article(59) incollection(5) inproceedings(72) phdthesis(1) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords

Results
Found 146 publication records. Showing 145 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christoph Benzmüller Universal (meta-)logical reasoning: Recent successes. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller A Computational-Hermeneutic Approach for Conceptual Explicitation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller Extensional Higher-Order Paramodulation in Leo-III. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta Computer Science and Metaphysics: A Cross-Fertilization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent, Alexander Steen (eds.) Selected Student Contributions and Workshop Papers of LuxLogAI 2018 Search on Bibsonomy LuxLogAI (Student / Workshop Papers) The full citation details ... 2019 DBLP  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent I/O Logic in HOL - First Steps. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent First Experiments with a Flexible Infrastructure for Normative Reasoning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, Ali Farjami, Xavier Parent Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, Dana S. Scott Axiom Systems for Category Theory in Free Logic. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2018 DBLP  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre A Deontic Logic Reasoning Infrastructure. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman (eds.) Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Ali Farjami, Xavier Parent A Dyadic Deontic Logic in HOL. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller System Demonstration: The Higher-Order Prover Leo-III. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Jens Otten (eds.) 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. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Search on Bibsonomy Logica Universalis The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Universal Reasoning, Rational Argumentation and Human-Machine Interaction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta Mechanizing Principia Logico-Metaphysica in Functional Type Theory. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2017 DBLP  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Types, Tableaus and Gödel's God in Isabelle/HOL. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Benzmüller Cut-Elimination for Quantified Conditional Logic. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Christine L. Lisetti, Martin Theobald (eds.) GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Gleißner, Alexander Steen, Christoph Benzmüller Theorem Provers For Every Normal Modal Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Going Polymorphic - TH1 Reasoning for Leo-III. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller Capability Discovery for Automated Reasoning Systems. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Benzmüller, Alexander Steen, Max Wisniewski Leo-III Version 1.1 (System description). Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). Search on Bibsonomy SBMF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Dana S. Scott Axiomatizing Category Theory in Free Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas (eds.) GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Dana S. Scott Automating Free Logic in Isabelle/HOL. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Agent-Based HOL Reasoning. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Einsatz von Theorembeweisern in der Lehre. Search on Bibsonomy HDI The full citation details ... 2016 DBLP  BibTeX  RDF
1Max Wisniewski, Christoph Benzmüller Is It Reasonable to Employ Agents in Automated Theorem Proving?. Search on Bibsonomy ICAART (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha Translating Higher-Order Modal Logic from RuleML to TPTP. Search on Bibsonomy RuleML (Supplement) The full citation details ... 2016 DBLP  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller Effective Normalization Techniques for HOL. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller TPTP and Beyond: Representation of Quantified Non-Classical Logics. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Jens Otten (eds.) 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. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Christoph Benzmüller, Maximilian Claus, Nik Sultana Systematic Verification of the Modal Logic Cube in Isabelle/HOL. Search on Bibsonomy PxTP@CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss The Higher-Order Prover Leo-II. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Interacting with Modal Logics in the Coq Proof Assistant. Search on Bibsonomy CSR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Higher-Order Modal Logics: Automation and Applications. Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Jens Otten (eds.) Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014 Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2015 DBLP  BibTeX  RDF
1Christoph Benzmüller Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson Proofs and Reconstructions. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo (eds.) Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. Search on Bibsonomy UITP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo On Logic Embeddings and Gödel's God. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller HOL Provers for First-order Modal Logics - Experiments. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2014 DBLP  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Dale Miller 0001 Automation of Higher-Order Logic. Search on Bibsonomy Computational Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmueller, Bruno Woltzenlogel Paleo Gödel's God in Isabelle/HOL. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmueller Automating Quantified Conditional Logics in HOL. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Adam Pease, Christoph Benzmüller Sigma: An integrated development environment for formal ontology. Search on Bibsonomy AI Commun. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Lawrence C. Paulson Quantified Multimodal Logics in Simple Type Theory. Search on Bibsonomy Logica Universalis The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmüller, Nik Sultana Update report: LEO-II version 1.5 Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmüller, Thomas Raths HOL Based First-Order Modal Logic Provers. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller A Top-down Approach to Combining Logics. Search on Bibsonomy ICAART (2) The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmüller, Nik Sultana LEO-II Version 1.5. Search on Bibsonomy PxTP@CADE The full citation details ... 2013 DBLP  BibTeX  RDF
1Christoph Benzmueller, Valerio Genovese Quantified Conditional Logics are Fragments of HOL Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Christoph Benzmueller, Thomas Raths FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Christoph Benzmüller, Adam Pease Higher-order aspects and context in SUMO. Search on Bibsonomy J. Web Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli Embedding and automating conditional logics in classical higher-order logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nik Sultana, Christoph Benzmüller Understanding LEO-II's proofs. Search on Bibsonomy IWIL@LPAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Christoph Benzmüller, Jens Otten, Thomas Raths Implementing Different Proof Calculi for First-order Modal Logics. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Christoph Benzmüller, Jens Otten, Thomas Raths Implementing and Evaluating Provers for First-order Modal Logics. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli Embedding and Automating Conditional Logics in Classical Higher-Order Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christoph Benzmüller Combining and automating classical and non-classical logics in classical higher-order logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. Search on Bibsonomy Resource-Adaptive Cognitive Processes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. Search on Bibsonomy Resource-Adaptive Cognitive Processes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Benzmueller Simple Type Theory as Framework for Combining Logics. Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Christoph Benzmüller Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Lawrence C. Paulson Multimodal and intuitionistic logics in simple type theory. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). Search on Bibsonomy Verification, Induction, Termination Analysis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller Combining Logics in Simple Type Theory. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Adam Pease Progress in Automating Higher-Order Ontology Reasoning. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christoph Benzmüller, Marvin R. G. Schiller Adaptive Assertion-Level Proofs. Search on Bibsonomy EMSQMS@IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christoph Benzmueller Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Serge Autexier, Christoph Benzmüller Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Chad E. Brown, Michael Kohlhase Cut-Simulation and Impredicativity Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Marvin R. G. Schiller, Christoph Benzmüller Granularity-Adaptive Proof Presentation Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier Lectures on Jacques Herbrand as a Logician Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Benzmüller A remark on higher order RUE-resolution with EXTRUE Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Benzmüller Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Benzmüller, Lawrence C. Paulson Quantified Multimodal Logics in Simple Type Theory Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Benzmüller, Volker Sorge Resource Adaptive Agents in Interactive Theorem Proving Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Marvin R. G. Schiller, Christoph Benzmüller Proof Granularity as an Empirical Problem? Search on Bibsonomy CSEDU (1) The full citation details ... 2009 DBLP  BibTeX  RDF
1Marvin R. G. Schiller, Christoph Benzmüller Granularity-Adaptive Proof Presentation. Search on Bibsonomy AIED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marvin R. G. Schiller, Christoph Benzmüller Presenting Proofs with Adapted Granularity. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Adaptive proof presentation, proof tutoring, machine learning, granularity, automated reasoning
1Christoph Benzmüller Automating Access Control Logics in Simple Type Theory with LEO-II. Search on Bibsonomy SEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss Progress in the Development of Automated Theorem Proving for Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 145 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license