no code implementations • 15 Jul 2023 • Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz.