John Etchemendy

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

  View details for Web of Science ID 000260632000023

• 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

  View details for Web of Science ID 000260632000031

• Heterogeneous Reasoning 5th International Conference on Diagrammatic Representation and Inference Etchemendy, J. SPRINGER-VERLAG BERLIN. 2008: 1–1

  View details for Web of Science ID 000260632000001

• A computational architecture for heterogeneous reasoning JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE Barker-Plummer, D., Etchemendy, J. 2007; 19 (3): 195-225

  View details for DOI 10.1080/09528130701475401

  View details for Web of Science ID 000249393800001

• TARSKI ON TRUTH AND LOGICAL CONSEQUENCE JOURNAL OF SYMBOLIC LOGIC ETCHEMENDY, J. 1988; 53 (1): 51-79

  View details for Web of Science ID A1988M437800006

• MODELS, SEMANTICS AND LOGICAL TRUTH LINGUISTICS AND PHILOSOPHY ETCHEMENDY, J. 1988; 11 (1): 91-106

  View details for Web of Science ID A1988M401700004