Vol-3584⫷ Vol-3585 ⫸Vol-3586
urn:nbn:de:0074-3585-0


Vol-3585/paper9_RCRA8⫷Vol-3585/paper10_RCRA6⫸Vol-3585/paper11_SPIRIT01
Mikhail SoutchanskiRyan Young

Planning as Theorem Proving with Heuristics