The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Pollet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.973secs, Finished in 0.974secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002