The following pages link to Updates and subjunctive queries (Q1891151):
Displayed 4 items.
- Knowledgebase transformations (Q676426) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- An overview of transaction logic (Q1341707) (← links)