Publications

Courseware

• D. Barker-Plummer, J. Barwise, J. Etchemendy, A. Liu, M. Murray and E. Pease (2011). Language, Proof and Logic (Second Edition). CSLI Press and University of Chicago Press.
• D. Barker-Plummer, J. Barwise, and J. Etchemendy (2008). Tarski's World (Revised and Expanded Edition). CSLI Press and University of Chicago Press.
• J. Barwise, J. Etchemendy, G. Allwein, D. Barker-Plummer, and A. Liu (1999). Language, Proof and Logic. CSLI Press and University of Chicago Press.
• J. Barwise and J. Etchemendy (1994). Hyperproof. Program by Gerard Allwein, Mark Greaves, and Mike Lenz. Stanford: CSLI and Cambridge: Cambridge University Press, 255+xvii.
• J. Barwise and J. Etchemendy (1986/1993). Turing's World: An Introduction to Computability. First published by Santa Barbara: Academic Courseware Exchange (1986). Stanford: CSLI and Cambridge: Cambridge University Press (1993), 123+ix.
• J. Barwise and J. Etchemendy (1991). The Language of First-Order Logic. CSLI Publications and Cambridge University Press
• J. Barwise and J. Etchemendy (1987/1991). Tarski's World. First published by Santa Barbara: Academic Courseware Exchange (1987). Stanford: CSLI and Cambridge: Cambridge University Press, first edition (1991) with Macintosh software, 111+xv; second edition (1993) with Macintosh software, 116+xviii; second edition (1993) with IBM software, 122+xviii.

Data Mining

• D. Barker-Plummer, R. Dale, R. Cox (2011a) Impedance Effects of Visual and Spatial Content on Logic-to-Language Translation Accuracy. In proceedings of the 33rd Annual Meeting of the Cognitive Science Society (CogSci 2011). Downloadable version
• D. Barker-Plummer, R. Dale, R. Cox (2011b) Student Translations of Natural Language into Logic: The Grade Grinder Corpus Release 1.0. In proceedings of the 4th International Conference on Data Mining (EDM 2011). Downloadable version
• D. Barker-Plummer, R. Dale, R. Cox (2011c) Student Translations of Natural Language into Logic: The Grade Grinder Corpus Release 1.0. Openproof Technical Report OP-TR-01. Expanded version of our EDM 2011 paper. Revised, August 2011. Downloadable version.
• A. Kalb, D. Barker-Plummer, D. Casteneda, C. Potts, R. Cox, R. Dale (2010). The Impact of Syntax on the Interpretation and Graphical Depiction of Underspecified Propositions. In Proceedings of the 32nd Annual Meeting of the Cognitive Science Society. (CogSci 2010). Downloadable version
• D. Barker-Plummer, R. Cox, R. Dale and J. Etchemendy (2008) An Empirical Study of Errors in Translating Natural Language into Logic. In proceedings of the 30th Annual Meeting of the Cognitive Science Society (CogSci 2008). Downloadable version
• R. Cox, R. Dale, J. Etchemendy and D. Barker-Plummer, (2008) Graphical Revelations: Comparing students translation errors in graphics and logic. In proceedings of the Fifth International Conference on the Theory and Application of Diagrams (Diagrams 2008), J. Howse, J. Lee and G. Stapleton (eds). Springer 2008. SpringerLink website

Heterogeneous Reasoning

• D. Barker-Plummer, J. Etchemendy, M. Murray, E. Pease and N. Swoboda (2012). Learning to use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. In proceedings of the Seventh International Conference on the Theory and Application of Diagrams (Diagrams 2012), P. Cox, B. Plimmer and P. Rogers (eds). Springer 2012. SpringerLink website
• D. Barker-Plummer and N. Swoboda (2011). Reasoning with Coincidence Grids --- A Sequent-based Logic and an Analysis of Complexity. Journal of Visual Languages and Computing, 22:1, pp 56--65. Online article.
• D. Barker-Plummer, J. Etchemendy, A. Liu, M. Murray and N. Swoboda (2008) Openproof: A flexible framework for heterogeneous reasoning. In proceedings of the Fifth International Conference on the Theory and Application of Diagrams (Diagrams 2008), J. Howse, J. Lee and G. Stapleton (eds). Springer 2008. SpringerLink website
• D. Barker-Plummer and N. Swoboda (2007). A Sequent Based Logic for Coincidence Grids. In Proceedings of Workshop on Visual Languages and Logic. Downloadable version
• D. Barker-Plummer and J. Etchemendy (2007). A computational architecture for heterogeneous reasoning. Journal of Theoretical and ExperimentalArtificial Intelligence (JETAI), 19:3, pp 195--225. Taylor and Francis web site
• D. Barker-Plummer and J. Etchemendy (2004). 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 SpringerLink web site
• N. Swoboda and G. Allwein (2004). Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Journal on Software & System Modeling 3:2, pp 136-149.
• D. Barker-Plummer and J. Etchemendy (2003). Applications of heterogeneous reasoning in design. Machine Graphics and Vision, 12(1):39
• N. Swoboda and G. Allwein (2002). Modeling Heterogeneous Systems. In N. Narayanan, M.Hegarty, B. Meyer, editors, Proceedings of Diagrams 2002.
• N. Swoboda (2002). Implementing Euler/Venn Reasoning Systems. In Diagrammatic Representation and Reasoning. Ed. M. Anderson, B. Meyer, and P. Olivier.
• J. Barwise and J. Etchemendy (1998). Computers, Visualization, and the Nature of Reasoning, in The Digital Phoenix: How Computers are Changing Philosophy. Ed. T. W. Bynum and James H. Moor. Blackwell.
• J. Barwise and J. Etchemendy (1998). A Computational Architecture for Heterogeneous Reasoning. In Theoretical Aspects of Reasoning about Knowledge, pages 1-14. Morgan Kaufmann.
• G. Allwein and J. Barwise (1996). Logical Reasoning with Diagrams. Studies in Logic and Computation. New York: Oxford University Press, 270 pages.
• D. Barker-Plummer and M. Greaves (1995). Architectures for heterogeneous reasoning. In J. Lee, editor, Proceedings of the First International Workshop on Intelligent Multimodal and Multimedia Interfaces.
• J. Barwise and J. Etchemendy (1995). Heterogeneous Logic, in (Glasgow et. al. 1995). 211-234.
• J. Barwise (1993). Heterogeneous reasoning in Conceptual Graphs and Knowledge Representation, ed. by G. Mineau, B. Moulin, and J. F. Sowa, Lecture Notes on Artificial Intelligence, Cambridge: MIT Press, 64-74.
• J. Barwise and J. Etchemendy (1991). Visual Information and Valid Reasoning in Visualization in Mathematics, ed. Walter Zimmerman and Steve Cunningham, MAA. 9-24. Barwise, J. and J. Etchemendy (1992). Hyperproof: Logical Reasoning with Diagrams, in Proceedings of the 1992 AAAI Spring Symposium on Diagrammatic Reasoning, Stanford: AAAI, 1992, 80-84. Reprinted in Reasoning with Diagrammatic Representations, Menlo Park: AAAI Press, 1994.
• J. Barwise and J. Etchemendy (1989). Information, infons, and inference in Situation Theory and its Applications I, ed. by Cooper, Mukai, and Perry, Stanford: CSLI and Cambridge: Cambridge University Press, 33-78.