On specifying database updates
From MaRDI portal
Publication:3128529
DOI10.1016/0743-1066(95)00049-PzbMath0871.68075OpenAlexW2007034626MaRDI QIDQ3128529
Publication date: 5 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(95)00049-p
Related Items (7)
Deriving properties of belief update from theories of action ⋮ Semantic data modelling using linear logic ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ How to progress a database ⋮ Knowledgebase transformations ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Proving properties of states in the situation calculus
This page was built for publication: On specifying database updates
