4617 search results - page 230 / 924 » Automation of Diagrammatic Reasoning |
182
click to vote
TPHOL
1991
IEEE
15 years 10 months ago
1991
IEEE
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
153
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
190
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
182
click to vote
COMMA
2008
15 years 8 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
188
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...