Christoph Benzmüller

Christoph Benzmueller

	2013
j21		Adam Pease, Christoph Benzmüller: Sigma: An integrated development environment for formal ontology. AI Commun. 26(1): 79-97 (2013)
j20		Christoph Benzmüller, Lawrence C. Paulson: Quantified Multimodal Logics in Simple Type Theory. Logica Universalis 7(1): 7-20 (2013)
i12		Christoph Benzmüller, Nik Sultana: Update report: LEO-II version 1.5. CoRR abs/1303.3761 (2013)
	2012
j19		Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and automating conditional logics in classical higher-order logic. Ann. Math. Artif. Intell. 66(1-4): 257-271 (2012)
j18		Christoph Benzmüller, Adam Pease: Higher-order aspects and context in SUMO. J. Web Sem. 12: 104-117 (2012)
c34		Christoph Benzmüller, Jens Otten, Thomas Raths: Implementing and Evaluating Provers for First-order Modal Logics. ECAI 2012: 163-168
i11		Christoph Benzmueller, Valerio Genovese: Quantified Conditional Logics are Fragments of HOL. CoRR abs/1204.5920 (2012)
i10		Christoph Benzmueller, Thomas Raths: FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends. CoRR abs/1207.6685 (2012)
	2011
j17		Christoph Benzmüller: Combining and automating classical and non-classical logics in classical higher-order logics. Ann. Math. Artif. Intell. 62(1-2): 103-128 (2011)
i9		Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic. CoRR abs/1106.3685 (2011)
	2010
j16		Christoph Benzmüller, Lawrence C. Paulson: Multimodal and intuitionistic logics in simple type theory. Logic Journal of the IGPL 18(6): 881-892 (2010)
c33		Christoph Benzmüller: Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). Verification, Induction, Termination Analysis 2010: 117-128
c32		Christoph Benzmüller: Combining Logics in Simple Type Theory. CLIMA 2010: 33-48
	2009
j15		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity. Logical Methods in Computer Science 5(1) (2009)
j14		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
c31		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. AIED 2009: 599-601
c30		Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss: Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE 2009: 116-130
c29		Marvin Schiller, Christoph Benzmüller: Proof Granularity as an Empirical Problem? CSEDU (1) 2009: 350-354
c28		Marvin Schiller, Christoph Benzmüller: Presenting Proofs with Adapted Granularity. KI 2009: 289-297
c27		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II. SEC 2009: 387-398
i8		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport). CoRR abs/0901.3574 (2009)
i7		Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving. CoRR abs/0901.3585 (2009)
i6		Christoph Benzmüller: A remark on higher order RUE-resolution with EXTRUE. CoRR abs/0901.3608 (2009)
i5		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009)
i4		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. CoRR abs/0903.0314 (2009)
i3		Christoph Benzmüller, Lawrence C. Paulson: Quantified Multimodal Logics in Simple Type Theory. CoRR abs/0905.2435 (2009)
i2		Christoph Benzmueller: Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study. CoRR abs/0905.4369 (2009)
	2008
j13		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
j12		Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner: Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Mathematics in Computer Science 2(2): 253-277 (2008)
c26		Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke: LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR 2008: 162-170
c25		Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
c24		Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
	2007
j11		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
j10		Marc Wagner, Serge Autexier, Christoph Benzmüller: PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. Electr. Notes Theor. Comput. Sci. 174(2): 87-107 (2007)
c23		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
	2006
j9		Christoph Benzmüller: Towards computer aided mathematics. J. Applied Logic 4(4): 359-365 (2006)
j8		Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
c22		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
c21		Mark Buckley, Christoph Benzmüller: An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147
c20		Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173
c19		Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
i1		Christoph Benzmüller, John Harrison, Carsten Schürmann: LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL). CoRR abs/cs/0601042 (2006)
	2005
c18		Christoph Benzmüller, Quoc Bao Vo: Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522
c17		Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
c16		Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska: Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems 2005: 1-14
c15		Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth: A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142
c14		Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
	2004
b1		Christoph Benzmüller: Equality and extensionality in automated higher-order theorem proving. Saarland University 2004
j7		Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo: Assertion-level Proof Representation with Under-Specification. Electr. Notes Theor. Comput. Sci. 93: 5-23 (2004)
j6		Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
j5		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004)
c13		Jörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
c12		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
c11		Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller: An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC 2004
	2003
j4		Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller: Automatic Learning of Proof Methods in Proof Planning. Logic Journal of the IGPL 11(6): 647-673 (2003)
c10		Quoc Bao Vo, Christoph Benzmüller, Serge Autexier: Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343-
	2002
c9		Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
c8		Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet: Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002: 367-387
	2001
c7		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
	1999
j3		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): 340-351 (1999)
j2		Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
j1		Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)
c6		Christoph Benzmüller: Extensional Higher-Order Paramodulation and RUE-Resolution. CADE 1999: 399-413
c5		Christoph Benzmüller, Volker Sorge: Critical Agents Supporting Interactive Theorem Proving. EPIA 1999: 208-221
	1998
c4		Christoph Benzmüller, Volker Sorge: A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114
c3		Christoph Benzmüller, Michael Kohlhase: Extensional Higher-Order Resolution. CADE 1998: 56-71
c2		Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
	1997
c1		Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 21:55:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page