Author: Dave Barker-Plummer

Publications

Co-authors

Richard Cox

2

John Etchemendy

2

Nik Swoboda

4

Productive Colleagues

Robert Dale

5

Nik Swoboda

9

Richard Cox

14

Publications

Barker-Plummer, Dave, Swoboda, Nik (2011): Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. In J. Vis. Lang. Comput., 22 (1) pp. 56-65. https://dx.doi.org/10.1016/j.jvlc.2010.11.006

Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA.

Barker-Plummer, Dave, Etchemendy, John, Liu, Albert, Murray, Michael, Swoboda, Nik (2008): Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 347-349. https://dx.doi.org/10.1007/978-3-540-87730-1_32

Cox, Richard, Dale, Robert, Etchemendy, John, Barker-Plummer, Dave (2008): Graphical Revelations: Comparing Students\' Translation Errors in Graphics and Logic. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 257-265. https://dx.doi.org/10.1007/978-3-540-87730-1_24

Barker-Plummer, Dave, Swoboda, Nik (2007): A Sequent Based Logic for Coincidence Grids. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 1-12. https://ceur-ws.org/Vol-274/paper1.pdf