1941 search results - page 39 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
click to vote
FGCS
1992
15 years 3 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 ...
145
Voted
IJAR
2006
15 years 1 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
104
click to vote
ARTMED
2006
15 years 2 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
147
Voted
CONCUR
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
127
click to vote
DEON
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...