Reference

[Barwise91] Barwise J and Etchemendy J, The language of first-order logic. Stanford, CA: CSLI Lecture Notes, 1991.

[Barwise94] Barwise J and Etchemendy J, Hyperproof. Stanford, CA: CSLI Lecture Notes, 1994.

[Bol91] Bol, R N, Loop checking in logic programming, Phd Thesis, Centre for Mathematics and Computer Science, Amsterdam, Holland, 1991.

[Byrd80] Byrd L, "Understanding the Control Flow of Prolog Programs." In Tarlund S (Ed.), Proceedings of the 1980 Logic Programming Workshop. 1980. 127-138.

[Chandra93] Chandrasekaran B, Narayanan N H, and Iwasaki Y, "Reasoning with Diagrammatic Representations: A Report on the Spring Symposium." AI Magazine 14 49-56.

[Chang73] Chang C L and Lee R C, Symbolic logic and mechanical theorem proving. New York: Academic Press, 1973.

[Clocksin84] Clocksin W F and Mellish C F, Programming in Prolog. New York: Springer-Verlag, 1984.

[Eisenstadt88] Eisenstadt M and Brayshaw M, "The Transparent Prolog Machine (TPM): an Execution Model and Graphical Debugger for Logic Programming." Journal of Logic Programming. 5 (4).

[Ellis93] Ellis G and Levinson R, "The Birth of PEIRCE: A Conceptual Graphs Workbench." In Mineau G W, Moulin B, and Sowa J W (Eds.), Conceptual graphs for knowledge representations: Proceedings of the first international conference on conceptual structures, ICCS'93. New York: Springer-Verlag, 1993. 219-228.

[Fisher96] Fisher J R and Tran L, "A Visual Logic." Proceedings of the ACM Symposium on Applied Computing (SAC'96). 17-21.

[Glasgow95] AAAI, Diagrammatic reasoning: cognitive and computational perspective. Last updated: 25 Jul 1995; last retrieved: 23 Aug 1995.

[Hart31] Hartshorne C and Weiss P (Eds.), The collected papers of Charles Sanders Peirce. Cambridge: Harvard University Press, 1931.

[Hyperproof95] CLSI Software, Hyperproof: A sample proof. Last updated: ???; last retrieved: 12 Sept 95.

[IUVIL95] Indiana University. Indiana University Visual Inference Lab, Last updated: ???; last retrieved: 12 Sept 95.

[Jones93] Cameron-Jones R M and Quinlan J R, "Avoiding Pitfalls when Learning Recursive Theories." In IJCAI - Proceedings of the 13th international conference. Palo Alto, CA : Morgan Kaufmann, 1993. 1050-1055.

[Kahn92] Kahn K, "Animation of Horn Clause Proofs." In Narayanan N H (Ed.), Reasoning with diagrammatic representations: Papers from the 1992 AAAI Spring symposium. Menlo Park, CA: AAAI Press, 1992. 105-106.

[Lloyd87] Lloyd J W, Foundations of logic programming (2nd edition). New York: Springer-Verlag, 1987.

[Novak92] Novak G and Bulko W, "Uses of Diagrams in Solving Physics Problems." In Narayanan N H (Ed.), Reasoning with diagrammatic representations: Papers from the 1992 AAAI Spring symposium. Menlo Park, CA: AAAI Press, 1992. 139-144.

[Sowa93] Sowa J F, "Relating Diagrams to Logic." In Mineau G W, Moulin B, and Sowa J F (Eds.), Conceptual graphs for knowledge representations: Proceedings of the first international conference on conceptual structures, ICCS'93. New York: Springer-Verlag, 1993. 1-34.

[SPARCL93] Spratt L and Ambler A, A Visual Logic Programming Language Based on Sets and Partitioning Constraints. Last updated: ???; last retrieved: 16 Apr 96.

[SWI95] University of Amsterdam, SWI-Prolog home page. Last updated: ???; last retrieved: 12 Sept 95.

[Tarski95] CLSI Software, Tarski's World. Last updated: ???; last retrieved: 12 Sept 95.

[Tessler93]Tessler S, Iwasaki Y, and Law K, "Qualitative Structural Analysis Using Diagrammatic Reasoning." In Glasgow J, Narayanan N H, Chandrasekaran B (Eds.), Diagrammatic reasoning: Cognitive and computational perspectives. Cambridge, MA: MIT Press, 1993.

[TPM93] HCRL, Ongoing Research Projects at HCRL. Last updated: ???; last retrieved: 10 Jun 96.

[XPCE95] University of Amsterdam, XPCE FAQ. Last updated: ???; last retrieved: 12 Sept 95.