4617 search results - page 3 / 924 » Automation of Diagrammatic Reasoning |
262
Voted
ECSQARU
2011
Springer
14 years 11 months ago
2011
Springer
179
Voted
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
169
Voted
COSIT
2003
Springer
16 years 19 days ago
2003
Springer
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
193
click to vote
ICFCA
2009
Springer
16 years 2 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
218
Voted
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...