How to progress a database
- 19 May 1997
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 92 (1-2) , 131-167
- https://doi.org/10.1016/s0004-3702(96)00044-6
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- On specifying database updatesThe Journal of Logic Programming, 1995
- Downward refinement and the efficiency of hierarchical problem solvingArtificial Intelligence, 1994
- State Constraints RevisitedJournal of Logic and Computation, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier ,1991
- Synthesizing plans that contain actions with context‐dependent effects1Computational Intelligence, 1988
- Updates, a new frontierPublished by Springer Nature ,1988
- ON THE SEMANTICS OF STRIPSPublished by Elsevier ,1987
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971