%0 Conference Paper %1 conf/tableaux/MayerL02 %A Mayer, Marta Cialdea %A Limongelli, Carla %B TABLEAUX %D 2002 %E Egly, Uwe %E Fermüller, Christian G. %I Springer %K dblp %P 70-84 %T Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2002.html#MayerL02 %V 2381 %@ 3-540-43929-3

@inproceedings{conf/tableaux/MayerL02, added-at = {2017-05-26T00:00:00.000+0200}, author = {Mayer, Marta Cialdea and Limongelli, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2cbca15c1b4d696e6d5ea2254485c2179/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2002}, editor = {Egly, Uwe and Fermüller, Christian G.}, ee = {https://doi.org/10.1007/3-540-45616-3_6}, interhash = {b54d309917d483333c48fb31d8091982}, intrahash = {cbca15c1b4d696e6d5ea2254485c2179}, isbn = {3-540-43929-3}, keywords = {dblp}, pages = {70-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:47.000+0200}, title = {Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2002.html#MayerL02}, volume = 2381, year = 2002 }