The following pages link to On specifying database updates (Q3128529):
Displaying 7 items.
- Knowledgebase transformations (Q676426) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Deriving properties of belief update from theories of action (Q1334984) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- How to progress a database (Q1402735) (← links)
- Abduction to plausible causes: an event-based model of belief update (Q2171257) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
