Reasoning about action and change

• 1 April 1996
• journal article
• Published by Springer Nature in Journal of Logic, Language and Information
• Vol. 5  (2)
• https://doi.org/10.1007/bf00173701

Abstract

Keywords

• PROPOSITIONAL DYNAMIC LOGIC
• FRAME PROBLEM
• YALE SHOOTING PROBLEM
• PLANNING
• MULTIAGENT DOMAINS
• THE ANY ACTION
• SCOPED NON-MONOTONIC REASONING
• TEMPORAL PROPERTIES