The following pages link to How to progress a database. III (Q360114):
Displaying 5 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Model-theoretical foundation of action and progression (Q1373857) (← links)
- How to progress a database (Q1402735) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- Action Theories over Generalized Databases with Equality Constraints (Q2938514) (← links)