The following pages link to The complexity of belief update (Q1575185):
Displaying 13 items.
- Reexamination on updating Choquet beliefs (Q393275) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- The complexity of belief update (Q1575185) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Update of Probabilistic Beliefs: Implementation and Parametric Verification (Q3008105) (← links)
- A survey of belief revision and updating in classical logic (Q4293718) (← links)
- (Q4536337) (← links)
- On Computing Belief Change Operations using Quantified Boolean Formulas (Q4659952) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Modeling and shadowing paraconsistent BDI agents (Q6634281) (← links)