Mateja Jamnik

From MaRDI portal
Person:946571

Available identifiers

zbMath Open jamnik.matejaWikidataQ62036851 ScholiaQ62036851MaRDI QIDQ946571

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61572452023-06-20Paper
Accessible Reasoning with Diagrams: From Cognition to Automation2023-02-23Paper
The Observational Advantages of Euler Diagrams with Existential Import2023-02-23Paper
Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery2022-11-19Paper
Inspection and selection of representations2020-01-22Paper
What makes an effective representation of information: a formal account of observational advantages2017-08-15Paper
Reasoning with concept diagrams about antipatterns in ontologies2017-07-21Paper
Speedith: a reasoner for spider diagrams2016-07-05Paper
https://portal.mardi4nfdi.de/entity/Q28520432013-10-07Paper
Learning Strategies for Mechanised Building of Decision Procedures2013-04-19Paper
Diabelli: A Heterogeneous Proof System2012-09-05Paper
Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers2011-08-17Paper
What is a proof?2009-01-20Paper
Combined reasoning by automated cooperation2008-09-23Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Diagrammatic Representation and Inference2005-12-27Paper
Diagrammatic Representation and Inference2005-12-27Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q48090522004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47372772004-08-11Paper
Automatic Learning of Proof Methods in Proof Planning2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q47974432003-03-13Paper
https://portal.mardi4nfdi.de/entity/Q47894902003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45481932002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q27515462002-06-13Paper
https://portal.mardi4nfdi.de/entity/Q27538842001-12-09Paper
https://portal.mardi4nfdi.de/entity/Q44991622001-03-06Paper
On automating diagrammatic proofs of arithmetic arguments2000-07-31Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Mateja Jamnik