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 |