Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change.
Valentin P. BakoevPublished in: CAI (2022)
Keyphrases
- minimal change
- belief revision
- belief change
- reasoning about actions
- multi valued
- logic program updates
- update operations
- boolean functions
- model theoretic
- multi dimensional
- partial order
- propositional knowledge base
- ctl model update
- knowledge base
- default reasoning
- situation calculus
- action theories
- distributed systems