Miracles in formal theories of action

DOI10.1016/0004-3702(89)90059-3zbMath0688.68088OpenAlexW2016443760MaRDI QIDQ1264002

Arkady Rabinov, Vladimir Lifschitz

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90059-3

zbMATH Keywords

reasoning about actionssituation calculuscircumscription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99)

Related Items (4)

Motivated action theory: A formal theory of causal reasoning ⋮ Abduction versus closure in causal theories. ⋮ Changing times: a causal theory of probabilistic temporal reasoning ⋮ A circumscriptive calculus of events

Cites Work

• Circumscription - a form of non-monotonic reasoning
• Unnamed Item

This page was built for publication: Miracles in formal theories of action