| Considerations in Representation Selection for Problem Solving: A Review | 0 | 0.34 | 2021 |
| A Graphical User Interface Framework for Formal Verification. | 0 | 0.34 | 2021 |
| Cognitive Properties of Representations: A Framework | 0 | 0.34 | 2021 |
| Observing Strategies of Drawing Data Representations | 0 | 0.34 | 2021 |
| Now You See Me (CME): Concept-based Model Extraction | 0 | 0.34 | 2020 |
| Cross-domain Correspondences for Explainable Recommendations. | 0 | 0.34 | 2020 |
| Correspondence-based analogies for choosing problem representations | 0 | 0.34 | 2020 |
| Bayesian Optimisation For Premise Selection In Automated Theorem Proving (Student Abstract) | 0 | 0.34 | 2020 |
| How To (Re)Represent It? | 0 | 0.34 | 2020 |
| Abstract Diagrammatic Reasoning with Multiplex Graph Networks. | 0 | 0.34 | 2020 |
| Abstract Diagrammatic Reasoning with Multiplex Graph Networks | 0 | 0.34 | 2020 |
| Inspection and Selection of Representations. | 0 | 0.34 | 2019 |
| Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat. | 0 | 0.34 | 2019 |
| A Human-Oriented Term Rewriting System | 0 | 0.34 | 2019 |
| Exploring and Conceptualising Attestation. | 1 | 0.36 | 2019 |
| Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. | 0 | 0.34 | 2019 |
| Human inference beyond syllogisms: an approach using external graphical representations. | 0 | 0.34 | 2019 |
| Elucidating the Cognitive Anatomy of Representation Systems. | 0 | 0.34 | 2019 |
| iCon: A Diagrammatic Theorem Prover for Ontologies. | 0 | 0.34 | 2018 |
| Deductive reasoning about expressive statements using external graphical representations | 0 | 0.34 | 2018 |
| Reasoning With Concept Diagrams About Antipatterns In Ontologies | 0 | 0.34 | 2017 |
| How Network-based and set-based visualizations aid consistency checking in ontologies | 1 | 0.35 | 2017 |
| What Makes an Effective Representation of Information: A Formal Account of Observational Advantages. | 2 | 0.36 | 2017 |
| Tactical Diagrammatic Reasoning | 0 | 0.34 | 2017 |
| Reasoning with Concept Diagrams about Antipatterns. | 0 | 0.34 | 2017 |
| Visual discovery and model-driven explanation of time series patterns. | 2 | 0.36 | 2016 |
| Interactive visual machine learning in spreadsheets | 5 | 0.51 | 2015 |
| Speedith: A Reasoner for Spider Diagrams | 0 | 0.34 | 2015 |
| Interaction with Uncertainty in Visualisations | 1 | 0.35 | 2015 |
| Teach and try: A simple interaction technique for exploratory data modelling by end users | 5 | 0.52 | 2014 |
| Designing inference rules for spider diagrams | 0 | 0.34 | 2013 |
| Speedith: a diagrammatic reasoner for spider diagrams | 10 | 0.72 | 2012 |
| Diabelli: a heterogeneous proof system | 5 | 0.50 | 2012 |
| Heterogeneous proofs: spider diagrams meet higher-order provers | 3 | 0.46 | 2011 |
| Heterogeneous reaoning in real arithmetics | 0 | 0.34 | 2010 |
| Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings | 51 | 7.72 | 2010 |
| Combined reasoning by automated cooperation | 16 | 0.83 | 2008 |
| On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner | 1 | 0.35 | 2006 |
| Psychological Validity of Schematic Proofs | 0 | 0.34 | 2005 |
| Can a Higher-Order and a First-Order Theorem Prover Cooperate? | 3 | 0.50 | 2004 |
| On Differences between the Real and Physical Plane | 2 | 0.38 | 2004 |
| Automatic Learning of Proof Methods in Proof Planning. | 9 | 0.64 | 2003 |
| Learning Strategies for Mechanised Building of Decision Procedures | 0 | 0.34 | 2003 |
| Learn Omega-matic: System Description | 0 | 0.34 | 2002 |
| Using Animation in Diagrammatic Theorem Proving | 9 | 1.05 | 2002 |
| Automatic Learning in Proof Planning | 4 | 0.44 | 2002 |
| Experiments with an Agent-Oriented Reasoning System | 4 | 0.48 | 2001 |
| Resource Guided Concurrent Deduction | 0 | 0.34 | 2000 |
| A Proposal for Automating Diagrammatic Reasoning in Continuous Domains | 1 | 0.34 | 2000 |
| On Automating Diagrammatic Proofs of Arithmetic Arguments | 19 | 2.93 | 1999 |
