Dave Barker-Plummer

According to our database, Dave Barker-Plummer authored at least 24 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

Atsushi Shimojima, Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2022

2020

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

Atsushi Shimojima, Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2020

2018

Operations on Single Feature Indicator Systems.

Atsushi Shimojima, Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2018

2016

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

Atsushi Shimojima, Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2016

Single Feature Indicator Systems in the Openbox.

Dave Barker-Plummer, Michael D. Murray

Proceedings of the Diagrammatic Representation and Inference, 2016

2014

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

Atsushi Shimojima, Dave Barker-Plummer

Proceedings of the Diagrammatic Representation and Inference, 2014

An Example HyperVenn Proof.

Dave Barker-Plummer, 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.

Dave Barker-Plummer, Robert Dale, Richard Cox, Alex Romanczuk

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

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

Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

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

Dave Barker-Plummer, Nik Swoboda

J. Vis. Lang. Comput., 2011

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

Dave Barker-Plummer, 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.

Dave Barker-Plummer, Robert Dale, Richard Cox

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

2010

Diagrams: A Perspective from Logic.

Dave Barker-Plummer

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

2009

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

Dave Barker-Plummer, Richard Cox, Robert Dale

Proceedings of the Educational Data Mining, 2009

2008

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

Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer

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

Openproof - A Flexible Framework for Heterogeneous Reasoning.

Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda

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

2007

A computational architecture for heterogeneous reasoning.

Dave Barker-Plummer, John Etchemendy

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

A Sequent Based Logic for Coincidence Grids.

Dave Barker-Plummer, 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.

Dave Barker-Plummer, Sidney C. Bailin

Proceedings of the Diagrammatic Representation and Reasoning, 2002

1993

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

Sidney C. Bailin, Dave Barker-Plummer

J. Autom. Reason., 1993

1992

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

Dave Barker-Plummer

J. Autom. Reason., 1992

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

Dave Barker-Plummer, Sidney C. Bailin

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

The GAZER Theorem Prover.

Dave Barker-Plummer, Alex Rothenberg

Proceedings of the Automated Deduction, 1992

&: Automated Natural Deduction.

Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill

Proceedings of the Automated Deduction, 1992