The following pages link to (Q3198896):
Displaying 11 items.
- Static and dynamic aspects of goal-oriented concurrency control (Q1353964) (← links)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Note about cardinality-based circumscription (Q1575190) (← links)
- Override and update (Q2200953) (← links)
- A survey of belief revision and updating in classical logic (Q4293718) (← links)
- Notes on change and nonmonotony (Q4293720) (← links)
- Revision and action (Q4293723) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Explaining updates by minimal sums (Q5958777) (← links)
- Toward credible belief base revision (Q6088376) (← links)