Reasoning about actions: steady versus stabilizing state constraints

DOI10.1016/S0004-3702(98)00084-8zbMath0909.68136OpenAlexW2096832512MaRDI QIDQ1274697

Michael Thielscher

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00084-8

zbMATH Keywords

causalitytemporal reasoningramification problem

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (2)

The ramification problem in temporal databases: Concurrent execution ⋮ The qualification problem: A solution to the problem of anomalous models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new deductive approach to planning
• Reasoning about action. I: A possible worlds approach
• Reasoning about action. II: The qualification problem
• Frames in the space of situations
• Representing action: indeterminacy and ramifications
• Ramification and causality
• STRIPS: A new approach to the application of theorem proving to problem solving
• A theory of complete logic programs with equality
• Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

This page was built for publication: Reasoning about actions: steady versus stabilizing state constraints