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

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

Document Versions

Using Temporal Logics to Express Search Control Knowledge for Planning –Fahiem Bacchus, Froduald Kabanza — 1999 — ARTIFICIAL INTELLIGENCE
Using temporal logics to express search control knowledge for planning –Fahiem Bacchus, Froduald Kabanza, Universite De Sherbrooke — 2001 — In LP-Workshop on Computational Logic in Multi-Agent Systems (CLIMA
Using Temporal Logics to Express Search Control Knowledge for Planning –Fahiem Bacchus, Froduald Kabanza, Universite De Sherbrooke — 2000 — Artificial Intelligence