Seminar Selected Topics on Specifying Intelligent Agents SS 2010

Contents In this seminar we take an in-depth look at several different approaches for specifying intelligent agents. Generally, the formal specification not only influences the actual behavior of the agent but the framework it is given in also determines its abilities to reason about its behavior.