Features and fluents : the representation of knowledge about dynamical systems - Sandewall, Erik (Oxford logic guides ; ;, 1994)