dblp.uni-trier.dewww.uni-trier.de

Dave Barker-Plummer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
10EERichard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer: Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams 2008: 257-265
9EEDave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349
2007
8EEDave Barker-Plummer, Nik Swoboda: A Sequent Based Logic for Coincidence Grids. VLL 2007: 1-12
7EEDave 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
4EEDave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill: &: Automated Natural Deduction. CADE 1992: 716-720
3EEDave 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)