doi dblp Knowledge-based assessment of behavior in dynamic environments Michael Cebulla Proceedings of the 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems, KRAS 2005, Bremen, Germany, November 4, 2005, 2005