|
David Barker-Plummer
Lecturer
Office: CSLI
Mailing:
Center for the Study of Language and Information (CSLI),
Stanford University,
Stanford, California, 94305-4115
Phone: (650) 723-9030
Email: dbp@csli.stanford.edu
|
|
|
Education History
|
BA, University of Lancaster, UK, 1982
PhD, University of Edinburgh, UK, 1988
|
|
|
Areas of Interest
|
heterogeneous logic, logic education, educational software,
automated deduction
|
|
|
Selected Publications
|
Books and Collections:
- D. Barker-Plummer, J. Barwise, and J. Etchemendy
Tarski's World (Revised and Expanded Edition).
CSLI Press, to appear 2005.
- 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, 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
- D. Barker-Plummer and J. Etchemendy
Applications of heterogeneous reasoning in design.
Machine Graphics and Vision, 12(1):39
- D. Barker-Plummer and J. Etchemendy
A computational architecture for heterogeneous reasoning.
Journal of Theoretical and Experimental Artificial Intelligence (JETAI), to appear.
|
|
|
Recent Courses
|
57: Logic, Argumentation and Reasoning, 159: Basic
Concepts in Mathematical Logic, 160a: First-Order Logic
|
|
|
Links and Online Papers
|
Personal Homepage
|
© 2005 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.
|
