Christoph Benzmüller

Christoph Benzmueller

	2009
51		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. AIED 2009: 599-601
50		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
49		Marvin Schiller, Christoph Benzmüller: Proof Granularity as an Empirical Problem? CSEDU (1) 2009: 350-354
48		Marvin Schiller, Christoph Benzmüller: Presenting Proofs with Adapted Granularity. KI 2009: 289-297
47		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II. SEC 2009: 387-398
46		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) CoRR abs/0901.3574: (2009)
45		Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving CoRR abs/0901.3585: (2009)
44		Christoph Benzmüller: A remark on higher order RUE-resolution with EXTRUE CoRR abs/0901.3608: (2009)
43		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
42		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation CoRR abs/0903.0314: (2009)
41		Christoph Benzmüller, Lawrence C. Paulson: Quantified Multimodal Logics in Simple Type Theory CoRR abs/0905.2435: (2009)
40		Christoph Benzmueller: Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study CoRR abs/0905.4369: (2009)
39		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
38		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
	2008
37		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
36		Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
35		Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
34		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
	2007
33		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
32		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
31		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)
	2006
30		Mark Buckley, Christoph Benzmüller: An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147
29		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
28		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
27		Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
26		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)
25		Christoph Benzmüller: Towards computer aided mathematics. J. Applied Logic 4(4): 359-365 (2006)
24		Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
	2005
23		Christoph Benzmüller, Quoc Bao Vo: Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522
22		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
21		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
20		Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
19		Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
	2004
18		Jörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
17		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
16		Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
15		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)
	2003
14		Quoc Bao Vo, Christoph Benzmüller, Serge Autexier: Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343-
13		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)
	2002
12		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
11		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
10		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
	1999
9		Christoph Benzmüller: Extensional Higher-Order Paramodulation and RUE-Resolution. CADE 1999: 399-413
8		Christoph Benzmüller, Volker Sorge: Critical Agents Supporting Interactive Theorem Proving. EPIA 1999: 208-221
7		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
6		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)
5		Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)
	1998
4		Christoph Benzmüller, Volker Sorge: A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114
3		Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
2		Christoph Benzmüller, Michael Kohlhase: Extensional Higher-Order Resolution. CADE 1998: 56-71
	1997
1		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

1	Serge Autexier	[14] [15] [16] [21] [24] [31] [32] [33] [39] [43]
2	Matthew Bishop	[5]
3	Vladimir Brezhnev	[12]
4	Chad E. Brown	[19] [29] [38] [50]
5	Mark Buckley	[30]
6	Lassaad Cheikhrouhou	[1] [6] [12]
7	Dominik Dietrich	[21] [33]
8	Detlef Fehrer	[1]
9	Armin Fiedler	[1] [6] [11] [12] [15] [27]
10	Arnaud Fietzke	[37]
11	Andreas Franke	[12]
12	John Harrison	[26]
13	Stephan M. Hess	[6]
14	Helmut Horacek	[6] [12] [15] [22] [28]
15	Xiaorong Huang	[1]
16	Malte Hübner	[16]
17	Mateja Jamnik	[7] [10] [13] [17] [34]
18	Manfred Kerber	[1] [7] [10] [13] [17] [34]
19	Michael Kohlhase	[1] [2] [3] [6] [12] [29] [38]
20	Karsten Konrad	[1] [6]
21	Ivana Kruijff-Korbayová	[22] [28]
22	Henri Lesourd	[28]
23	Andreas Meier	[1] [6] [11] [12] [16] [20] [21] [27]
24	Erica Melis	[1] [6] [12]
25	Markus Moschner	[12]
26	Immanuel Normann	[12]
27	Lawrence C. Paulson	[37] [41]
28	Manfred Pinkal	[22]
29	Martin Pollet	[6] [11] [12] [13] [27]
30	Florian Rabe	[35] [36]
31	Wolf Schaarschmidt	[1]
32	Marvin Schiller	[28] [33] [42] [48] [49] [51]
33	Carsten Schürmann	[26] [35]
34	Jörg H. Siekmann	[1] [6] [11] [12] [18] [22] [24] [27] [43]
35	Volker Sorge	[1] [4] [5] [6] [7] [8] [10] [12] [17] [20] [34] [45]
36	Geoff Sutcliffe	[35] [36] [50]
37	Frank Theiss	[37] [50]
38	Carsten Ullrich	[12]
39	Quoc Bao Vo	[14] [15] [23]
40	Marc Wagner	[31]
41	Claus-Peter Wirth	[12] [21] [43]
42	Magdalena Wolska	[22] [28]
43	Jürgen Zimmer	[12]