Martin Pollet

17 papers A 4B 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2006 — ch.
Omega.
The Seventeen Provers of the World
Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
2006 — conf
Reductio ad Absurdum: Planning Proofs by Contradiction.
Reasoning, Action and Interaction in AI Theories and Systems
Erica Melis, Martin Pollet, Jörg H. Siekmann
2005 — conf
A Tough Nut for Mathematical Knowledge Management.
MKM
Manfred Kerber, Martin Pollet
2005 — conf
Connecting Logical Representations and Efficient Computations.
Calculemus
Martin Pollet, Volker Sorge
2005 — conf
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.
Calculemus
Louise A. Dennis, Mateja Jamnik, Martin Pollet
2004 — conf
Adaptive Access to a Proof Planner.
MKM
Erica Melis, Andreas Meier, Martin Pollet
2004 — conf
Intuitive and Formal Representations: The Case of Matrices.
MKM
Martin Pollet, Volker Sorge, Manfred Kerber
2003 — conf
Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
UITP@TPHOLs
Andreas Meier, Erica Melis, Martin Pollet
2003 J jnl
Automatic Learning of Proof Methods in Proof Planning.
Log. J. IGPL
Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
2003 A conf
Certifying Solutions to Permutation Group Problems.
CADE
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge
2002 A conf
Automatic Learning in Proof Planning.
ECAI
Mateja Jamnik, Manfred Kerber, Martin Pollet
2002 J jnl
Comparing Approaches to the Exploration of the Domain of Residue Classes.
J. Symb. Comput.
Andreas Meier, Martin Pollet, Volker Sorge
2002 A conf
Learn Omega-matic: System Description.
CADE
Mateja Jamnik, Manfred Kerber, Martin Pollet
2002 — conf
On the Design of Mathematical Concepts.
Australian Joint Conference on Artificial Intelligence
Manfred Kerber, Martin Pollet
2002 A conf
Proof Development with OMEGA.
CADE
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
2002 B conf
Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
LPAR
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
2001 — conf
Classifying Isomorphic Residue Classes.
EUROCAST
Andreas Meier, Martin Pollet, Volker Sorge