729 search results - page 41 / 146 » Reflections on Agent Beliefs |
AAAI
2006
14 years 11 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
ATAL
2009
Springer
15 years 4 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...
AAAI
2008
15 years 2 days ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
AAAI
2010
14 years 11 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...
ITS
1998
Springer
15 years 2 months ago
1998
Springer
: An approach to student modelling is presented where learners build their own student models. A more accurate model may thereby be obtained, and learners may reflect on their beli...