Exploiting the potential of diagrams in guiding hardware reasoning

In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press. pp. 225--256 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Toward the rigorous use of diagrams in reasoning about hardware.Steven D. Johnson, Jon Barwise & Gerard Allwein - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
Reasoning with Sentences and Diagrams.Eric Hammer - 1994 - Notre Dame Journal of Formal Logic 35 (1):73-87.
Situation-theoretic account of valid reasoning with Venn diagrams.Sun-Joo Shin - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.
And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
Argument diagram extraction from evidential Bayesian networks.Jeroen Keppens - 2012 - Artificial Intelligence and Law 20 (2):109-143.
Diagrams as sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
The Tinctures and Implicit Quantification over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
Diagrams as locality aids for explanation and model construction in cell biology.Nicholaos Jones & Olaf Wolkenhauer - 2012 - Biology and Philosophy 27 (5):705-721.
What perception is doing, and what it is not doing, in mathematical reasoning.Dennis Lomas - 2002 - British Journal for the Philosophy of Science 53 (2):205-223.
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.Atsushi Shimojima & Yasuhiro Katagiri - 2013 - Cognitive Science 37 (2):211-254.
Theories of diagrammatic reasoning: Distinguishing component problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
Aligning logical and psychological perspectives on diagrammatic reasoning.Keith Stenning & Oliver Lemon - 2001 - Artificial Intelligence Review 15:29--62.
Neural circuits and Block diagrams.J. J. C. Smart - 1999 - Behavioral and Brain Sciences 22 (5):849-849.

Analytics

Added to PP
2014-01-28

Downloads
23 (#679,329)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references