Summer 10 - Knowledge-Based Systems Group

Phone: &#43;49 241 80-21501 (secretariat) &#43;49 241 80-21530
Telefax: &#43;49 241 80-22321

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.