4597 search results - page 753 / 920 » The Spider Model of Agents |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
Collaborative Filtering based on similarity suffers from a variety of problems such as sparsity and scalability. In this paper, we propose an ontological model of trust between us...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
ISAAC
2009
Springer
14 years 2 months ago
2009
Springer
The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...