Natasha Alechina
Expressing properties of coalitional ability under resource bounds
Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur
Authors
Contributors
Xiangdong He
Editor
John Horty
Editor
Eric Pacuit
Editor
Abstract
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource bounds on strategies. We show how to express interesting properties of coalitional ability under resource bounds in this logic, including properties of Coalitional Resource Games introduced by Wooldridge and Dunne in [1]. We also give an efficient model-checking algorithm for CLRG which makes it possible to verify the properties automatically. © Springer-Verlag 2009.
Citation
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Expressing properties of coalitional ability under resource bounds. Lecture Notes in Artificial Intelligence, 5834 LNAI, 1-14. https://doi.org/10.1007/978-3-642-04893-7_1
Presentation Conference Type | Conference Paper (published) |
---|---|
Publication Date | Dec 1, 2009 |
Deposit Date | Jun 16, 2017 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Print ISSN | 0302-9743 |
Electronic ISSN | 1611-3349 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 5834 LNAI |
Pages | 1-14 |
Series Title | Lecture Notes in Artificial Intelligence |
Series Number | 1 |
ISBN | ; |
DOI | https://doi.org/10.1007/978-3-642-04893-7_1 |
Keywords | resource bounds, coalition logic |
Public URL | https://uwe-repository.worktribe.com/output/991345 |
Publisher URL | http://dx.doi.org/10.1007/978-3-642-04893-7_1 |
Related Public URLs | https://link.springer.com/chapter/10.1007%2F978-3-642-04893-7_1 |
Contract Date | Jun 16, 2017 |
You might also like
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search