Home Advanced Search

Advanced Search - Page 1

Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan (auth.), John-Jules Ch. Meyer, Jan Broersen (eds.)
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan (auth.), John-Jules Ch. Meyer, Jan Broersen (eds.)
Dynamics and Management of Reasoning Processes
  • PDF
  • English
  • Year: 2001
  • Author: John-Jules Ch. Meyer, Jan Treur (auth.), John-Jules Ch. Meyer, Jan Treur (eds.)
Agent-Based Defeasible Control in Dynamic Environments
  • PDF
  • English
  • Year: 2002
  • Author: John-Jules Ch. Meyer, Jan Treur (auth.), John-Jules Ch. Meyer, Jan Treur (eds.)
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib (auth.), Xiangdong He, John Horty, Eric Pacuit (eds.)
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib (auth.), Xiangdong He, John Horty, Eric Pacuit (eds.)
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (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.)
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.)
search