Catherine Pilière (ed.)  Home/Search
Context
Related
| folli.uva.nl/CD/2000/notes...proc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: folli.uva.nl/CD...studentsession (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We draw attention to the fact that Barwise and Etchemendy's logic teaching program, Hyperproof, does not distinguish Visual Reasoning from CaseBased Reasoning. We indicate how this may be a problem when Hyperproof is used for cognitive research, and propose to solve the problem by using a similar system based on Peirce's Existential Graphs. We present a prototype of this system, called the EGG (Existential Graphs GUI). (Update)
Similar documents (at the sentence level):
5.5%: Chapter 15: Getting Better Results With Latent Semantic Indexing - Nakov (2000) (Correct)
5.2%: Polarity Items in Resource Logics. A comparison - Bernardi (2000) (Correct)
Similar documents based on text: More All
0.6: Proceedings of the Sixth ESSLLI Student Session - (Ed.) (2001) (Correct)
0.3: Natural Language and Inference in a Computer Game - Gabsdil, Koller, Striegnitz (2002) (Correct)
0.3: Sequent Calculus Viewed Modulo - Deplagne (2000) (Correct)
BibTeX entry: (Update)
@misc{ ed-proceedings,
author = "Catherine Pilière (ed.)",
title = "Proceedings of the ESSLLI-2000 Student Session",
url = "citeseer.ist.psu.edu/679302.html" }
Citations not processed or no citations identified.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC