Mateja Jamnik

Available identifiers

zbMath Open jamnik.matejaDBLP41/1392WikidataQ62036851 ScholiaQ62036851MaRDI QIDQ946571

List of research outcomes

Publication	Date of Publication	Type
Oruga: implementation and use of representational systems theory	2024-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q6157245	2023-06-20	Paper
A Human-Oriented Term Rewriting System	2023-03-24	Paper
Accessible Reasoning with Diagrams: From Cognition to Automation	2023-02-23	Paper
The Observational Advantages of Euler Diagrams with Existential Import	2023-02-23	Paper
Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery	2022-11-19	Paper
Inspection and selection of representations	2020-01-22	Paper
What makes an effective representation of information: a formal account of observational advantages	2017-08-15	Paper
Reasoning with concept diagrams about antipatterns in ontologies	2017-07-21	Paper
Speedith: a reasoner for spider diagrams	2016-07-05	Paper
On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}	2013-10-07	Paper
Learning Strategies for Mechanised Building of Decision Procedures	2013-04-19	Paper
Diabelli: A Heterogeneous Proof System	2012-09-05	Paper
Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers	2011-08-17	Paper
What is a proof?	2009-01-20	Paper
Combined reasoning by automated cooperation	2008-09-23	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Diagrammatic Representation and Inference	2005-12-27	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4809052	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737277	2004-08-11	Paper
Automatic Learning of Proof Methods in Proof Planning	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4797443	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4789490	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4548193	2002-08-21	Paper
Towards learning new methods in proof planning	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2753884	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4499162	2001-03-06	Paper
On automating diagrammatic proofs of arithmetic arguments	2000-07-31	Paper

Research outcomes over time

This page was built for person: Mateja Jamnik