%0 Conference Paper %1 conf/kr/GiordanoMD12 %A Giordano, Laura %A Martelli, Alberto %A Dupré, Daniele Theseider %B KR %D 2012 %E Brewka, Gerhard %E Eiter, Thomas %E McIlraith, Sheila A. %I AAAI Press %K dblp %T Achieving Completeness in Bounded Model Checking of Action Theories in ASP. %U http://dblp.uni-trier.de/db/conf/kr/kr2012.html#GiordanoMD12 %@ 978-1-57735-560-1

@inproceedings{conf/kr/GiordanoMD12, added-at = {2021-02-09T00:00:00.000+0100}, author = {Giordano, Laura and Martelli, Alberto and Dupré, Daniele Theseider}, biburl = {https://www.bibsonomy.org/bibtex/24b83d1c8943be5b95ee7704dc471493f/dblp}, booktitle = {KR}, crossref = {conf/kr/2012}, editor = {Brewka, Gerhard and Eiter, Thomas and McIlraith, Sheila A.}, ee = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4532}, interhash = {dea1a8ea596d12d636038339079e044c}, intrahash = {4b83d1c8943be5b95ee7704dc471493f}, isbn = {978-1-57735-560-1}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2024-04-10T13:34:12.000+0200}, title = {Achieving Completeness in Bounded Model Checking of Action Theories in ASP.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2012.html#GiordanoMD12}, year = 2012 }