Provably correct theories of action

DOI10.1145/201019.201021zbMath0886.68122OpenAlexW2030335628MaRDI QIDQ4369865

Fangzhen Lin, Yoav Shoham

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

zbMATH Keywords

temporal reasoningsituation calculusconcurrent actions

Mathematics Subject Classification ID

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