Christoph Benzmüller

Christoph Benzmueller

2009
44	EE	Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) CoRR abs/0901.3574: (2009)
43	EE	Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving CoRR abs/0901.3585: (2009)
42	EE	Christoph Benzmüller: A remark on higher order RUE-resolution with EXTRUE CoRR abs/0901.3608: (2009)
41	EE	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity CoRR abs/0902.0043: (2009)
40	EE	Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
39	EE	Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation CoRR abs/0903.0314: (2009)
38	EE	Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
2008
37	EE	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	EE	Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
35	EE	Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
34	EE	Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
2007
33	EE	Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
32	EE	Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
31	EE	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	EE	Mark Buckley, Christoph Benzmüller: An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147
29	EE	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
28	EE	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	EE	Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
26	EE	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	EE	Christoph Benzmüller: Towards computer aided mathematics. J. Applied Logic 4(4): 359-365 (2006)
24	EE	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	EE	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	EE	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	EE	Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
19	EE	Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
2004
18	EE	Jörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
17	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
1999
9	EE	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	EE	Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
6	EE	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	EE	Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)
1998
4	EE	Christoph Benzmüller, Volker Sorge: A Blackboard Architecture for Guiding Interactive Proofs. AIMSA 1998: 102-114
3	EE	Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
2	EE	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] [38] [40]
2	Matthew Bishop	[5]
3	Vladimir Brezhnev	[12]
4	Chad E. Brown	[19] [29] [41]
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] [41]
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]
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] [39]
33	Carsten Schürmann	[26] [35]
34	Jörg H. Siekmann	[1] [6] [11] [12] [18] [22] [24] [27] [40]
35	Volker Sorge	[1] [4] [5] [6] [7] [8] [10] [12] [17] [20] [34] [43]
36	Geoff Sutcliffe	[35] [36]
37	Frank Theiss	[37]
38	Carsten Ullrich	[12]
39	Quoc Bao Vo	[14] [15] [23]
40	Marc Wagner	[31]
41	Claus-Peter Wirth	[12] [21] [40]
42	Magdalena Wolska	[22] [28]
43	Jürgen Zimmer	[12]

Colors in the list of coauthors