Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic inference based on expectations
Artificial Intelligence
A foundational theory of belief and belief change
Artificial Intelligence
A foundationalist view of the AGM theory of belief change
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
Normal conditions for inference relations and injective models
Theoretical Computer Science
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science
| Hi-index | 5.23 |
A notion of an image structure associated with the canonical epistemic state is introduced. Based on it, we get a representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion (wci) in terms of F-standard epistemic AGM states. In effect, this result establishes a representation theorem for belief contraction functions satisfying AGM postulates (k-1) - (k-7), and Rott's (wci) and (k-8c), and hence generalizes Rott's corresponding result in the finite framework.