EasyChair Publications
Search
Author Information
Author:Christoph Benzmüller

Publications

AuthorsTitleVolumePDF
Christoph Benzmüller and Marvin SchillerAdaptive Assertion-Level ProofsAaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (EPiC Series in Computing, Volume 6)
Christoph Benzmüller and Adam PeaseProgress in Automating Higher-Order Ontology ReasoningRenate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 9)
Christoph Benzmüller and Nik SultanaLEO-II Version 1.5Jasmin Christian Blanchette and Josef Urban (editors). PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving (EPiC Series in Computing, Volume 14)
Christoph Benzmüller, Jens Otten and Thomas RathsImplementing Different Proof Calculi for First-order Modal LogicsPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Nik Sultana and Christoph BenzmüllerUnderstanding LEO-II’s proofsKonstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors). IWIL 2012. The 9th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 22)
Christoph BenzmüllerHOL Provers for First-order Modal Logics --- ExperimentsChristoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (EPiC Series in Computing, Volume 33)
Alexander Steen, Max Wisniewski and Christoph BenzmüllerTutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOLChristoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Christoph Benzmüller and Jens Otten (editors)ARQNL 2014. Automated Reasoning in Quantified Non-Classical LogicsEPiC Series, Volume 33
Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors)GCAI 2016. 2nd Global Conference on Artificial IntelligenceEPiC Series, Volume 41

Keyphrases

CountKeyphrase
2automated theorem proving, higher order logic
1application in ontology reasoning, assertion level proofs, automated reasoning in non classical logics, automatic theorem provers, boolean extensionality and modalities, evaluation, experiments, first order modal logics, higher order automated theorem provers, higher order theorem proving, implementation of provers, machine learning, modal logic, proof objects, proof presentation, prover cooperation, resolution, simple type theory