A dynamic logic for acting, sensing, and planning

DOI10.1093/logcom/10.6.787zbMath0965.03040OpenAlexW2171092368MaRDI QIDQ4528038

Luca Spalazzi, Paolo Traverso

Publication date: 29 January 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/10.6.787

zbMATH Keywords

failuredynamic logicsensing actionstheory of actionsplanning actionsreactive planning systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (4)

Propositional dynamic logic with quantification over regular computation sequences ⋮ Model checking propositional dynamic logic with all extras ⋮ A planning language for embedded systems ⋮ Common-sense reasoning as proto-scientific agent activity

Uses Software

• GOLOG
• Nuprl

This page was built for publication: A dynamic logic for acting, sensing, and planning