e CIG: Technical Reports

Technical Reports

Type Persons Year

Filter:

Technical Reports (121)

Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Documentation, 2012
Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, 2012
Behrens, Tristan and Dastani, Mehdi and Dix, J: The Multi-Agent Programming Contest from 2005-2010: From Gold Collecting to Herding Cows, 2010
Behrens, Tristan M. and Hindriks, Koen and H: 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: DemSy - A Scenario for an Integrated Demonstrator in a SmartCity, 2010
Dix, J: Where Logic and Agents Meet, 2010
Hammer, Barbara and Hasenfuss, Alexander: Topographic Mapping of Large Dissimilarity Data Sets, 2010
K: Abstraction for Model Checking Modular Interpreted Systems over ATL, 2010

Results 1 - 10 of 121

<<

<

1

2

3

4

5

6

7

8

9

10

>

>>
Show results as BibTeX-Code
© TU Clausthal 2013 · Imprint