4617 search results - page 1 / 924 » Automation of Diagrammatic Reasoning |
DLOG
1996
13 years 6 months ago
1996
IJCAI
1997
13 years 6 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
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...
DIAGRAMS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
AGI
2008
13 years 6 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...