Funder
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Allwein, G., Barwise, J. (eds). Logical reasoning with diagrams. Oxford Studies. In: Logic And Computation Series (1996)
2. Barker-Plummer, D., Barwise, J., Etchemendy, J.: Logical Reasoning With Diagrams & Sentences: Using Hyperproof. CSLI Publications, Stanford (2017)
3. Barker-Plummer, D., Etchemendy, J.: A computational architecture for heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 19(3), 195–225 (2007)
4. Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22(1), 56–65 (2011)
5. Barwise, J., Etchemendy, J.: Hyperproof: For Macintosh. The Center for the Study of Language and Information Publications (1995)