A. Pease and C. Benzmüller, Knowledge Engineering Tools. Chapter in A. Pease, Ontology: A Practical Guide, 2010. Articulate Software Press, Angwin, CA, USA. [Download: bib,link]
C. Benzmüller, Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners). Festschrift in honor of Prof. Christoph Walther's 60's Birthday, 2010 (to appear).
C. Benzmüller and A. Pease Higher-Order Aspects and Context in SUMO. Journal of Web Semantics (Special issue on Reasoning with Context in the Semantic Web), to appear. [Download: bib,pdf]
C. Benzmüller, Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics. Annals of Mathematics and Artificial Intelligence, to appear. [Download: bib,pdf]
A. Pease and C. Benzmüller, Sigma: An Integrated Development Environment for Formal Ontology. AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases), to appear. [Download: bib,
pdf]
C. Benzmüller and L. C. Paulson, Quantified Multimodal Logics in Simple Type Theory. Logica Universalis, to appear. [Download: bib,pdf]
G. Sutcliffe and C. Benzmüller,
Automated Reasoning in Higher-Order Logic using the TPTP THF
Infrastructure. Journal of
Formalized Reasoning, (2010) 3(1):1-27. ISSN 1972-5787.
[Download: bib,pdf,ee]
C. Benzmüller and V. Genovese Quantified Conditional Logics are Fragments of HOL. The International Conference on Non-classical Modal and Predicate Logics (NCMPL), Guangzhou (Canton), China, 2011.[Download: bib,pdf]
C. Benzmüller, Combining Logics in Simple Type Theory. The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal, August 16-17, 2010.[Download: bib,pdf]
C. Benzmüller and A. Pease, Reasoning with Embedded Formulas and Modalities in SUMO. The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal, August 16-17, 2010. [Download: bib,pdf]
C. Benzmüller and A. Pease, Progress in Automating
Higher-Order Ontology Reasoning. IJCAR'10 Workshop on
Practical Aspects of Automated Reasoning (PAAR-2008), Edinburgh,
UK, 2010. [Download: bib,pdf]
C. Benzmüller, Simple Type Theory as Framework
for Combining Logics. World Congress and School on
Universal Logic III (UNILOG'2010). UNILOG'2010 contest paper, Lisbon, Portugal, April
18-25, 2010. http://arxiv.org/abs/1004.5500 [Download: bib,pdf]
C. Benzmüller, L. Paulson, F. Theiss, A.
Fietzke: Progress Report on LEO-II – An Automatic
Theorem Prover for Higher-Order Logic. TPHOLs 2007
Emerging Trends Proceedings, pp. 33-48, Internal Report 364/07,
Department of Computer Science, University of
Kaiserslautern, Germany, 2007. [Download: bib,pdf]
C. Benzmüller, L. Paulson, F. Theiss, A.
Fietzke: The LEO-II Project. In
Proceedings of the 14th Workshop on Automated Reasoning: Bridging
the Gap between Theory and Practice, Imperial College, London,
England, 2007. [Download: bib,
pdf]
F. Theiss, C. Benzmüller, Term Indexing for the
LEO-II Prover. IWIL-6 workshop at LPAR 2006: The 6th
International Workshop on the Implementation of Logics, Pnom Penh,
Cambodia, 2006. [Download: bib,pdf]
Technical Reports on LEO-II
C. Benzmüller, A Note on LEO-II and the
Basic Fragment of Simple Type Theory. AAR Newsletter
No. 84, July 2009. [Download: bib,
link]
C. Benzmüller, LEO-II im
Ontologieschliessen – Antrag auf an Forschungsvorhaben an
die DFG. 2009. [Download: bib]
C.
Benzmüller Automating
Quantified Multimodal Logic in Simple Type Theory – A Case
Study. Seki
Working-Paper SWP-2009-02 (ISSN 1860-5931), Saarland University,
2009. (ii + 28 pages) [Download:
bib, pdf]
C.
Benzmüller, Automating
Access Control Logic in Simple Type Theory via LEO-II
(Techreport). Seki
Report SR-2008-01 (ISSN 1437-4447), Saarland University, 2008.
(20 pages) [Download:
bib, pdf]