A Combined System for Update Logic and Belief Revision, Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, pp.1-17, 2004. ,
How Our Beliefs Contribute to Interpret Actions, Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005), pp.276-285, 2005. ,
Reasoning about noisy sensors and effectors in the situation calculus, Artificial Intelligence, vol.111, issue.1-2, pp.171-208, 1999. ,
DOI : 10.1016/S0004-3702(99)00031-4
The logic of Common Knowledge, Public Announcement, and Private Suspicions, Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp.43-56, 1998. ,
Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004. ,
DOI : 10.1023/B:SYNT.0000024912.56773.5e
Conditional Probability Meets Update Logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.409-421, 2003. ,
Dynamic Update with Probability, 2006. ,
Lexicographic Probabilities and Choice under Uncertainty, Econometrica, vol.59, issue.1, pp.61-79, 1991. ,
Belief Revision with Unreliable Observations, Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp.127-134, 1998. ,
Dynamic epistemic logic with assignment, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.141-148, 2005. ,
DOI : 10.1145/1082473.1082495
Possibilistic Logic, Preferential Model and Related Issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991. ,
Reasoning about Knowledge and Probability, Journal of the ACM (JACM), vol.41, issue.2, pp.340-367, 1994. ,
Elementary Calculus: an Approach Using Infinitesi- mals, 1986. ,
Probabilistic Dynamic Epistemic Logic, Journal of Logic, Language and Information, vol.12, issue.4, pp.381-408, 2003. ,
DOI : 10.1023/A:1025050800836
As the World Turns: On the Logic of Public Update, 2005. ,
Generalized Qualitative Probability: Savage Revisited, Twelfth Conference on Uncertainty in Artificial Intelligence, pp.381-388, 1996. ,
Recent Work in Epistemic Logic, Acta Philosophica, vol.30, 1978. ,
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, 2001. ,
Changing Modalities, Journal of Logic and Computation, vol.14, issue.2, pp.251-275, 2004. ,
A General Non-Probability Theory of Inductive Reasoning, Uncertainty in Artificial Intelligence, vol.4, pp.149-158, 1988. ,
General Belief Measure, Tenth Conference on Uncertainty in Artificial Intelligence, pp.575-582, 1994. ,
We have to show x+y = x +y and x ,