Matej Urbas

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Top Venues

J. Log. Lang. Inf.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Matej Urbas, Mateja Jamnik, Gem Stapleton
Speedith: A Reasoner for Spider Diagrams. J. Log. Lang. Inf. 24 (4) (2015)
Matej Urbas, Mateja Jamnik
A Framework for Heterogeneous Reasoning in Formal and Informal Domains. Diagrams (2014)
Gem Stapleton, Mateja Jamnik, Matej Urbas
Designing inference rules for spider diagrams. VL/HCC (2013)
Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower
Speedith: A Diagrammatic Reasoner for Spider Diagrams. Diagrams (2012)
Matej Urbas, Mateja Jamnik
Diabelli: A Heterogeneous Proof System. IJCAR (2012)
Matej Urbas, Mateja Jamnik
Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. ITP (2011)
Matej Urbas, Mateja Jamnik
Heterogeneous Reasoning in Real Arithmetic. Diagrams (2010)