e CIG: Conference Papers


Conference Papers

TypPersonenJahr

 Filter:                 

Konferenzbeiträge (280)

Jamroga, Wojciech and Bulling, Nils: Comparing Variants of Strategic Ability, 2011

Köster, Michael and Lohmann, Peter: Abstraction for model checking modular interpreted systems over ATL, AAMAS '11, International Foundation for Autonomous Agents and Multiagent Systems, 2011

Behrens, Tristan: Agent-Oriented Control in Real-Time Computer Games, LNAI, Volume 5919, Springer Verlag, 2010

Bulling, Nils and Farwer, Berndt: On the (Un-)Decidability of Model-Checking Resource-Bounded Agents, 2010

Bulling, Nils and Farwer, Berndt: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, LNCS 6214, 2010

Bulling, Nils and Jamroga, Wojciech: Verifying Agents with Memory is Harder than It Seemed, ACM Press, 2010

Hindriks, Koen V. and van Riemsdijk, M. Birna and Behrens, Tristan and Korstanje, Rien and Kraaijenbrink, Nick and Pasman, Wouter and de Rijk, Lennard: Unreal GOAL Agents, 2010

Jamroga, Wojciech and Bulling, Nils: Comparing Variants of Strategic Ability, 2010

Schlesinger, Federico and Errecalde, Marcelo and Aguirre, Guillermo: An approach to integrate web services and argumentation into a BDI system, AAMAS '10, International Foundation for Autonomous Agents and Multiagent Systems, 2010

Behrens, T. and Farwer, B.: An Infrastructure of Hierarchy and Processes for Multiple Agents in Games AI, 2009

Ergebnisse 11 bis 20 von 280

<<

<

1

2

3

4

5

6

7

8

9

10

>

>>

Ergebnisse als BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2018