Add to ORKGABSTRACT. We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues
We propose an extension of action theories to intention theories in the framework of situation calcu...
Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for som...
AbstractSince belief revision deals with the interaction of belief and information over time, branch...
We propose a modal logic based on three operators, representing intial beliefs, information and revi...
In this paper we compare standard ways to perform belief change with attempts to model such change w...
John McCarthys situation calculus has left an enduring mark on artificial intelligence research. Thi...
International audienceWe propose a modal logic of belief and actions, where action might be nondeter...
AbstractJohn McCarthy's situation calculus has left an enduring mark on artificial intelligence rese...
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent...
Abstract. Recently Shapiro et al. explored the notion of iterated be-lief revision within Reiter’s v...
We propose a modal logic that supports reasoning about trust-based belief change. The term trust-bas...
This thesis deals with the theory of interrogative belief revision, a recent development in the subf...
Bonanno [Bon07a] presents a modal language LB for reasoning about information and changes of belief ...
AbstractWe take a fresh look at some major strands in John McCarthy's work from a logician's perspec...
Revision programs were introduced by Marek and Truszczynski to specify change in knowledge bases. In...
We propose an extension of action theories to intention theories in the framework of situation calcu...
Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for som...
AbstractSince belief revision deals with the interaction of belief and information over time, branch...
We propose a modal logic based on three operators, representing intial beliefs, information and revi...
In this paper we compare standard ways to perform belief change with attempts to model such change w...
John McCarthys situation calculus has left an enduring mark on artificial intelligence research. Thi...
International audienceWe propose a modal logic of belief and actions, where action might be nondeter...
AbstractJohn McCarthy's situation calculus has left an enduring mark on artificial intelligence rese...
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent...
Abstract. Recently Shapiro et al. explored the notion of iterated be-lief revision within Reiter’s v...
We propose a modal logic that supports reasoning about trust-based belief change. The term trust-bas...
This thesis deals with the theory of interrogative belief revision, a recent development in the subf...
Bonanno [Bon07a] presents a modal language LB for reasoning about information and changes of belief ...
AbstractWe take a fresh look at some major strands in John McCarthy's work from a logician's perspec...
Revision programs were introduced by Marek and Truszczynski to specify change in knowledge bases. In...
We propose an extension of action theories to intention theories in the framework of situation calcu...
Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for som...
AbstractSince belief revision deals with the interaction of belief and information over time, branch...