Sciweavers

1342 search results - page 63 / 269
» Shape reasoning and understanding
Sort
View
AIR
2010
95views more  AIR 2010»
15 years 6 months ago
A taxonomy of argumentation models used for knowledge representation
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...
Jamal Bentahar, Bernard Moulin, Micheline Bé...
DIAGRAMS
2004
Springer
15 years 11 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
COLING
1992
15 years 7 months ago
Zero Pronouns as Experiencer in Japanese Discourse
The process of finding the antecedent of zero pronoun, that is indispensable to Japanese language understanding, is the topic of this paper. Here we mainly concern with discourses...
Hiroshi Nakagawa
CADE
2004
Springer
16 years 6 months ago
Dr.Doodle: A Diagrammatic Theorem Prover
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
Daniel Winterstein, Alan Bundy, Corin A. Gurr
FLAIRS
2003
15 years 7 months ago
Using Mental Simulator for Emotional Rehabilitation of Autistic Patients
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
Boris Galitsky