Features and fluents the representation of knowledge about dynamical systems - Sandewall, Erik