The following pages link to Mateja Jamnik (Q946571):
Displaying 28 items.
- Combined reasoning by automated cooperation (Q946572) (← links)
- On automating diagrammatic proofs of arithmetic arguments (Q1306168) (← links)
- Inspection and selection of representations (Q2287916) (← links)
- Reasoning with concept diagrams about antipatterns in ontologies (Q2364685) (← links)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- (Q2751546) (← links)
- (Q2753884) (← links)
- (Q2852043) (← links)
- Diabelli: A Heterogeneous Proof System (Q2908526) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Automatic Learning of Proof Methods in Proof Planning (Q4465166) (← links)
- (Q4499162) (← links)
- (Q4548193) (← links)
- (Q4737277) (← links)
- (Q4789490) (← links)
- (Q4797443) (← links)
- (Q4809052) (← links)
- Learning Strategies for Mechanised Building of Decision Procedures (Q4916230) (← links)
- What is a proof? (Q5301851) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705938) (← links)
- Diagrammatic Representation and Inference (Q5714104) (← links)
- Diagrammatic Representation and Inference (Q5714109) (← links)
- Mechanizing Mathematical Reasoning (Q5717447) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- (Q6157245) (← links)
- Oruga: implementation and use of representational systems theory (Q6648183) (← links)
