Dave Barker-Plummer

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