%0 Conference Paper %1 conf/aaai/GiacomoLPS16 %A Giacomo, Giuseppe De %A Lespérance, Yves %A Patrizi, Fabio %A Sardiña, Sebastian %B AAAI %D 2016 %E Schuurmans, Dale %E Wellman, Michael P. %I AAAI Press %K dblp %P 950-956 %T Verifying ConGolog Programs on Bounded Situation Calculus Theories. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#GiacomoLPS16 %@ 978-1-57735-760-5

@inproceedings{conf/aaai/GiacomoLPS16, added-at = {2023-09-04T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Lespérance, Yves and Patrizi, Fabio and Sardiña, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/29fd801b2e2c3a8c1188193db00ba2345/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2016}, editor = {Schuurmans, Dale and Wellman, Michael P.}, ee = {https://doi.org/10.1609/aaai.v30i1.10117}, interhash = {2dc40d730408510876b5b061c6c6263a}, intrahash = {9fd801b2e2c3a8c1188193db00ba2345}, isbn = {978-1-57735-760-5}, keywords = {dblp}, pages = {950-956}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:14:38.000+0200}, title = {Verifying ConGolog Programs on Bounded Situation Calculus Theories.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#GiacomoLPS16}, year = 2016 }