Publications: M. Witkowski

M. Witkowski's publications in journals

M. Shanahan, M. Witkowski, Event Calculus Planning Through Satisfiability, The Journal of Logic and Computation, vol. 14, pp. 731-745 (2004).

M. Witkowski's publications in conferences (Peer Reviewed)

D. Randell, M. Witkowski, M. Shanahan, From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax, Proceedings IJCAI (2001).

M. Witkowski's publications in workshops (Peer Reviewed)

M. Shanahan, M. Witkowski, High-Level Robot Control Through Logic, Proceedings ATAL 2000, published as Intelligent Agents VII, Springer-Verlag (2000).