The following pages link to (Q5751985):
Displaying 20 items.
- Revision with probability (Q507355) (← links)
- Notes on the history of ideas behind AGM (Q535325) (← links)
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- Propositional knowledge base revision and minimal change (Q1189876) (← links)
- In defense of base contraction (Q1193750) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Deriving properties of belief update from theories of action (Q1334984) (← links)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Default reasoning and belief revision: A syntax-independent approach (Q1587335) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- A decomposition based algorithm for maximal contractions (Q2418656) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- Logical verification of scientific discovery (Q5046390) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5899160) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5920375) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Dynamic adaptation of rules bases under cognitive constaints. (Q5953325) (← links)
