Erdem, E., Patoglu, V., & Saribatur, Z. G. (2015). Diagnostic Reasoning for Robotics Using Action Languages. In Logic Programming and Nonmonotonic Reasoning. 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ; Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw. Switzerland. https://doi.org/10.1007/978-3-319-23264-5_27