VISUAL AND SPATIAL ANALYSIS:
Advances in Data Mining,
Reasoning and Problem Solving

Representing visual decision making: a computational architecture for heterogeneous reasoning
Dave Barker-Plummer and John Etchemendy

Chapter 4 References

·          Barker-Plummer D., Etchemendy J.  Applications of Heterogeneous Reasoning in Design. Machine Graphics and Vision 2003; 12(1):39--54

·          Barwise J., Etchemendy J., Hyperproof.  Stanford and Cambridge: Cambridge University Press 1994.  Program by Gerard Allwein, Mark Greaves and Mike Lenz.

·          Fitch F.B.  Symbolic Logic: An Introduction,  Luvain, 1952.

·          Gentzen G.  Investigations into Logical Deduction, In The Collected Papers of Gerhard Gentzen, M.E.Szabo, ed. Amsterdam: North-Holland, 1935/1969

·          Glasgow J. Narayanan H. and Chandrasekaran B.  Diagrammatic Reasoning: Cognitive and Computational Perspectives.  AAAI Press and MIT Press, 1995.

·          Hammer E.  Logic and Visual Information.  Number 3 in Studies in Logic, Language and Information.  CSLI Publications 1995.

·          Harel D. On Visual Formalisms. Communications of the ACM, 1988. 31(5):514—530

·          Johnson S.D., Barwise J. and Allwein G. Toward the Rigorous Use of Diagrams, in  Reasoning About Hardware. In Working Papers on Diagrams and Logic, G Allwein and J. Barwise eds Indiana University Logic Group, Preprint Series, 1993.

·          Mitchell W.  The Logic of Architecture.  Cambridge: MIT Press. 1990.

·          Prawitz D. Natural Deduction: A Proof-Theoretical Study.  Stockholm: Almqvist and Wiksell, 1965.

·          Prawitz D. Towards a Foundation of a General Proof Theory. In Proceedings of the 1971 International Congress of Logic, Methodology and Philosophy of Science. Bucharest.  1973.

·          Shin S-J. The Logical Status Of Diagrams. Cambridge University Press. 1995.

Home

Overview

Table of Contents

Preface

Authors List

Links Page

Publisher Flyer

Springer (Buying Info)