http://www.in.tu-clausthal.de/ Institut für Informatik Computational Intelligence de http://www.in.tu-clausthal.de/typo3/ext/tt_news/ext_icon.gif http://www.in.tu-clausthal.de/ 18 16 Institut für Informatik Computational Intelligence TYPO3 - get.content.right http://blogs.law.harvard.edu/tech/rss Sun, 14 Apr 2013 22:58:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/04/14/visit-mr-pilecki/ This week we have a guest at our institute. His name is Jerzy Pilecki and he will stay from... Sun, 14 Apr 2013 22:58:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/04/12/oberseminar-14/ Finding strategies for agents with limited information and memory Abstract: ATL (Alternating-time Temporal Logic) is a branching-time temporal logic that describes computations of multi-agent systems. The main focus of ATL is the ability of a group of agents to enforce properties.

The "classical" approach assumes agents having perfect information about the current state of all other agents, as well as having perfect recall of each of the execution steps of the system. It has been argued that in real-life systems both assumptions are likely to be false. Discarding both of them leads to the imperfect information and imperfect recall variant of ATL, the ATL-ir logic.

This talk will discuss the challenges that come with performing the task of model-checking ATL-ir properties of multi-agents systems. This task is equivalent to finding a strategy for a group of agents. A strategy can be viewed as an algorithm that prescribes what actions should an agent perform in any of his states.]]> Fri, 12 Apr 2013 09:43:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/04/12/pro-hauptseminar/ AI and Intelligent Agent Systems Fri, 12 Apr 2013 09:38:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/03/01/welcome-matei/ Fri, 01 Mar 2013 08:00:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/02/13/the-kickoff-workshop-for-the-galot-project-took-place/ The Kickoff-Workshop for the new German-Luxemburg Galot project took place in... Galot project took place in the TU-Clausthal on February 11-13.]]> Wed, 13 Feb 2013 20:21:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/02/12/mateis-talk/ Matei gave the talk "A logical method for temporal knowledge representation and... Tue, 12 Feb 2013 12:00:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/02/09/wojtek-visits-us/ Our colleague Wojtek visited us from 09-02-2013 to 16-02-2013. Sat, 09 Feb 2013 20:42:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/01/18/multi-agent-programming-contest-2013/ The CIG will organize the Multi-Agent Programming Contest for the 9th consecutive year. The 2013... Multi-Agent Programming Contest for the 9th consecutive year. The 2013 edition will be officially announced in the near future.]]> Fri, 18 Jan 2013 15:58:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/01/12/the-swz-finally-takes-shape/ CIG is involved with a project jointly with our colleague Jörg Müller. Sat, 12 Jan 2013 12:55:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/01/10/kickoff-workshop-for-the-new-german-luxemburg-galot-project/ We organize a Kickoff-Workshop from February 11-13 for the new German-Luxemburg Galot project. Thu, 10 Jan 2013 12:52:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2013/01/01/happy-new-year-1/ CIG wishes all our colleagues and collaborators a very Happy New Year! Tue, 01 Jan 2013 12:40:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/12/21/dagstuhl-seminar-12342-engineering-multi-agent-systems/ Report published http://www.dagstuhl.de/dagrep).

The report is available online at http://dx.doi.org/10.4230/DagRep.2.8.74]]> Fri, 21 Dec 2012 15:02:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/12/03/michael-in-luxembourg/ In the first week of December Michael is visiting Wojtek Jamroga in Luxembourg to discuss the new... Mon, 03 Dec 2012 13:05:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/11/02/phdpostdoc-position/ The chair of Computational Intelligence is seeking to hire a postdoctoral research fellow or PhD... here.]]> Fri, 02 Nov 2012 08:00:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/10/10/pro-hauptseminar-meeting-1/ We will meet on wednesday, 17th October at 15:00 to assign the topics of our Pro-/Hauptseminar: AI... Wed, 10 Oct 2012 18:28:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/10/04/the-it-ecosystems-project-finished-successfully/ The IT Ecosystems project (where Jürgen and Michael were involved) ended in October. Thu, 04 Oct 2012 13:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/10/01/farewell-tristan/ Our dear colleague, Dr. Tristan Behrens decided to hit the road and switch to industry. He is... Mon, 01 Oct 2012 08:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/09/25/new-lecture-verification-of-concurrent-systems/ Next term (WS 2012/2013) we offer the new lecture "Verification of Concurrent Systems"...
For additional information, please do not hesitate to contact Dr. Nils Bulling.]]> Tue, 25 Sep 2012 08:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/08/19/cig-at-dagstuhl-1/ Juergen and Federico are at Dagstuhl attending the seminar "Engineering Multi-Agent... Sun, 19 Aug 2012 08:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/06/18/-8d7d16dd39/ Jürgen is attending the Turing Centenary conference organised at Cambridge (18-24 June). Turing... Mon, 18 Jun 2012 12:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/06/04/nils-gives-tutorial-at-aamas12/ Nils gives, jointly with Natasha Alechina and Brian Logan, the tutorial "Logics and... Mon, 04 Jun 2012 09:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/05/31/juergen-and-nils-give-tutorial-at-easss-2012/ Jürgen and Nils give the tutorial "Introduction to the Modelling and Verification of, and... Thu, 31 May 2012 15:00:00 +0200 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/03/21/multi-agent-programming-contest-2012/ We have just announced another iteration of the Multi-Agent Programming Contest. See this page for... See this page for more details.]]> Wed, 21 Mar 2012 09:38:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/02/20/wojtek-in-clausthal/ Wojtek visits us in order to strengthen our research collaboration. Mon, 20 Feb 2012 15:20:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/02/15/dagstuhl-seminar-accepted-1/ The Dagstuhl Seminar "Engineering Multi-Agent Systems" has been accepted. Wed, 15 Feb 2012 08:02:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2012/02/01/tristans-viva/ Today, our cherished colleague Tristan successfully defended his PhD-thesis. We congratulate and... Wed, 01 Feb 2012 17:45:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2011/12/19/nils-in-the-netherlands/ Nils has been invited to an international workshop on "Multi-Agent Organisation". The... Mon, 19 Dec 2011 08:00:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2011/12/12/michael-in-luxemburg/ 12th till 15th of December: Michael is visiting Wojtek Jamroga in Luxembourg und gives a... Mon, 12 Dec 2011 12:12:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2011/11/05/dagstuhl-seminar-approved/ A Dagstuhl seminar on "Belief Change and Argumentation in Multi-Agent Scenarios" by...
]]> Sat, 05 Nov 2011 09:00:00 +0100 http://www.in.tu-clausthal.de/abteilungen/cig/cigroot/news/news-archive/news-details/datum/2011/10/30/juergen-in-berlin-1/ Jürgen attends the Abschiedssymposium for Prof. Gerhard Roth, the president of the Studenstiftung,... http://www.studienstiftung.de/pressemitteilungen.html?user_press[uid]=219&cHash=ed1463179aca51c54ad2c8b9644022de]]> Sun, 30 Oct 2011 09:00:00 +0100