2253 search results - page 124 / 451 » The ComFoRT Reasoning Framework |
FGCS
1992
13 years 11 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
AIEDAM
2002
2002
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
13 years 10 months ago
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
ECSQARU
2009
Springer
13 years 7 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
LICS
2012
IEEE
12 years 14 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
ICYCS
2008
IEEE
14 years 4 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...