Home Advanced Search

Advanced Search - Page 1

Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer (auth.), João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum (eds.)
Agents for Games and Simulations II: Trends in Techniques, Concepts and Design
  • PDF
  • English
  • Year: 2011
  • Author: Koen V. Hindriks, Birna van Riemsdijk, Tristan Behrens, Rien Korstanje (auth.), Frank Dignum (eds.)
Agents for Games and Simulations II: Trends in Techniques, Concepts and Design
  • PDF
  • English
  • Year: 2011
  • Author: Koen V. Hindriks, Birna van Riemsdijk, Tristan Behrens, Rien Korstanje (auth.), Frank Dignum (eds.)
Agents for Games and Simulations II: Trends in Techniques, Concepts and Design
  • PDF
  • English
  • Year: 2011
  • Author: Koen V. Hindriks, Birna van Riemsdijk, Tristan Behrens, Rien Korstanje (auth.), Frank Dignum (eds.)
Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Tsz-Chiu Au, Ugur Kuter, Dana Nau (auth.), Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina (eds.)