A fluent calculus semantics for ADL with plan constraints. In: (2008)

by C Drescher, M Thielscher
Venue:Proc. of JELIA 2008. LNCS,