Search filters

List of works by Mateja Jamnik

A Framework for Heterogeneous Reasoning in Formal and Informal Domains

scientific article published in 2014

A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility

scientific article published on 11 May 2024

Accessible Reasoning with Diagrams: From Cognition to Automation

scientific article published in 2018

Automatic Learning of Proof Methods in Proof Planning

scientific article published in November 2003

Combined reasoning by automated cooperation

scientific article published in September 2008

Designing inference rules for spider diagrams

scientific article published in September 2013

Diabelli: A Heterogeneous Proof System

scientific article published in 2012

Diagrammatic Reasoning in Separation Logic

Diagrammatic Representation and Inference

scientific article published in 2010

Experiments with an Agent-Oriented Reasoning System

scientific article published in 2001

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers

scientific article published in 2011

Human Uncertainty in Concept-Based AI Systems

scientific article published on 29 August 2023

Human inference beyond syllogisms: an approach using external graphical representations

scientific article published on 3 August 2018

Investigating Diagrammatic Reasoning with Deep Neural Networks

scientific article published in 2018

Learning Strategies for Mechanised Building of Decision Procedures

scientific article published in May 2003

LearnΩmatic: System Description

scientific article published in 2002

On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner

scientific article published in March 2006

Speedith: A Diagrammatic Reasoner for Spider Diagrams

scientific article published in 2012

Speedith: A Reasoner for Spider Diagrams

scientific article published on 28 October 2015

Teach and try: A simple interaction technique for exploratory data modelling by end users

scientific article (publication date: July 2014)

The Observational Advantages of Euler Diagrams with Existential Import

scientific article published in 2018

What is a proof?

scientific article published in October 2005

Workshop on Human-Interpretable AI

scientific article published on 25 August 2024