%0 Journal Article %1 journals/ai/BacchusK00 %A Bacchus, Fahiem %A Kabanza, Froduald %D 2000 %J Artif. Intell. %K dblp %N 1-2 %P 123-191 %T Using temporal logics to express search control knowledge for planning. %U http://dblp.uni-trier.de/db/journals/ai/ai116.html#BacchusK00 %V 116

@article{journals/ai/BacchusK00, added-at = {2003-11-19T00:00:00.000+0100}, author = {Bacchus, Fahiem and Kabanza, Froduald}, biburl = {https://www.bibsonomy.org/bibtex/22ebb21f66ff6f7a9aeeeb3d8d2821ac2/dblp}, date = {2003-11-19}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, interhash = {a3da93ad84f74f84ca3e9f5a9f578dbc}, intrahash = {2ebb21f66ff6f7a9aeeeb3d8d2821ac2}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {123-191}, timestamp = {2003-11-19T00:00:00.000+0100}, title = {Using temporal logics to express search control knowledge for planning.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai116.html#BacchusK00}, volume = 116, year = 2000 }