Openproof - Research

Publications

Courseware

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. 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).
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.

Heterogeneous Reasoning

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.
D. Barker-Plummer and N. Swoboda (2007). A Sequent Based Logic for Coincidence Grids. In Proceedings of Workshop on Visual Languages and Logic.
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.
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
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.