Alternating-time temporal logic with resource bounds
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, a...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Oxford University Press
2015
|
| Online Access: | http://eprints.nottingham.ac.uk/28943/ http://eprints.nottingham.ac.uk/28943/ http://eprints.nottingham.ac.uk/28943/ http://eprints.nottingham.ac.uk/28943/1/jlc-rbatl.pdf |