Dave Barker-Plummer

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 5

Top Topics

Geometry Theorem Proving

Semantically Equivalent

Semantic Knowledge

Top Venues

Publications

Atsushi Shimojima, Dave Barker-Plummer
A Formal Model of Aspect Shifting: The Case of Dot Diagrams. Diagrams (2022)
Atsushi Shimojima, Dave Barker-Plummer
Channel-Theoretic Account of the Semantic Potentials of False Diagrams. Diagrams (2020)
Atsushi Shimojima, Dave Barker-Plummer
Operations on Single Feature Indicator Systems. Diagrams (2018)
Atsushi Shimojima, Dave Barker-Plummer
A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems. Diagrams (2016)
Dave Barker-Plummer, Michael D. Murray
Single Feature Indicator Systems in the Openbox. Diagrams (2016)
Dave Barker-Plummer, Nik Swoboda, Michael D. Murray
An Example HyperVenn Proof. Diagrams (2014)
Atsushi Shimojima, Dave Barker-Plummer
The Barwise-Seligman Model of Representation Systems: A Philosophical Explication. Diagrams (2014)
Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. Diagrams (2012)
Dave Barker-Plummer, Robert Dale, Richard Cox, Alex Romanczuk
Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus. EDM (2012)
Dave Barker-Plummer, Richard Cox, Robert Dale
Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0. EDM (2011)
Dave Barker-Plummer, Nik Swoboda
Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22 (1) (2011)
Dave Barker-Plummer, Robert Dale, Richard Cox
Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation Accuracy. CogSci (2011)
Dave Barker-Plummer
Diagrams: A Perspective from Logic. Diagrams (2010)
Dave Barker-Plummer, Richard Cox, Robert Dale
Dimensions of Difficulty in Translating Natural Language into First-Order Logic. EDM (2009)
Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda
Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams (2008)
Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams (2008)
Dave Barker-Plummer, John Etchemendy
A computational architecture for heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 19 (3) (2007)
Dave Barker-Plummer, Nik Swoboda
A Sequent Based Logic for Coincidence Grids. VLL (2007)
Sidney C. Bailin, Dave Barker-Plummer
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. J. Autom. Reason. 11 (3) (1993)
Dave Barker-Plummer
Gazing: An Approach to the Problem of Definition and Lemma Use. J. Autom. Reason. 8 (3) (1992)
Dave Barker-Plummer, Sidney C. Bailin
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI (1992)
Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill
&: Automated Natural Deduction. CADE (1992)
Dave Barker-Plummer, Alex Rothenberg
The GAZER Theorem Prover. CADE (1992)