DMCA

Constructing Conditional Plans by a Theorem-Prover (1999)

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