www.ai-center.com


Reference: bacchus-00-tlplan

Bacchus, F., and Kabanza, F. 2000.
Using Temporal Logics to Express Search Control Knowledge for Planning.
Artificial Intelligence 116: 123-191.

Referenced by page:

Related link: