Pages that link to "Item:Q1415946"
From MaRDI portal
The following pages link to Fast algorithms for revision of some special propositional knowledge bases (Q1415946):
Displaying 3 items.
- The complexity of nested counterfactuals and iterated knowledge base revisions (Q676453) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)