Program Affiliations


  • Symbolic Systems Program

2023-24 Courses


Stanford Advisees


All Publications


  • Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic 5th International Conference on Diagrammatic Representation and Inference Cox, R., Dale, R., Etchemendy, J., Barker-Plummer, D. SPRINGER-VERLAG BERLIN. 2008: 257–265
  • Openproof - A Flexible Framework for Heterogeneous Reasoning 5th International Conference on Diagrammatic Representation and Inference Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N. SPRINGER-VERLAG BERLIN. 2008: 347–349
  • Heterogeneous Reasoning 5th International Conference on Diagrammatic Representation and Inference Etchemendy, J. SPRINGER-VERLAG BERLIN. 2008: 1–1
  • A computational architecture for heterogeneous reasoning JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE Barker-Plummer, D., Etchemendy, J. 2007; 19 (3): 195-225
  • TARSKI ON TRUTH AND LOGICAL CONSEQUENCE JOURNAL OF SYMBOLIC LOGIC ETCHEMENDY, J. 1988; 53 (1): 51-79
  • MODELS, SEMANTICS AND LOGICAL TRUTH LINGUISTICS AND PHILOSOPHY ETCHEMENDY, J. 1988; 11 (1): 91-106