Berlin / Cambridge / Lisbon / Nottingham / Brussels / New York / Ithaca / /
Company
MIT Press / IOS Press / Perini / Multiagent Systems / Multi-Agent Systems / Rao A. S. / ACM Press / Cornell University Press / AAAI Press / /
Country
Belgium / United Kingdom / / /
Facility
Computer Science University of Nottingham / University of Washington / /
IndustryTerm
intelligent systems / state transition systems / agent systems / software agents / agent systems using state transition systems / possible transition systems / transition systems / /
Organization
University of Washington / Model Checking and Artificial Intelligence / Rational Agency / Agent Architectures N. Alechina and B. S. Logan School / Department of Computer Science / MIT / Computer Science University / Experimental and Theoretical Artificial Intelligence / Cornell University / /
Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk