Using Temporal Logics to Express Search Control Knowledge for Planning (1999)

by Fahiem Bacchus , Froduald Kabanza
Venue:ARTIFICIAL INTELLIGENCE
Citations:274 - 11 self