Relating Belief Revision and Circumscription

  title={Relating Belief Revision and Circumscription},
  author={Paolo Liberatore and Marco Schaerf},
Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios. Both approaches have been proven effective in a number of different situations. However, little is known about their relationship. Previous work by Winslett has shown some correlations between a specific operator and circumscription. In this paper we greatly extend Winslett’s work by establishing new relations between circumscription and a large number of… CONTINUE READING

From This Paper

Topics from this paper.
9 Citations
33 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 33 references

In Proceedings of the Fourteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS’95)

  • M. Cadoli, F. M. Donini, P. Liberatore, M. Schaerf. The size of a revised knowledge base
  • pages 151–162,
  • 1995
1 Excerpt

In Proceedings of the Twelfth Symposium on Theoretical Aspects of Computer Science (STACS’95)

  • M. Cadoli, F. M. Donini, M. Schaerf. On compact representations of proposition circumscription
  • pages 205–216, 1995. Extended version as RAP.14…
  • 1995
1 Excerpt

Lifs - chitz . Actions with indirect e ects

  • G. N. Kharta, V.
  • 1991

Similar Papers

Loading similar papers…