Provably correct theories of action
From MaRDI portal
Publication:4369865
DOI10.1145/201019.201021zbMath0886.68122OpenAlexW2030335628MaRDI QIDQ4369865
Publication date: 2 February 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/201019.201021
Related Items
Situation calculus specifications for event calculus logic programs, Proof systems for planning under 0-approximation semantics, Reasoning about actions with loops via Hoare logic, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Complexity results for structure-based causality., Proving properties of states in the situation calculus