| 2008 |
|---|
| 10 | EE | Richard Cox,
Robert Dale,
John Etchemendy,
Dave Barker-Plummer:
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic.
Diagrams 2008: 257-265 |
| 9 | EE | Dave Barker-Plummer,
John Etchemendy,
Albert Liu,
Michael Murray,
Nik Swoboda:
Openproof - A Flexible Framework for Heterogeneous Reasoning.
Diagrams 2008: 347-349 |
| 2007 |
|---|
| 8 | EE | Dave Barker-Plummer,
Nik Swoboda:
A Sequent Based Logic for Coincidence Grids.
VLL 2007: 1-12 |
| 7 | EE | 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) |
