Reasoning with coincidence grids—A sequent-based logic and an analysis of complexity

Barker-Plummer, 2004, Visual decision making: a computational architecture for heterogeneous reasoning, 79 Barker-Plummer, 2007, A computational architecture for heterogeneous reasoning, Journal of Theoretical and Experimental Artificial Intelligence (JETAI), 19, 195, 10.1080/09528130701475401 Barwise, 1994 L. Euler, Lettres à une Princesse d’Allemagne sur Divers Sujets de Physique et de Philosophie, Imprimerie de l’Academie Impériale des Sciences, 1768–1772, Letters 102–108. Garey, 1979 E. Hammer, Logic and Visual Information, in: Studies in Logic, Language and Information, vol. 3, CSLI Publications, Stanford, 1995. Shin, 1991, A situation-theoretic account of valid reasoning with Venn diagrams, vol. 26, 581 Swoboda, 2002, Modeling heterogeneous systems, vol. 2317, 131 Venn, 1971