The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mateja Jamnik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mateja Jamnik, Alan Bundy
    Psychological Validity of Schematic Proofs. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:321-341 [Conf]
  2. Mateja Jamnik, Manfred Kerber, Martin Pollet
    Learn Omega-matic: System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:150-155 [Conf]
  3. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
    Using Animation in Diagrammatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:46-60 [Conf]
  4. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
    An Experimental Comparison of Diagrammatic and Algebraic Logics. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:432-434 [Conf]
  5. Daniel Winterstein, Alan Bundy, Mateja Jamnik
    A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:286-299 [Conf]
  6. Daniel Winterstein, Alan Bundy, Mateja Jamnik
    On Differences between the Real and Physical Plane. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:29-31 [Conf]
  7. Mateja Jamnik, Manfred Kerber, Martin Pollet
    Automatic Learning in Proof Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:282-286 [Conf]
  8. Mateja Jamnik
    Automation of Diagrammatic Proofs in Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1541- [Conf]
  9. Mateja Jamnik, Alan Bundy, Ian Green
    Automation of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:528-533 [Conf]
  10. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Experiments with an Agent-Oriented Reasoning System. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:409-424 [Conf]
  11. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
    Can a Higher-Order and a First-Order Theorem Prover Cooperate?. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:415-431 [Conf]
  12. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Agent based mathematical reasoning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  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. Mateja Jamnik, Predrag Janicic
    Learning Strategies for Mechanised Building of Decision Procedures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  15. 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]
  16. Mateja Jamnik, Alan Bundy, Ian Green
    On Automating Diagrammatic Proofs of Arithmetic Arguments. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:297-321 [Journal]

  17. Diagrammatic Reasoning in Separation Logic. [Citation Graph (, )][DBLP]


  18. Heterogeneous Reasoning in Real Arithmetic. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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