Laura Giordano, Alberto Martelli, Daniele Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]
@inproceedings{GiordanoMD12,
title = {Achieving Completeness in Bounded Model Checking of Action Theories in ASP},
author = {Laura Giordano and Alberto Martelli and Daniele Theseider Dupré},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4532},
researchr = {https://researchr.org/publication/GiordanoMD12},
cites = {0},
citedby = {0},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012},
editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
publisher = {AAAI Press},
isbn = {978-1-57735-560-1},
}