From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

From MaRDI portal
(Redirected from Publication:1606307)