%0 Conference Paper %1 conf/kr/VassosLL08 %A Vassos, Stavros %A Lakemeyer, Gerhard %A Levesque, Hector J. %B KR %D 2008 %E Brewka, Gerhard %E Lang, Jérôme %I AAAI Press %K dblp %P 662-672 %T First-Order Strong Progression for Local-Effect Basic Action Theories. %U http://dblp.uni-trier.de/db/conf/kr/kr2008.html#VassosLL08 %@ 978-1-57735-384-3

@inproceedings{conf/kr/VassosLL08, added-at = {2021-02-09T00:00:00.000+0100}, author = {Vassos, Stavros and Lakemeyer, Gerhard and Levesque, Hector J.}, biburl = {https://www.bibsonomy.org/bibtex/22936eba24221a9e0a411a3f2d62c3ace/dblp}, booktitle = {KR}, crossref = {conf/kr/2008}, editor = {Brewka, Gerhard and Lang, Jérôme}, ee = {http://www.aaai.org/Library/KR/2008/kr08-065.php}, interhash = {6fad320c85e1aaa8a821499bd597fd8b}, intrahash = {2936eba24221a9e0a411a3f2d62c3ace}, isbn = {978-1-57735-384-3}, keywords = {dblp}, pages = {662-672}, publisher = {AAAI Press}, timestamp = {2024-04-10T13:34:28.000+0200}, title = {First-Order Strong Progression for Local-Effect Basic Action Theories.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2008.html#VassosLL08}, year = 2008 }