Reasoning about actions: steady versus stabilizing state constraints
type: Item
instance of: scholarly article
title: Reasoning about actions: steady versus stabilizing state constraints
zbMATH Open document ID: 0909.68136
DOI: 10.1016/S0004-3702(98)00084-8
author: Michael Thielscher
published in: Artificial Intelligence
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68T01
zbMATH DE Number: 1238564
zbMATH Keywords: temporal reasoning
zbMATH Keywords: ramification problem
zbMATH Keywords: causality
MaRDI profile type: Publication
cites work: Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Reasoning about action. I: A possible worlds approach
cites work: Reasoning about action. II: The qualification problem
cites work: Representing action: indeterminacy and ramifications
cites work: A new deductive approach to planning
cites work: A theory of complete logic programs with equality
cites work: Q4296747
cites work: Frames in the space of situations
cites work: Q5633670
cites work: Q4016561
cites work: Ramification and causality
full work available at URL: s0004-3702(98)00084-8
OpenAlex ID: W2096832512
description: scientific article; zbMATH DE number 1238564