Search the dblp DataBase
Mateja Jamnik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Mateja Jamnik, Alan Bundy
Psychological Validity of Schematic Proofs. [Citation Graph (0, 0)][DBLP]
Mechanizing Mathematical Reasoning, 2005, pp:321-341 [Conf] - Mateja Jamnik, Manfred Kerber, Martin Pollet
Learn Omega-matic: System Description. [Citation Graph (0, 0)][DBLP]
CADE, 2002, pp:150-155 [Conf] - 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] - 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] - 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] - 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] - Mateja Jamnik, Manfred Kerber, Martin Pollet
Automatic Learning in Proof Planning. [Citation Graph (0, 0)][DBLP]
ECAI, 2002, pp:282-286 [Conf] - Mateja Jamnik
Automation of Diagrammatic Proofs in Mathematics. [Citation Graph (0, 0)][DBLP]
IJCAI, 1997, pp:1541- [Conf] - Mateja Jamnik, Alan Bundy, Ian Green
Automation of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
IJCAI (1), 1997, pp:528-533 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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]
Diagrammatic Reasoning in Separation Logic. [Citation Graph (, )][DBLP]
Heterogeneous Reasoning in Real Arithmetic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002