Constructing Conditional Plans by a Theorem-Prover (1999)

View PDF

Download Links

by Jussi Rintanen
Venue:Journal of Artificial Intelligence Research
Citations:157 - 6 self

Document Versions

Constructing Conditional Plans by a Theorem-Prover –Jussi Rintanen — 1999 — Journal of Artificial Intelligence Research
Constructing Conditional Plans by a Theorem-Prover –Jussi Rintanen — 1999