1223 search results - page 42 / 245 » A Logic for Reasoning about Evidence |
123
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
CAV
2003
Springer
15 years 7 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
120
click to vote
CI
2004
15 years 1 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
133
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...