Laura Giordano, Alberto Martelli, Daniele Theseider Dupré. Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 176-190, CEUR-WS.org, 2012. [doi]
Abstract is missing.