Dave Barker-Plummer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2020

Channel-Theoretic Account of the Semantic Potentials of False DiagramsAtsushi Shimojima, Dave Barker-Plummer. diagrams 2020: 128-143 [doi]

2018

Operations on Single Feature Indicator SystemsAtsushi Shimojima, Dave Barker-Plummer. diagrams 2018: 296-312 [doi]

2016

Single Feature Indicator Systems in the OpenboxDave Barker-Plummer, Michael D. Murray. diagrams 2016: 293-295 [doi]

A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator SystemsAtsushi Shimojima, Dave Barker-Plummer. diagrams 2016: 83-97 [doi]

2014

An Example HyperVenn ProofDave Barker-Plummer, Nik Swoboda, Michael D. Murray. diagrams 2014: 51-53 [doi]

The Barwise-Seligman Model of Representation Systems: A Philosophical ExplicationAtsushi Shimojima, Dave Barker-Plummer. diagrams 2014: 231-245 [doi]

2012

Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous ReasoningDave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease, Nik Swoboda. diagrams 2012: 3 [doi]

Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation CorpusDave Barker-Plummer, Robert Dale, Richard Cox, Alex Romanczuk. edm 2012: 134-141 [doi]

2011

Reasoning with coincidence grids - A sequent-based logic and an analysis of complexityDave Barker-Plummer, Nik Swoboda. JCL (JVLC), 22(1):56-65, 2011. [doi]

Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0Dave Barker-Plummer, Richard Cox, Robert Dale. edm 2011: 51-60 [doi]

Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation AccuracyDave Barker-Plummer, Robert Dale, Richard Cox. cogsci 2011: [doi]

2010

Diagrams: A Perspective from LogicDave Barker-Plummer. diagrams 2010: 3 [doi]

2009

Dimensions of Difficulty in Translating Natural Language into First-Order LogicDave Barker-Plummer, Richard Cox, Robert Dale. edm 2009: 220-229 [doi]

2008

Openproof - A Flexible Framework for Heterogeneous ReasoningDave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda. diagrams 2008: 347-349 [doi]

Graphical Revelations: Comparing Students Translation Errors in Graphics and LogicRichard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer. diagrams 2008: 257-265 [doi]

2007

A computational architecture for heterogeneous reasoningDave Barker-Plummer, John Etchemendy. jetai, 19(3):195-225, 2007. [doi]

A Sequent Based Logic for Coincidence GridsDave Barker-Plummer, Nik Swoboda. vl 2007: 1-12 [doi]

2002

On the Practical Semantics of Mathematical DiagramsDave Barker-Plummer, Sidney C. Bailin. In Michael Anderson, Bernd Meyer 0001, Patrick Olivier, editors, Diagrammatic Representation and Reasoning. pages 339-355, Springer, 2002. [doi]

1993

Z-Match: An Inference Rule for Incrementally Elaborating Set InstantiationsSidney C. Bailin, Dave Barker-Plummer. JAR, 11(3):391-428, 1993.

1992

Gazing: An Approach to the Problem of Definition and Lemma UseDave Barker-Plummer. JAR, 8(3):311-344, 1992.

The GAZER Theorem ProverDave Barker-Plummer, Alex Rothenberg. cade 1992: 726-730

Graphical Theorem Proving: An Approach to Reasoning with the Help of DiagramsDave Barker-Plummer, Sidney C. Bailin. ecai 1992: 55-59

&: Automated Natural DeductionDave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill. cade 1992: 716-720

Sign in or sign up to see more results.

runs on WebDSL