On Saturday, September 06, 2008 at 9:00 CET in lecture room I-9 we will welcome special guests Chiaki Sakama from Wakayama University and Katsumi Inoue from National Institute of Informatics in Japan.

Programme

Session 1: Invited Talks

  • 09:00 Chiaki Sakama: An overview of the research on updates, PLP and MAS (1 hour)
  • 10:00 Katsumi Inoue: On equivalence and generality relations in ASP (1 hour)
  • 11:00 short break (15 min)

Session 2

  • 11:15 Martin Takáč: Automated Construction of Meaning (20 min)
  • 11:35 Ján Šefránek: Logic Programs, Preferences, Updates (20 min)
  • 11:55 Martin Baláž: Embedding Defeasible Argumentation in Answer Set Programming (20 min)
  • 12:15 Peter Klimo: Using Evolp for representation of Beliefs and Goals in BDI architecture (20 min)
  • 12:35 short break (5 min)

Session 3

  • 12:40 Jozef Šiška: Knowledge Representation of the World of Computer Games in Terms of Dynamic Logic Programming (20 min)
  • 13:00 Martin Homola: Studying Knowledge Propagation in Distributed Description Logics (20 min)
  • 13:20 Andrej Lúčny: Multi-agent Systems, an Overview of Research (20 min)
  • 13:40 Michal Malý: Cognitive Assembler (20 min)

Detailed programme for the last two lectures will be announced.