论文信息 - An Investigation of Actions, Change and Space - 字舞流文

An Investigation of Actions, Change and Space

This work investigates the spatial knowledge and automated solution of a domain composed of non-trivial objects such as strings and holed objects.

Pedro Cabalar | Paulo E. Santos

[1] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[2] Pedro Cabalar,et al. The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology , 2008, Spatial Cogn. Comput..

[3] David Pearce,et al. Quantified Equilibrium Logic and Foundations for Answer Set Programs , 2008, ICLP.

[4] Pedro Cabalar,et al. Formalising the Fisherman's Folly puzzle , 2011, Artif. Intell..