Universität des Saarlandes
Fachbereich Informatik

Christoph Benzmueller, Cut-Elimination for Quantified Conditional Logic

Alexander Steen and Christoph Benzmueller, Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Christoph Benzmueller, Nik Sultana, Lawrence C. Paulson, and Frank Theiß, The Higher-Order Prover LEO-II

Christoph Benzmueller and Lawrence C. Paulson, Quantified Multimodal Logics in Simple Type Theory

Christoph Benzmueller, Dov Gabbay, Valerio Genovese, and Daniele Rispoli, Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Christoph Benzmueller, Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic

Christoph Benzmueller and Lawrence Paulson, Multimodal and intuitionistic logics in simple type theory

Christoph Benzmueller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17 (review)

Christoph Benzmueller, Verifying the Modal Logic Cube is an Easy Task

Serge Autexier and Christoph Benzmueller, Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers

Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Jacques Herbrand: life, logic, and automated deduction

Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Lectures on Jacques Herbrand as a Logician

Serge Autexier, Christoph Benzmueller, Dominik Dietrich, and Marc Wagner, Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega

Christoph Benzmueller, Volker Sorge, Mateja Jamnik, and Manfred Kerber, Combined reasoning by automated cooperation

Marvin Schiller, Dominik Dietrich, and Christoph Benzmueller, Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity

Christoph Benzmueller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, and Magdalena Wolska, Natural Language Dialog with a Tutor System for Mathematical Proofs

Christoph Benzmueller and Chad Brown, The curious inference of Boolos in MIZAR and OMEGA

Christoph Benzmueller, Cumulative Habilitation Script

Christoph Benzmueller, Armin Fiedler, Andreas Meier, Martin Pollet, and Jörg Siekmann, Omega

Christoph Benzmueller, Towards computer aided mathematics

Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Computer supported mathematics with Ωmega

Christoph Benzmueller, Chad E. Brown, and Michael Kohlhase, Higher-order semantics and extensionality

Serge Autexier, Christoph Benzmueller, Armin Fiedler, Helmut Horacek, and Bao Quoc Vo, Assertion-level Proof Representation with Under-Specification

Christoph Benzmueller, Andreas Meier, and Volker Sorge, Bridging Theorem Proving and Mathematical Knowledge Retrieval

Christoph Benzmueller and Corinna Hahn, The Calculemus Final Report

Malte Hübner, Serge Autexier, Christoph Benzmueller, and Andreas Meier, Interactive Theorem Proving with Tasks

Christoph Benzmueller and Corinna Hahn, The Calculemus Midterm Report (edited book)

Mateja Jamnik, Manfred Kerber, Martin Pollet, and Christoph Benzmueller, Automatic Learning of Proof Methods in Proof Planning

Christoph Benzmueller, Comparing Approaches To Resolution Based Higher-Order Theorem Proving

Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, and Volker Sorge, Agent based Mathematical Reasoning