Martin Pollet

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

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)
Martin Pollet, Volker Sorge
Connecting Logical Representations and Efficient Computations. Calculemus (2005)
Manfred Kerber, Martin Pollet
A Tough Nut for Mathematical Knowledge Management. MKM (2005)
Louise A. Dennis, Mateja Jamnik, Martin Pollet
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus (2005)
Erica Melis, Andreas Meier, Martin Pollet
Adaptive Access to a Proof Planner. MKM (2004)
Andreas Meier, Erica Melis, Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electron. Notes Theor. Comput. Sci. 103 (2004)
Martin Pollet, Volker Sorge, Manfred Kerber
Intuitive and Formal Representations: The Case of Matrices. MKM (2004)
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
Certifying Solutions to Permutation Group Problems. CADE (2003)
Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
Automatic Learning of Proof Methods in Proof Planning. Log. J. IGPL 11 (6) (2003)
Mateja Jamnik, Manfred Kerber, Martin Pollet
Learn Omega-matic: System Description. CADE (2002)
Manfred Kerber, Martin Pollet
On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence (2002)
Andreas Meier, Martin Pollet, Volker Sorge
Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34 (4) (2002)
Mateja Jamnik, Manfred Kerber, Martin Pollet
Automatic Learning in Proof Planning. ECAI (2002)
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR (2002)
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)
Andreas Meier, Martin Pollet, Volker Sorge
Classifying Isomorphic Residue Classes. EUROCAST (2001)
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
nterface. Formal Aspects Comput. 11 (3) (1999)