Output details
11 - Computer Science and Informatics
University of Nottingham
Output title
A logic for coalitions with bounded resources
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
21st International Joint Conference on Artificial Intelligence (IJCAI-09)
Volume number
-
Issue number
-
First page of article
659
ISSN of proceedings
-
Year of publication
2009
Number of additional authors
3
Additional information
<11> This is the first paper to formalise resource-bounded strategic interaction in multi-agent systems. The paper is one of the key outputs of EPSRC project EP/E031226 on Verifying Requirements for Resource-Bounded Agents, and led to the further EPSRC project EP/K033905 on Verification of Resource-Bounded Multi-Agent Systems. IJCAI is the main international conference on artificial intelligence, ranked second in AI conferences and in the top 1% of all Computer Science conferences by Microsoft Academic, and A-ranked by the Australian Research Council (ERA 2010). The acceptance rate in 2009 was 25.7% by double-blind peer review.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-