Pages that link to "Item:Q676453"
From MaRDI portal
The following pages link to The complexity of nested counterfactuals and iterated knowledge base revisions (Q676453):
Displaying 8 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Knowledgebase transformations (Q676426) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Preference-based belief revision for rule-based agents (Q1024129) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- Belief Merging by Examples (Q5277910) (← links)
- Mixed Iterated Revisions: Rationale, Algorithms, and Complexity (Q6116365) (← links)