Dave Barker-Plummer

	2011
14		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
13		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)
	2010
12		Dave Barker-Plummer: Diagrams: A Perspective from Logic. Diagrams 2010: 3
	2009
11		Dave Barker-Plummer, Richard Cox, Robert Dale: Dimensions of Difficulty in Translating Natural Language into First-Order Logic. EDM 2009: 220-229
	2008
10		Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer: Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams 2008: 257-265
9		Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349
	2007
8		Dave Barker-Plummer, Nik Swoboda: A Sequent Based Logic for Coincidence Grids. VLL 2007: 1-12
7		Dave Barker-Plummer, John Etchemendy: A computational architecture for heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 19(3): 195-225 (2007)
	2006
6		Dave Barker-Plummer, Richard Cox, Nik Swoboda: Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings Springer 2006
	1993
5		Sidney C. Bailin, Dave Barker-Plummer: Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. J. Autom. Reasoning 11(3): 391-428 (1993)
	1992
4		Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill: &: Automated Natural Deduction. CADE 1992: 716-720
3		Dave Barker-Plummer, Alex Rothenberg: The GAZER Theorem Prover. CADE 1992: 726-730
2		Dave Barker-Plummer, Sidney C. Bailin: Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI 1992: 55-59
1		Dave Barker-Plummer: Gazing: An Approach to the Problem of Definition and Lemma Use. J. Autom. Reasoning 8(3): 311-344 (1992)

Coauthor Index

1	Sidney C. Bailin	[2] [4] [5]
2	Richard Cox	[6] [10] [11] [14]
3	Robert Dale	[10] [11] [14]
4	John Etchemendy	[7] [9] [10]
5	Albert Liu	[9]
6	Andrew S. Merrill	[4]
7	Michael Murray	[9]
8	Alex Rothenberg	[3]
9	Nik Swoboda	[6] [8] [9] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page