Mateja Jamnik

Proceedings of the Human-Like Machine Intelligence., 2022

2021

Efficient Decompositional Rule Extraction for Deep Neural Networks.

[BibT_eX]

[DOI]

Mateo Espinosa Zarlenga

Zohreh Shams

CoRR, 2021

Do Concept Bottleneck Models Learn as Intended?

[BibT_eX]

[DOI]

CoRR, 2021

Failing Conceptually: Concept-Based Explanations of Dataset Shift.

[BibT_eX]

[DOI]

CoRR, 2021

Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches.

[BibT_eX]

[DOI]

CoRR, 2021

A Graphical User Interface Framework for Formal Verification.

[BibT_eX]

[DOI]

Edward W. Ayers

William T. Gowers

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Considerations in Representation Selection for Problem Solving: A Review.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Observing Strategies of Drawing Data Representations.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Cognitive Properties of Representations: A Framework.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Structural Inductive Biases in Emergent Communication.

[BibT_eX]

[DOI]

Proceedings of the 43th Annual Meeting of the Cognitive Science Society, 2021

2020

MEME: Generating RNN Model Explanations via Model Extraction.

[BibT_eX]

[DOI]

CoRR, 2020

Improving Interpretability in Medical Imaging Diagnosis using Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2020

Using ontology embeddings for structural inductive bias in gene expression data analysis.

[BibT_eX]

[DOI]

CoRR, 2020

Pairwise Relations Discriminator for Unsupervised Raven's Progressive Matrices.

[BibT_eX]

[DOI]

Nicholas Quek Wei Kiat

CoRR, 2020

Incorporating network based protein complex discovery into automated model construction.

[BibT_eX]

[DOI]

CoRR, 2020

Learned Low Precision Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Generalisable Relational Reasoning With Comparators in Low-Dimensional Manifolds.

[BibT_eX]

[DOI]

CoRR, 2020

Probabilistic Dual Network Architecture Search on Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Exploring Structural Inductive Biases in Emergent Communication.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Graph Representation Learning in Emergent Communication.

[BibT_eX]

[DOI]

CoRR, 2020

Correspondence-based analogies for choosing problem representations.

[BibT_eX]

[DOI]

Advait Sarkar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

Cross-domain Correspondences for Explainable Recommendations.

[BibT_eX]

[DOI]

Advait Sarkar

Proceedings of the Workshop on Explainable Smart Systems for Algorithmic Transparency in Emerging Technologies co-located with 25th International Conference on Intelligent User Interfaces (IUI 2020), 2020

How to (Re)represent it?

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Abstract Diagrammatic Reasoning with Multiplex Graph Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Dissecting Representations.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2020

Now You See Me (CME): Concept-based Model Extraction.

[BibT_eX]

[DOI]

Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), 2020

Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Human inference beyond syllogisms: an approach using external graphical representations.

[BibT_eX]

[DOI]

Cogn. Process., 2019

Decoupling feature propagation from the design of graph auto-encoders.

[BibT_eX]

[DOI]

CoRR, 2019

Bayesian Optimisation with Gaussian Processes for Premise Selection.

[BibT_eX]

[DOI]

CoRR, 2019

Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat.

[BibT_eX]

[DOI]

CoRR, 2019

Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Inspection and Selection of Representations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

A Human-Oriented Term Rewriting System.

[BibT_eX]

[DOI]

Edward William Ayers

William T. Gowers

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Exploring and Conceptualising Attestation.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2019

Elucidating the Cognitive Anatomy of Representation Systems.

[BibT_eX]

[DOI]

Grecia Garcia Garcia

Daniel Raggi

Aaron Stockdill

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

iCon: A Diagrammatic Theorem Prover for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Investigating Diagrammatic Reasoning with Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

The Observational Advantages of Euler Diagrams with Existential Import.

[BibT_eX]

[DOI]

Atsushi Shimojima

Proceedings of the Diagrammatic Representation and Inference, 2018

Accessible Reasoning with Diagrams: From Cognition to Automation.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

Deductive reasoning about expressive statements using external graphical representations.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages.

[BibT_eX]

[DOI]

Atsushi Shimojima

J. Log. Lang. Inf., 2017

How Network-based and set-based visualizations aid consistency checking in ontologies.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Visual Information Communication and Interaction, 2017

Reasoning with Concept Diagrams About Antipatterns in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Reasoning with Concept Diagrams about Antipatterns.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Tactical Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Sven Linker

Jim Burton

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Visual discovery and model-driven explanation of time series patterns.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Effective Representation of Information: Generalizing Free Rides.

[BibT_eX]

[DOI]

Atsushi Shimojima

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Speedith: A Reasoner for Spider Diagrams.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2015

Interactive visual machine learning in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Interaction with Uncertainty in Visualisations.

[BibT_eX]

[DOI]

Proceedings of the 17th Eurographics Conference on Visualization, 2015

2014

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

A Framework for Heterogeneous Reasoning in Formal and Informal Domains.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Designing inference rules for spider diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

2012

Speedith: A Diagrammatic Reasoner for Spider Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

Diabelli: A Heterogeneous Proof System.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Heterogeneous Reasoning in Real Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Combined reasoning by automated cooperation.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Diagrammatic Reasoning in Separation Logic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2005

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.

[BibT_eX]

[DOI]

Louise A. Dennis

Martin Pollet

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

Psychological Validity of Schematic Proofs.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Can a Higher-Order and a First-Order Theorem Prover Cooperate?.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

On Differences between the Real and Physical Plane.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the Diagrammatic Representation and Inference, 2004

An Experimental Comparison of Diagrammatic and Algebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2004

2003

Automatic Learning of Proof Methods in Proof Planning.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

Learning Strategies for Mechanised Building of Decision Procedures.

[BibT_eX]

[DOI]

Predrag Janicic

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

2002

Automatic Learning in Proof Planning.

[BibT_eX]

Manfred Kerber

Martin Pollet

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Using Animation in Diagrammatic Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2002

Learn Omega-matic: System Description.

[BibT_eX]

[DOI]

Manfred Kerber

Martin Pollet

Proceedings of the Automated Deduction, 2002

On Automating Diagrammatic Proofs of Arithmetic Arguments.

[BibT_eX]

[DOI]

Ian Green

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

Experiments with an Agent-Oriented Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000

A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Resource Guided Concurrent Deduction.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

On Automating Diagrammatic Proofs of Arithmetic Arguments.

[BibT_eX]

[DOI]

Ian Green

J. Log. Lang. Inf., 1999

Agent based mathematical reasoning.

[BibT_eX]

[DOI]

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1997

Automation of Diagrammatic Reasoning.

[BibT_eX]

Ian Green

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Automation of Diagrammatic Proofs in Mathematics.

[BibT_eX]

[DOI]