Dave Barker-Plummer
Senior Research Scientist,
CSLI,
Stanford University
Cordura Hall, Stanford University, Stanford, CA, 94305-4101, USA
PH: +1 650 723 9030
FAX: +1 650 725 2166
Making the simple complicated is commonplace; making the complicated simple, awsomely simple, that's creativity. -- Charles Mingus
Selected Publications
Books and Collections
- D. Barker-Plummer, J. Barwise, and J. Etchemendy.
Tarski's World (Revised and Expanded
Edition).
CSLI
Press and University of Chicago
Press, 2008.
- D. Barker-Plummer, R. Cox and N. Swoboda, editors. Proceedings of the 4th Conference on Theory and Application of Diagrams (Diagrams 2006), Springer, 2006
- D. Barker-Plummer, D. Beaver, P. di Luzio, and J. van Benthem,
editors.
Words, Proofs and Diagrams.
CSLI Press, 2002.
- J. Barwise, J. Etchemendy, G. Allwein, D. Barker-Plummer, and
A. Liu.
Language, Proof and Logic.
CSLI Press and University of Chicago
Press, 1999.
Chapters
- D. Barker-Plummer and J. Etchemendy.
Visual decision making: A computational
architecture for heterogeneous reasoning.
In
B. Kovalerchuk and J. Schwing, editors, Visual and Spatial Analysis:
Advances in Data Mining, Reasoning and Problem Solving, pages
79--109,Springer 2004
- D. Barker-Plummer and S.C. Bailin.
On the practical semantics of mathematical
diagrams.
In Anderson, M., Meyer, B. and Olivier, P (editors), Diagrammatic Representation and
Reasoning. Springer Verlag, 2001.
Journal Articles
-
S.C. Bailin
and D. Barker-Plummer.
Z-match: An inference rule for incrementally elaborating set
instantiations.
Journal of Automated Reasoning, 11(3):391--428,1993.
-
D. Barker-Plummer.
Gazing: An approach to the problem of definition and
lemma use.
Journal of Automated Reasoning,
8(3):311--344, 1992
- D. Barker-Plummer and S.C. Bailin.
The role of diagrams in mathematical
proofs.
Machine Graphics and Vision, 6(1):25 (1997)
- D. Barker-Plummer and J. Etchemendy.
Applications of heterogeneous reasoning in
design.
Machine Graphics and Vision, 12(1):39 (2003)
- D. Barker-Plummer and J. Etchemendy.
A computational architecture for heterogeneous reasoning.
Journal of Theoretical and Experimental
Artificial Intelligence (JETAI), 19:3, pp 195--225, 2007.
- A. Bundy, B. Silver, and D. Plummer.
An analytical comparison of some rule learning
programs.
Artificial Intelligence, November 1985.
Peer-Reviewed Conferences
- R. Cox, R. Dale, J. Etchemendy and D. Barker-Plummer. Graphical Revelations: Comparing students' translation errors in graphics and logic. In proceedings of the 5th International Conference on the Theory and Application of Diagrams, 2008 (Diagrams 2008). G. Stapleton, J. Howse and J. Lee (editors). Springer-Verlag, LNCS, volume 5223 (2008).
- D. Barker-Plummer, R. Cox, R. Dale and J. Etchemendy. An
Empirical Study of Errors in Translating Natural Language into Logic. In
Proceedings of the Conference of the Cognitive Science Society 2008. (CogSci 2008).
- D. Barker-Plummer and N. Swoboda. A Sequent Based Logic for Coincidence Grids. In Proceedings of Workshop on Visual Languages and Logic, 2007.
- D. Barker-Plummer, S.C. Bailin, and S.M.T
Ehrlichman.
Diagrams and mathematics.
In B. Selman and H. Kautz, editors, Proceedings of the 4th
International Conference on Artificial Intelligence and Mathematics,
1996.
-
D. Barker-Plummer and S.C. Bailin.
Graphical theorem proving: An
approach to reasoning with the help of diagrams.
In B. Neumann (editor) Proceedings of the European Conference on Artificial Intelligence
(ECAI-92), Vienna, Austria, pages 55--59. John Wiley and Sons, August
1992.
- D. Barker-Plummer and S.C. Bailin.
Proofs and pictures: Proving
the diamond lemma with the grover theorem proving system.
In Working
Notes of the AAAI Symposium on Reasoning with Diagrammatic
Representations, March 25--27 1992, Stanford USA.
- D. Barker-Plummer and M. Greaves.
Architectures for heterogeneous reasoning.
In J. Lee, editor, Proceedings of the First International
Workshop on Intelligent Multimodal and Multimedia Interfaces,
1995.
On the Web (Peer Reviewed)
Art is science having more than seven variables -- Stereolab