126 search results - page 23 / 26 » Dynamic logic for belief revision |
EPIA
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
ATAL
2010
Springer
13 years 12 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...
JSW
2008
13 years 10 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
SYNTHESE
2008
13 years 10 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
DOOD
1991
Springer
14 years 2 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...