Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2024

2022

A Formal Model of Aspect Shifting: The Case of Dot Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2022

2020

Channel-Theoretic Account of the Semantic Potentials of False Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2020

2018

Operations on Single Feature Indicator Systems.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

2016

A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2016

Single Feature Indicator Systems in the Openbox.

[BibT_eX]

[DOI]

Michael D. Murray

Proceedings of the Diagrammatic Representation and Inference, 2016

2014

The Barwise-Seligman Model of Representation Systems: A Philosophical Explication.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2014

An Example HyperVenn Proof.

[BibT_eX]

[DOI]

Nik Swoboda

Michael D. Murray

Proceedings of the Diagrammatic Representation and Inference, 2014

2012

Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Educational Data Mining, 2012

Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity.

[BibT_eX]

[DOI]

Nik Swoboda

J. Vis. Lang. Comput., 2011

Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0.

[BibT_eX]

[DOI]

Richard Cox

Robert Dale

Proceedings of the 4th International Conference on Educational Data Mining, 2011

Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation Accuracy.

[BibT_eX]

[DOI]

Robert Dale

Richard Cox

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

Diagrams: A Perspective from Logic.

[BibT_eX]

[DOI]

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

2009

Dimensions of Difficulty in Translating Natural Language into First-Order Logic.

[BibT_eX]

[DOI]

Richard Cox

Robert Dale

Proceedings of the Educational Data Mining, 2009

2008

Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.

[BibT_eX]

[DOI]

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

Openproof - A Flexible Framework for Heterogeneous Reasoning.

[BibT_eX]

[DOI]

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

2007

A computational architecture for heterogeneous reasoning.

[BibT_eX]

[DOI]

John Etchemendy

J. Exp. Theor. Artif. Intell., 2007

A Sequent Based Logic for Coincidence Grids.

[BibT_eX]

[DOI]

Nik Swoboda

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

2002

On the Practical Semantics of Mathematical Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Reasoning, 2002

1993

Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

1992

Gazing: An Approach to the Problem of Definition and Lemma Use.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

The GAZER Theorem Prover.

[BibT_eX]

[DOI]

Alex Rothenberg

Proceedings of the Automated Deduction, 1992

&: Automated Natural Deduction.

[BibT_eX]

[DOI]