Knowledge-Based Behavior Specification. - Vladimir Gorodetsky; Vladimir Samoylov; D. Trotsky; Sergey Serebryakov (Web Intelligence/IAT Workshops, 2012)