A Combined System for Update Logic and Belief Revision-Reference-Cited by-同舟云学术

A Combined System for Update Logic and Belief Revision

Published:2005 Issue: Volume: Page:1-17
ISSN:0302-9743
Container-title:Intelligent Agents and Multi-Agent Systems
language:
Short-container-title:

Author:

Aucher Guillaume

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-32128-6_1.pdf

Reference6 articles.

1. Baltag, A., Moss, L.S., Solecki, S.: Logic for epistemic program. Synthese 139, 165–224 (2004)

2. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)

3. Gardenfors, P., Rott, H.: Belief Revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4. Oxford University Press, Oxford (1995)

4. Spohn, W.: A general non-probability theory of inductive reasoning. In: Schachter, R.D., Levitt, T.S., Kanal, L.N., Lemmer, J.F. (eds.) Uncertainty in artificial intelligence, vol. 4, pp. 149–151. Norht-Holland, Amsterdam (1990)

5. Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105–134. Reidel, Dordrecht (1988)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Qualitative Theory of Cognitive Attitudes and their Change;Theory and Practice of Logic Programming;2021-04-06

2. A Computationally Grounded Logic of Graded Belief;Logics in Artificial Intelligence;2021

3. Dynamic epistemic logic in update logic;Journal of Logic and Computation;2016-03-07

4. Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief;Synthese;2016-03-04

5. A Fuzzy Dynamic Belief Logic System;International Journal of Intelligent Systems;2014-02-15