Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108913612> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2108913612 endingPage "663" @default.
- W2108913612 startingPage "631" @default.
- W2108913612 abstract "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, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this article, we describe a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatization of the resulting logic, Resource-Bounded ATL (RB-ATL) and a model-checking algorithm for it." @default.
- W2108913612 created "2016-06-24" @default.
- W2108913612 creator A5003269957 @default.
- W2108913612 creator A5017445294 @default.
- W2108913612 creator A5052831741 @default.
- W2108913612 creator A5064693586 @default.
- W2108913612 date "2015-06-12" @default.
- W2108913612 modified "2023-09-30" @default.
- W2108913612 title "Alternating-time temporal logic with resource bounds" @default.
- W2108913612 cites W139092964 @default.
- W2108913612 cites W1500928105 @default.
- W2108913612 cites W1509097823 @default.
- W2108913612 cites W1795952933 @default.
- W2108913612 cites W1896357893 @default.
- W2108913612 cites W2023074074 @default.
- W2108913612 cites W2048905609 @default.
- W2108913612 cites W2061572317 @default.
- W2108913612 cites W2102242479 @default.
- W2108913612 cites W2109058602 @default.
- W2108913612 cites W2117189826 @default.
- W2108913612 cites W2153166544 @default.
- W2108913612 cites W2160254449 @default.
- W2108913612 cites W2170234080 @default.
- W2108913612 cites W2395074413 @default.
- W2108913612 cites W3102923705 @default.
- W2108913612 doi "https://doi.org/10.1093/logcom/exv034" @default.
- W2108913612 hasPublicationYear "2015" @default.
- W2108913612 type Work @default.
- W2108913612 sameAs 2108913612 @default.
- W2108913612 citedByCount "4" @default.
- W2108913612 countsByYear W21089136122021 @default.
- W2108913612 countsByYear W21089136122022 @default.
- W2108913612 crossrefType "journal-article" @default.
- W2108913612 hasAuthorship W2108913612A5003269957 @default.
- W2108913612 hasAuthorship W2108913612A5017445294 @default.
- W2108913612 hasAuthorship W2108913612A5052831741 @default.
- W2108913612 hasAuthorship W2108913612A5064693586 @default.
- W2108913612 hasBestOaLocation W21089136121 @default.
- W2108913612 hasConcept C11648818 @default.
- W2108913612 hasConcept C134306372 @default.
- W2108913612 hasConcept C159032336 @default.
- W2108913612 hasConcept C162670838 @default.
- W2108913612 hasConcept C206345919 @default.
- W2108913612 hasConcept C25016198 @default.
- W2108913612 hasConcept C31258907 @default.
- W2108913612 hasConcept C33923547 @default.
- W2108913612 hasConcept C34388435 @default.
- W2108913612 hasConcept C41008148 @default.
- W2108913612 hasConcept C80444323 @default.
- W2108913612 hasConceptScore W2108913612C11648818 @default.
- W2108913612 hasConceptScore W2108913612C134306372 @default.
- W2108913612 hasConceptScore W2108913612C159032336 @default.
- W2108913612 hasConceptScore W2108913612C162670838 @default.
- W2108913612 hasConceptScore W2108913612C206345919 @default.
- W2108913612 hasConceptScore W2108913612C25016198 @default.
- W2108913612 hasConceptScore W2108913612C31258907 @default.
- W2108913612 hasConceptScore W2108913612C33923547 @default.
- W2108913612 hasConceptScore W2108913612C34388435 @default.
- W2108913612 hasConceptScore W2108913612C41008148 @default.
- W2108913612 hasConceptScore W2108913612C80444323 @default.
- W2108913612 hasFunder F4320334627 @default.
- W2108913612 hasIssue "4" @default.
- W2108913612 hasLocation W21089136121 @default.
- W2108913612 hasLocation W21089136122 @default.
- W2108913612 hasLocation W21089136123 @default.
- W2108913612 hasLocation W21089136124 @default.
- W2108913612 hasOpenAccess W2108913612 @default.
- W2108913612 hasPrimaryLocation W21089136121 @default.
- W2108913612 hasRelatedWork W1031601050 @default.
- W2108913612 hasRelatedWork W12256342 @default.
- W2108913612 hasRelatedWork W1513903619 @default.
- W2108913612 hasRelatedWork W1558365987 @default.
- W2108913612 hasRelatedWork W2099776859 @default.
- W2108913612 hasRelatedWork W2121740909 @default.
- W2108913612 hasRelatedWork W2385412162 @default.
- W2108913612 hasRelatedWork W2395144056 @default.
- W2108913612 hasRelatedWork W3005864166 @default.
- W2108913612 hasRelatedWork W592475739 @default.
- W2108913612 hasVolume "28" @default.
- W2108913612 isParatext "false" @default.
- W2108913612 isRetracted "false" @default.
- W2108913612 magId "2108913612" @default.
- W2108913612 workType "article" @default.