e CIG: Technical Reports


Technical Reports

TypPersonenJahr

 Filter:                 

Technische Berichte (121)

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael and Schlesinger, Federico: Multi-Agent Programming Contest 2011 Edition Documentation, 2012

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael and Schlesinger, Federico: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, 2012

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Köster, Michael and Novák, Peter: The Multi-Agent Programming Contest from 2005-2010: From Gold Collecting to Herding Cows, 2010

Behrens, Tristan M. and Hindriks, Koen and Hübner, Jomi and Dastani, Mehdi: Putting APL Platforms to the Test: Agent Similarity and Execution Performance, 2010

Bulling, Nils: Model Checking Coalition Logic on Implicit Models is Delta3-complete, 2010

Bulling, Nils and Farwer, Berndt: On the Decidability of Verifying Resource-Bounded Agents, 2010

Deiters, Constanze and Köster, Michael and Lange, Sandra and Lützel, Sascha and Mokbel, Bassam and Mumme, Christopher and Niebuhr, Dirk: DemSy - A Scenario for an Integrated Demonstrator in a SmartCity, 2010

Dix, Jürgen and Fisher, Michael: Where Logic and Agents Meet, 2010

Hammer, Barbara and Hasenfuss, Alexander: Topographic Mapping of Large Dissimilarity Data Sets, 2010

Köster, Michael and Lohmann, Peter: Abstraction for Model Checking Modular Interpreted Systems over ATL, 2010

Ergebnisse 1 bis 10 von 121

<<

<

1

2

3

4

5

6

7

8

9

10

>

>>

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2017