dblp.uni-trier.dewww.uni-trier.de

Christoph Benzmüller

Christoph Benzmueller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)