Wael Yehia, Mikhail Soutchanski. Towards an Expressive Decidable Logical Action Theory. In Wolfram Burgard, Kurt Konolige, Maurice Pagnucco, Stavros Vassos, editors, Cognitive Robotics, Papers from the 2012 AAAI Workshop, CogRob@AAAI 2012, Toronto, Ontario, Canada, July 22-23, 2012. Volume WS-12-06 of AAAI Workshops, AAAI Press, 2012. [doi]
Abstract is missing.