Martin Magnusson, Patrick Doherty. Deductive Planning with Temporal Constraints. In Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. pages 95-100, AAAI, 2007. [doi]
@inproceedings{MagnussonD07, title = {Deductive Planning with Temporal Constraints}, author = {Martin Magnusson and Patrick Doherty}, year = {2007}, url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-017.php}, researchr = {https://researchr.org/publication/MagnussonD07}, cites = {0}, citedby = {0}, pages = {95-100}, booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007}, publisher = {AAAI}, }