The complexity of belief update

The Complexity of Logic Program Updates

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence

Knowledge updates: semantics and complexity issues

Artificial Intelligence

Reasoning under minimal upper bounds in propositional logic

Theoretical Computer Science

Belief update revisited

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Causal theories of action: a computational core

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection

Journal of Artificial Intelligence Research

Updates, actions, and planning

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Knowledge updates: Semantics and complexity issues

Artificial Intelligence

On the complexity of theory curbing

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Updating action domain descriptions

Artificial Intelligence

Revision forever!

ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application

Propositional Update Operators Based on Formula/Literal Dependence

ACM Transactions on Computational Logic (TOCL)