Ramification and causality
type: Item
instance of: scholarly article
title: Ramification and causality
zbMATH Open document ID: 1018.03514
DOI: 10.1016/S0004-3702(96)00033-1
author: Michael Thielscher
published in: Artificial Intelligence
publication date: 2003-07-30T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1956701
zbMATH Keywords: temporal reasoning
zbMATH Keywords: reasoning about actions
zbMATH Keywords: ramification problem
zbMATH Keywords: causality
zbMATH Keywords: fluent calculus
MaRDI profile type: Publication
cites work: Nonmonotonic reasoning in the framework of situation calculus
cites work: A deductive solution for plan generation
cites work: Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
cites work: How to Do Things with Worlds: on Formalizing Actions and Plans
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Representing action and change by logic programs
cites work: Reasoning about action. I: A possible worlds approach
cites work: Reasoning about action. II: The qualification problem
cites work: Linear logic
cites work: Nonmonotonic logic and temporal projection
cites work: A new deductive approach to planning
cites work: A theory of complete logic programs with equality
cites work: Q5750390
cites work: Frames in the space of situations
cites work: State Constraints Revisited
cites work: Generating plans in linear logic. I: Actions as proofs
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q5633670
cites work: Q4016561
cites work: Q4839154
cites work: Q5663383
cites work: SLDNF-resolution with equality
cites work: A Unification Algorithm for Associative-Commutative Functions
cites work: On the completeness of SLDENF-resolution
description: scientific article; zbMATH DE number 1956701