News

Jürgen in Delft

Jürgen gives a talk on "Strategic abilities of agents" at TU Delft.

Abstract:

In recent years, there has been a trend in the area of multi-agent

systems to model and reason about complex systems by using

appropriate logics.

In this talk, we focus on logics that have been defined to deal

with describing and reasoning about groups of agents and their

abilities: what are they able to bring about.

Starting from CTL, we discuss ATL and various extensions. We

discuss complexity results and, in particular, focus on symbolic

representations and their implication for the overall complexity.

We discuss several relatively new ideas to add plausibility

operators to ATL, to combine ATL with argumentation theory and to

combine branching time logic CTL* with Markov models: Markov

Temporal Logic (due to Jamroga).

We end our talk with some remarks about the Agent Contest that we are

organizing since a few years.

IfI-Kolloquium: "Polyhedral Finite Elements" am 06.02.2009, 14 Uhr s.t., Seminarraum 106

IfI-Kolloquium am 04.02.2009, 13 Uhr s.t., Seminarraum 210

NTH startet mit Großprojekt in der Informatik

Nachholklausur Wirtschaftsinformatik II

Die Nachholklausur zur Veranstaltung "Wirtschaftsinformatik II (Modellierung von Informationssystemen) findet am Dienstag, 3. Februar 2009, von 15:00 bis 17:00 Uhr im Audimax statt. Studierende, die die Klausur mitschreiben werden, werden gebeten, sich im Stud.IP in die Veranstaltung Klausur 'Wirtschaftsinformatik II (Modellierung von Informationssystemen) einzutragen.

Oral Exams Dix

Please contact our secretary.