The following pages link to The complexity of theory revision (Q1606294):
Displaying 6 items.
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
- Knowing what doesn't matter: exploiting the omission of irrelevant data (Q1127363) (← links)
- Finding optimal derivation strategies in redundant knowledge bases (Q1182170) (← links)
- Maximizing theory accuracy through selective reinterpretation (Q1592379) (← links)
- Bayesian knowledge base tuning (Q2353935) (← links)
- On the formal characterization of the FORTE_MBC theory revision operators (Q4555456) (← links)