Dave Barker-Plummer

Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease, Nik Swoboda: Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. Diagrams 2012: 3

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: 134-141

Dave Barker-Plummer, Nik Swoboda: Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22(1): 56-65 (2011)

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

Dave Barker-Plummer: Diagrams: A Perspective from Logic. Diagrams 2010: 3

Dave Barker-Plummer, Richard Cox, Robert Dale: Dimensions of Difficulty in Translating Natural Language into First-Order Logic. EDM 2009: 220-229

Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer: Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams 2008: 257-265

Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349

Dave Barker-Plummer, John Etchemendy: A computational architecture for heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 19(3): 195-225 (2007)

Dave Barker-Plummer, Nik Swoboda: A Sequent Based Logic for Coincidence Grids. VLL 2007: 1-12

Dave Barker-Plummer, Richard Cox, Nik Swoboda (Eds.): Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings. Lecture Notes in Computer Science 4045, Springer 2006, isbn 3-540-35623-1

Sidney C. Bailin, Dave Barker-Plummer: Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. J. Autom. Reasoning 11(3): 391-428 (1993)

Dave Barker-Plummer: Gazing: An Approach to the Problem of Definition and Lemma Use. J. Autom. Reasoning 8(3): 311-344 (1992)

Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill: &: Automated Natural Deduction. CADE 1992: 716-720

Dave Barker-Plummer, Alex Rothenberg: The GAZER Theorem Prover. CADE 1992: 726-730

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