The following pages link to (Q4546713):
Displaying 6 items.
- Weakening conflicting information for iterated revision and knowledge integration (Q814566) (← links)
- Using local search to find MSSes and MUSes (Q1042194) (← links)
- Combining multiple prioritized knowledge bases by negotiation (Q2457024) (← links)
- A split-combination approach to merging knowledge bases in possibilistic logic (Q2643150) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Mixed Iterated Revisions: Rationale, Algorithms, and Complexity (Q6116365) (← links)