406 search results - page 4 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
88
Voted
ENTCS
2006
14 years 9 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
70
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
AAAI
2010
14 years 11 months ago
2010
LORI
2009
Springer
15 years 4 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...