International Lecturing

2012

  • EASSS 2012, T4 Introduction to the modelling and verification of, and reasoning about multi-agent systems (Website, Slides)
  • Logics and Multi-Agent Programming Languages at the 11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’12) in Valencia, Spain, June 2012. Together with Natasha Alechina, Mehdi Dastani and Brian Logan.

2011

  • ESSLLI 2011, 23rd European Summer School in Logic, Language and Information, Ljubljana, Slovenia. Course "Decision Problems and Decision Procedures for Strategic Logics" by N. Bulling and W. Jamroga. (Website)

2010

  • EASSS 2010, 12th European Agent Systems Summer School, St. Etienne, France. Course "Model Checking Temporal and Strategic Logics" by N. Bulling (lecturer) and J. Dix. (Website)

2009

  • EASSS 2009, 11th European Agent Systems Summer School, Torino, ltaly. Course "Coalitional Games" by W. Jamroga and S. Airiau. (Slides, Handouts)

2008

  • EASSS 2008, 10th European Agent Systems Summer School, Lisbon, Portugal. Course "What Coalitions Can Achieve" by J. Dix and W. Jamroga. (Slides)
  • ESSLLI 2008, 20th European Summer School in Logic, Language and Information, Hamburg, Germany. "Modal Logics for Games and Multi-Agent Systems" by T. Agotnes and W. Jamroga (Slides)

2007

  • Invited course "Decision Making in Multiagent Systems" by J. Dix in Paris, France. (Slides)
  • EASSS 2007, 9th European Agent Systems Summer School, Durham, Great Britain. Course "Modal Logic for Multi-Agent Systems" by J. Dix and W. Jamroga. (Slides)
  • ESSLLI 2007, 19th European Summer School in Logic, Language and Information, Dublin, Ireland. Advanced Course "Modeling the Dynamics of Knowledge Two Traditions: Logic Programming vs. Modal Logic" by J. Dix and W. Jamroga (Slides)

2006

  • EASSS 2006, 8th European Agent Systems Summer School, Annecy, France. Course "Modal Logics for Multiagent Systems" by J. Dix and W. Jamroga. (Slides)
  • ESSLLI 2006, European School on Logic, Language and Information 2006, Malaga, Spain. Introductory Course "Modal Logics for Multiagent Systems" by W. Jamroga. (Slides)

2003

  • NICTA 2003, National ICT Australia, Sydney, Australia. Lecture course "Combining Agents, Answer Sets and Planning" by J. Dix. (Slides)

2002

  • ESSLLI 2002, European School on Logic, Language and Information 2002, Trento, Italy. Introductory Course "Heterogeneous Agent Systems" by J. Dix and Th. Eiter. (Slides)

2001

  • "Advanced Algorithms 2nd semester" by J. Dix, Manchester, Great Britain. (Slides)

2000

  • "Multi-Agenten Systeme" by J. Dix, Vienna, Austria. (Slides)
  • "General Multi-Agent Systems" by J. Dix Bahia Blanca, Argentina. (Slides)
  • "Heterogenous Active Agents" by J.Dix Ushuaia, Argentina. (Slides)

1999

  • "Algorithms and Complexity" by J. Dix at the University of Maryland, USA.

1998

  • "Knowledge Representation in NMR and LP" by J. Dix in Bahia Blanca, Argentina. (Slides)

1997

  • "Computational Logic und Wissensrepräsentation by J. Dix, Vienna, Austria. (Slides)

1996

  • ECAI 2006, International Conference on Electronics, Computers and Artificial Intelligence, Budapest, Hungary. Tutorial "Knowledge Representation with Logic Programming using Negation, Preferences, Disjunction" by J. Dix and G. Brewka. (Slides)
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017