2920 search results - page 186 / 584 » Finite information logic |
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
175
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
206
click to vote
SUM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
173
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
178
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...