Martin Pollet

	2006
18		Erica Melis, Martin Pollet, Jörg H. Siekmann: Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 45-58
17		Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
16		Martin Pollet, Volker Sorge: Connecting Logical Representations and Efficient Computations. Electr. Notes Theor. Comput. Sci. 151(1): 127-142 (2006)
15		Louise A. Dennis, Mateja Jamnik, Martin Pollet: On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Electr. Notes Theor. Comput. Sci. 151(1): 93-110 (2006)
	2005
14		Manfred Kerber, Martin Pollet: A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95
	2004
13		Erica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264
12		Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331
11		Andreas Meier, Erica Melis, Martin Pollet: Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004)
	2003
10		Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge: Certifying Solutions to Permutation Group Problems. CADE 2003: 258-273
9		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
8		Manfred Kerber, Martin Pollet: On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716
7		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
6		Mateja Jamnik, Manfred Kerber, Martin Pollet: Learn Omega-matic: System Description. CADE 2002: 150-155
5		Mateja Jamnik, Manfred Kerber, Martin Pollet: Automatic Learning in Proof Planning. ECAI 2002: 282-286
4		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
3		Andreas Meier, Martin Pollet, Volker Sorge: Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34(4): 287-306 (2002)
	2001
2		Andreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508
	1999
1		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)

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[1] [4] [7] [9] [17]
2	Vladimir Brezhnev	[7]
3	Lassaad Cheikhrouhou	[1] [7]
4	Arjeh M. Cohen	[10]
5	Louise A. Dennis	[15]
6	Armin Fiedler	[1] [4] [7] [17]
7	Andreas Franke	[7]
8	Stephan M. Hess	[1]
9	Helmut Horacek	[1] [7]
10	Mateja Jamnik	[5] [6] [9] [15]
11	Manfred Kerber	[5] [6] [8] [9] [12] [14]
12	Michael Kohlhase	[1] [7]
13	Karsten Konrad	[1]
14	Andreas Meier	[1] [2] [3] [4] [7] [11] [13] [17]
15	Erica Melis	[1] [7] [11] [13] [18]
16	Markus Moschner	[7]
17	Scott H. Murray	[10]
18	Immanuel Normann	[7]
19	Jörg H. Siekmann	[1] [4] [7] [17] [18]
20	Volker Sorge	[1] [2] [3] [7] [10] [12] [16]
21	Carsten Ullrich	[7]
22	Claus-Peter Wirth	[7]
23	Jürgen Zimmer	[7]