Christoph Benzmüller

Christoph Benzmueller

	2012
60		Christoph Benzmueller, Valerio Genovese: Quantified Conditional Logics are Fragments of HOL CoRR abs/1204.5920: (2012)
	2011
59		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)
58		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
57		Christoph Benzmüller: Combining Logics in Simple Type Theory. CLIMA 2010: 33-48
56		Christoph Benzmüller: Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners). Verification, Induction, Termination Analysis 2010: 117-128
55		Christoph Benzmüller, Lawrence C. Paulson: Multimodal and intuitionistic logics in simple type theory. Logic Journal of the IGPL 18(6): 881-892 (2010)
	2009
54		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. AIED 2009: 599-601
53		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
52		Marvin Schiller, Christoph Benzmüller: Proof Granularity as an Empirical Problem? CSEDU (1) 2009: 350-354
51		Marvin Schiller, Christoph Benzmüller: Presenting Proofs with Adapted Granularity. KI 2009: 289-297
50		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II. SEC 2009: 387-398
49		Christoph Benzmüller: Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) CoRR abs/0901.3574: (2009)
48		Christoph Benzmüller, Volker Sorge: Resource Adaptive Agents in Interactive Theorem Proving CoRR abs/0901.3585: (2009)
47		Christoph Benzmüller: A remark on higher order RUE-resolution with EXTRUE CoRR abs/0901.3608: (2009)
46		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
45		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation CoRR abs/0903.0314: (2009)
44		Christoph Benzmüller, Lawrence C. Paulson: Quantified Multimodal Logics in Simple Type Theory CoRR abs/0905.2435: (2009)
43		Christoph Benzmueller: Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study CoRR abs/0905.4369: (2009)
42		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
41		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
	2008
40		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
39		Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
38		Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
37		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
36		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)
	2007
35		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
34		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
33		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
32		Mark Buckley, Christoph Benzmüller: An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147
31		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
30		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
29		Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
28		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)
27		Christoph Benzmüller: Towards computer aided mathematics. J. Applied Logic 4(4): 359-365 (2006)
26		Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
	2005
25		Christoph Benzmüller, Quoc Bao Vo: Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522
24		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
23		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
22		Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
21		Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
	2004
20		Jörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
19		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
18		Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
17		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)
16		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004)
15		Christoph Benzmüller: Equality and extensionality in automated higher-order theorem proving. Saarland University 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): 340-351 (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] [17] [18] [23] [26] [33] [34] [35] [36] [42] [46]
2	Matthew Bishop	[5]
3	Vladimir Brezhnev	[12]
4	Chad E. Brown	[16] [21] [31] [41] [53]
5	Mark Buckley	[32]
6	Lassaad Cheikhrouhou	[1] [6] [12]
7	Dominik Dietrich	[23] [35] [36]
8	Detlef Fehrer	[1]
9	Armin Fiedler	[1] [6] [11] [12] [17] [29]
10	Arnaud Fietzke	[40]
11	Andreas Franke	[12]
12	Dov M. Gabbay	[58]
13	Valerio Genovese	[58] [60]
14	John Harrison	[28]
15	Stephan M. Hess	[6]
16	Helmut Horacek	[6] [12] [17] [24] [30]
17	Xiaorong Huang	[1]
18	Malte Hübner	[18]
19	Mateja Jamnik	[7] [10] [13] [19] [37]
20	Manfred Kerber	[1] [7] [10] [13] [19] [37]
21	Michael Kohlhase	[1] [2] [3] [6] [12] [16] [31] [41]
22	Karsten Konrad	[1] [6]
23	Ivana Kruijff-Korbayová	[24] [30]
24	Henri Lesourd	[30]
25	Andreas Meier	[1] [6] [11] [12] [18] [22] [23] [29]
26	Erica Melis	[1] [6] [12]
27	Markus Moschner	[12]
28	Immanuel Normann	[12]
29	Lawrence C. Paulson	[40] [44] [55]
30	Manfred Pinkal	[24]
31	Martin Pollet	[6] [11] [12] [13] [29]
32	Florian Rabe	[38] [39]
33	Daniele Rispoli	[58]
34	Wolf Schaarschmidt	[1]
35	Marvin Schiller	[30] [35] [45] [51] [52] [54]
36	Carsten Schürmann	[28] [38]
37	Jörg H. Siekmann	[1] [6] [11] [12] [20] [24] [26] [29] [46]
38	Volker Sorge	[1] [4] [5] [6] [7] [8] [10] [12] [19] [22] [37] [48]
39	Geoff Sutcliffe	[38] [39] [53]
40	Frank Theiss	[40] [53]
41	Carsten Ullrich	[12]
42	Quoc Bao Vo	[14] [17] [25]
43	Marc Wagner	[33] [36]
44	Claus-Peter Wirth	[12] [23] [46]
45	Magdalena Wolska	[24] [30]
46	Jürgen Zimmer	[12]

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page