%0 Journal Article %1 citeulike:102190 %A Bacchus, Fahiem %A Kabanza, Froduald %D 2000 %I Elsevier Science Publishers Ltd. %J Artificial Intelligence %K algorithm, automatic, logic, planner, planning, schedule, search, temporal %N 1-2 %P 123--191 %R 10.1016/S0004-3702(99)00071-5 %T Using temporal logics to express search control knowledge for planning %U http://dx.doi.org/10.1016/S0004-3702(99)00071-5 %V 116

@article{citeulike:102190, added-at = {2012-03-02T03:39:18.000+0100}, author = {Bacchus, Fahiem and Kabanza, Froduald}, biburl = {https://www.bibsonomy.org/bibtex/2afc4a1e3424c6382f8ff861e93bf15c0/baby9992006}, citeulike-article-id = {102190}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=330785}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, doi = {10.1016/S0004-3702(99)00071-5}, interhash = {a3da93ad84f74f84ca3e9f5a9f578dbc}, intrahash = {afc4a1e3424c6382f8ff861e93bf15c0}, issn = {00043702}, journal = {Artificial Intelligence}, keywords = {algorithm, automatic, logic, planner, planning, schedule, search, temporal}, month = jan, number = {1-2}, pages = {123--191}, posted-at = {2012-02-23 08:19:27}, priority = {2}, publisher = {Elsevier Science Publishers Ltd.}, timestamp = {2012-03-02T03:39:21.000+0100}, title = {{Using temporal logics to express search control knowledge for planning}}, url = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, volume = 116, year = 2000 }