%0 Conference Paper %1 conf/kr/CalvaneseGV02 %A Calvanese, Diego %A Giacomo, Giuseppe De %A Vardi, Moshe Y. %B KR %D 2002 %E Fensel, Dieter %E Giunchiglia, Fausto %E McGuinness, Deborah L. %E Williams, Mary-Anne %I Morgan Kaufmann %K LTL planning %P 593-602 %T Reasoning about Actions and Planning in LTL Action Theories. %U http://dblp.uni-trier.de/db/conf/kr/kr2002.html#CalvaneseGV02 %@ 1-55860-554-1

@inproceedings{conf/kr/CalvaneseGV02, added-at = {2012-01-17T19:14:28.000+0100}, author = {Calvanese, Diego and Giacomo, Giuseppe De and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/25eded51e950c797c35fb49800e09992e/alessandropinto}, booktitle = {KR}, crossref = {conf/kr/2002}, description = {dblp}, editor = {Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, interhash = {c5896f188eec8b54e0e9c13cb15930f8}, intrahash = {5eded51e950c797c35fb49800e09992e}, isbn = {1-55860-554-1}, keywords = {LTL planning}, pages = {593-602}, publisher = {Morgan Kaufmann}, timestamp = {2012-01-17T19:14:28.000+0100}, title = {Reasoning about Actions and Planning in LTL Action Theories.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2002.html#CalvaneseGV02}, year = 2002 }