dblp.uni-trier.dewww.uni-trier.de

Mateja Jamnik Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
18EEM. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411
17EEChristoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
2006
16EELouise A. Dennis, Mateja Jamnik, Martin Pollet: On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Electr. Notes Theor. Comput. Sci. 151(1): 93-110 (2006)
2005
15EEMateja Jamnik, Alan Bundy: Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341
2004
14EEDaniel Winterstein, Alan Bundy, Mateja Jamnik: On Differences between the Real and Physical Plane. Diagrams 2004: 29-31
13EEDaniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434
12EEChristoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
2003
11EEMateja Jamnik, Predrag Janicic: Learning Strategies for Mechanised Building of Decision Procedures. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
10EEMateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller: Automatic Learning of Proof Methods in Proof Planning. Logic Journal of the IGPL 11(6): 647-673 (2003)
2002
9EEMateja Jamnik, Manfred Kerber, Martin Pollet: Learn Omega-matic: System Description. CADE 2002: 150-155
8EEDaniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60
7 Mateja Jamnik, Manfred Kerber, Martin Pollet: Automatic Learning in Proof Planning. ECAI 2002: 282-286
2001
6EEChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
2000
5EEDaniel Winterstein, Alan Bundy, Mateja Jamnik: A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams 2000: 286-299
1999
4EEChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
3 Mateja Jamnik, Alan Bundy, Ian Green: On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8(3): 297-321 (1999)
1997
2 Mateja Jamnik: Automation of Diagrammatic Proofs in Mathematics. IJCAI 1997: 1541
1 Mateja Jamnik, Alan Bundy, Ian Green: Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533

Coauthor Index

1Nick Benton (P. N. Benton) [18]
2Christoph Benzmüller (Christoph Benzmueller) [4] [6] [10] [12] [17]
3Josh Berdine [18]
4Alan Bundy [1] [3] [5] [8] [13] [14] [15]
5Louise A. Dennis [16]
6Ian Green [1] [3]
7Corin A. Gurr [8] [13]
8Predrag Janicic [11]
9Manfred Kerber [4] [6] [7] [9] [10] [12] [17]
10Martin Pollet [7] [9] [10] [16]
11M. Ridsdale [18]
12Volker Sorge [4] [6] [12] [17]
13Daniel Winterstein [5] [8] [13] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)