4617 search results - page 3 / 924 » Automation of Diagrammatic Reasoning |
ECSQARU
2011
Springer
12 years 9 months ago
2011
Springer
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
COSIT
2003
Springer
13 years 11 months 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...
ICFCA
2009
Springer
14 years 22 days 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...
VL
2000
IEEE
13 years 10 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 ...