Updating logical databases
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
A unified model of qualitative belief change: a dynamical systems perspective
Artificial Intelligence
Propositional belief base update and minimal change
Artificial Intelligence
The complexity of belief update
Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Failure proximity: a fault localization-based approach
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Causal theories of action: a computational core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Updating action domain descriptions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief change: a transition system approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Verified AsmL Implementation of Belief Revision
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
Knowledge forgetting: Properties and applications
Artificial Intelligence
A conceptual agent model based on a uniform approach to various belief operations
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Updating action domain descriptions
Artificial Intelligence
Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
Although many papers about belief update have been written, its precise scope still remains unclear. In this paper we aim at identifying this scope, and we show that belief update is a specific case of feedback-free action progression. This strong connection with the field of reasoning about action leads us to reconsider belief update and investigate new issues, especially reverse update, which is to regression what update is to progression.