-
1
-
-
0002611102
-
Visual Information and Valid Reasoning
-
Zimmerman, W. (ed.) Washington, DC: Mathematical Association of America
-
Barwise, J. & Etchemendy, J. (1990). Visual Information and Valid Reasoning. In Zimmerman, W. (ed.) Visualization in Mathematics, 9-24. Washington, DC: Mathematical Association of America.
-
(1990)
Visualization in Mathematics
, pp. 9-24
-
-
Barwise, J.1
Etchemendy, J.2
-
2
-
-
0005031503
-
Heterogeneous Logic
-
Glasgow, J. I., Narayanan, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press
-
Barwise, J. & Etchemendy, J. (1995). Heterogeneous Logic. In Glasgow, J. I., Narayanan, N. H. & Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, 211-234. Menlo Park, CA: AAAI Press.
-
(1995)
Diagrammatic Reasoning: Cognitive and Computational Perspectives
, pp. 211-234
-
-
Barwise, J.1
Etchemendy, J.2
-
3
-
-
0005077735
-
Diagrams and the Concept of Logical System
-
Barwise, J. & Allwein, G. (eds.) Oxford: Oxford University Press, 1996
-
Barwise, J. & Hammer, E. (1995). Diagrams and the Concept of Logical System. In Barwise, J. & Allwein, G. (eds.) Logical Reasoning with Diagrams, 49-78. Oxford: Oxford University Press, 1996.
-
(1995)
Logical Reasoning with Diagrams
, pp. 49-78
-
-
Barwise, J.1
Hammer, E.2
-
5
-
-
0003712802
-
-
Manuscripts
-
Barwise, J. & Seligman, J. (1996). Information Flow in Distributed Systems. Manuscripts. (A significantly revised version has been published as Information Flow: the Logical of Distributed Systems, Cambridge, UK: Cambridge University Press, 1997.)
-
(1996)
Information Flow in Distributed Systems
-
-
Barwise, J.1
Seligman, J.2
-
6
-
-
0003712802
-
-
Cambridge, UK: Cambridge University Press
-
Barwise, J. & Seligman, J. (1996). Information Flow in Distributed Systems. Manuscripts. (A significantly revised version has been published as Information Flow: the Logical of Distributed Systems, Cambridge, UK: Cambridge University Press, 1997.)
-
(1997)
Information Flow: The Logical of Distributed Systems
-
-
-
8
-
-
0003669638
-
-
Translated by William J. Berg. Madison, WI: The University of Wisconsin Press
-
Bertin, J. (1973). Semiology of Graphics: Diagrams, Networks, Maps. Translated by William J. Berg. Madison, WI: The University of Wisconsin Press.
-
(1973)
Semiology of Graphics: Diagrams, Networks, Maps
-
-
Bertin, J.1
-
11
-
-
0005100801
-
Problem-Solving with Diagrammatic Representations
-
Glasgow, J. Narayanan, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press, 1995
-
Funt, B. V. (1980). Problem-Solving with Diagrammatic Representations. In Glasgow, J. Narayanan, N. H. & Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cogitive and Computational Perspectives, 33-68. Menlo Park, CA: AAAI Press, 1995.
-
(1980)
Diagrammatic Reasoning: Cogitive and Computational Perspectives
, pp. 33-68
-
-
Funt, B.V.1
-
12
-
-
0002122166
-
Realization of a Geometry-Theorem Proving Machine
-
Feigenbaum, E. A. & Feldman, J. (eds.) New York: McGraw Hill
-
Gelernter, H. (1959). Realization of a Geometry-Theorem Proving Machine. In Feigenbaum, E. A. & Feldman, J. (eds.) Computers and Thought, 134-152. New York: McGraw Hill.
-
(1959)
Computers and Thought
, pp. 134-152
-
-
Gelernter, H.1
-
15
-
-
33845315958
-
A Treatise of Human Nature
-
Boston: Little, Brown and Company, 1854
-
Hume, D. (1739). A Treatise of Human Nature. The Philosophical Works of David Hume. Boston: Little, Brown and Company, 1854.
-
(1739)
The Philosophical Works of David Hume
-
-
Hume, D.1
-
16
-
-
0002991091
-
Why a Diagram Is (Sometimes) Worth Ten Thousand Words
-
Glasgow, J., Narayana, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press, 1995
-
Larkin, J. H. & Simon, H. A. (1987). Why a Diagram Is (Sometimes) Worth Ten Thousand Words. In Glasgow, J., Narayana, N. H. & Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, 69-109. Menlo Park, CA: AAAI Press, 1995.
-
(1987)
Diagrammatic Reasoning: Cognitive and Computational Perspectives
, pp. 69-109
-
-
Larkin, J.H.1
Simon, H.A.2
-
17
-
-
0001061521
-
Logic and the Complexity of Reasoning
-
Levesque, H. J. (1988). Logic and the Complexity of Reasoning. Journal of Philosophical Logic 17: 355-389.
-
(1988)
Journal of Philosophical Logic
, vol.17
, pp. 355-389
-
-
Levesque, H.J.1
-
18
-
-
0003212645
-
A Fundamental Tradeoff in Knowledge Representation and Reasoning (Revised Version)
-
Brachman, R. J. & Levesque, N. J. (eds.) Los Altos, CA: Morgan Kaufmann Publishers, Inc.
-
Levesque, H. J. & Brachman, R. J. (1985). A Fundamental Tradeoff in Knowledge Representation and Reasoning (Revised Version). In Brachman, R. J. & Levesque, N. J. (eds.) Readings in Knowledge Representation, 42-70. Los Altos, CA: Morgan Kaufmann Publishers, Inc.
-
(1985)
Readings in Knowledge Representation
, pp. 42-70
-
-
Levesque, H.J.1
Brachman, R.J.2
-
19
-
-
0005003180
-
Images and Inference
-
Glasgow, J. I., Narayanan, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press, 1995
-
Linsay, R. K. (1988). Images and Inference. In Glasgow, J. I., Narayanan, N. H. & Chandrasekaran, B. (eds.) Digrammatic Reasoning: Cognitive and Computational Perspectives, 111-135. Menlo Park, CA: AAAI Press, 1995.
-
(1988)
Digrammatic Reasoning: Cognitive and Computational Perspectives
, pp. 111-135
-
-
Linsay, R.K.1
-
20
-
-
85190183493
-
Fundamental Aspects of Cognitive Representation
-
Rosch, E. & Llyod, B. B. (eds.) Hillsdale, NJ: Lawrence Erlbaum Associates, Publishers
-
Palmer, S. E. (1978). Fundamental Aspects of Cognitive Representation. In Rosch, E. & Llyod, B. B. (eds.) Cognition and Categorization, 259-303. Hillsdale, NJ: Lawrence Erlbaum Associates, Publishers.
-
(1978)
Cognition and Categorization
, pp. 259-303
-
-
Palmer, S.E.1
-
21
-
-
0015905371
-
What the Mind's Eye Tells the Mind's Brain: A Critique of Mental Imaginery
-
Pylyshyn, Z. W. (1973). What the Mind's Eye Tells the Mind's Brain: A Critique of Mental Imaginery. Psychological Bulletin 80: 1-24.
-
(1973)
Psychological Bulletin
, vol.80
, pp. 1-24
-
-
Pylyshyn, Z.W.1
-
22
-
-
0005041466
-
Vagueness
-
Slater, J. G. (ed.) London: Unwin Hyman, 1988
-
Russell, B. (1923). Vagueness. In Slater, J. G. (ed.) Essays on Language, Mind and Matter: The Collected Papers of Bertrand Russell, Volume 9, 145-154. London: Unwin Hyman, 1988.
-
(1923)
Essays on Language, Mind and Matter: The Collected Papers of Bertrand Russell
, vol.9
, pp. 145-154
-
-
Russell, B.1
-
23
-
-
0004170983
-
-
Ph.D. Thesis. The Department of Philosophy, Indiana University, Bloomington, IN
-
Shimojima, A. (1996a). On the Efficacy of Representation. Ph.D. Thesis. The Department of Philosophy, Indiana University, Bloomington, IN.
-
(1996)
On the Efficacy of Representation
-
-
Shimojima, A.1
-
24
-
-
0005092722
-
Operational Constraints in Diagrammatic Reasoning
-
Barwise, J. & Allwein, G. (eds.) Oxford: Oxford University Press
-
Shimojima, A. (1996b). Operational Constraints in Diagrammatic Reasoning. In Barwise, J. & Allwein, G. (eds.) Logical Reasoning with Diagrams, 27-48. Oxford: Oxford University Press.
-
(1996)
Logical Reasoning with Diagrams
, pp. 27-48
-
-
Shimojima, A.1
-
25
-
-
0005091095
-
Reasoning with Diagrams and Geometrical Constraints
-
Westershåhl, D. & Seligman, J. (eds.) Stanford: CSLI Publications
-
Shimojima, A. (1996c). Reasoning with Diagrams and Geometrical Constraints. In Westershåhl, D. & Seligman, J. (eds.) Language, Logic and Computation, Volume 1, 527-540. Stanford: CSLI Publications.
-
(1996)
Language, Logic and Computation
, vol.1
, pp. 527-540
-
-
Shimojima, A.1
-
26
-
-
0005006799
-
Interactions between Philosophy and AI: The Role of Intuition and Non-Logical Reasoning in Intelligence
-
Sloman, A. (1971). Interactions between Philosophy and AI: the Role of Intuition and Non-Logical Reasoning in Intelligence. Artificial Intelligence 2: 209-225.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 209-225
-
-
Sloman, A.1
-
27
-
-
0005095781
-
Afterthoughts on Analogical Representations
-
Brachman, R. J. & Levesque, H. J. (eds.) Los Altos, CA: Morgan Kaufmann Publishers, Inc.
-
Sloman, A. (1975). Afterthoughts on Analogical Representations. In Brachman, R. J. & Levesque, H. J. (eds.) Readings in Knowledge Representation, 432-439. Los Altos, CA: Morgan Kaufmann Publishers, Inc.
-
(1975)
Readings in Knowledge Representation
, pp. 432-439
-
-
Sloman, A.1
-
28
-
-
0003292937
-
Musings on the Roles of Logical and Nonlogical Representations in Intelligence
-
Glasgow, J., Narayanan, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press
-
Sloman, A. (1995). Musings on the Roles of Logical and Nonlogical Representations in Intelligence. In Glasgow, J., Narayanan, N. H. & Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, 7-32. Menlo Park, CA: AAAI Press.
-
(1995)
Diagrammatic Reasoning: Cognitive and Computational Perspectives
, pp. 7-32
-
-
Sloman, A.1
-
29
-
-
0003311503
-
Applying Semantic Concepts to Analyzing Media and Modalities
-
Glasgow, J., Narayanan, N. H. & Chandrasekaran, B. (eds.) Menlo Park, CA: AAAI Press
-
Stenning, K. & Inder, R. (1995). Applying Semantic Concepts to Analyzing Media and Modalities. In Glasgow, J., Narayanan, N. H. & Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, 303-338. Menlo Park, CA: AAAI Press.
-
(1995)
Diagrammatic Reasoning: Cognitive and Computational Perspectives
, pp. 303-338
-
-
Stenning, K.1
Inder, R.2
-
30
-
-
0002750297
-
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation
-
Stenning, K. & Oberlander, J. (1995). A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation. Cognitive Science 19: 97-140.
-
(1995)
Cognitive Science
, vol.19
, pp. 97-140
-
-
Stenning, K.1
Oberlander, J.2
|