Matches in SemOpenAlex for { <https://semopenalex.org/work/W22037830> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W22037830 endingPage "664" @default.
- W22037830 startingPage "659" @default.
- W22037830 abstract "Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL." @default.
- W22037830 created "2016-06-24" @default.
- W22037830 creator A5002295439 @default.
- W22037830 creator A5017445294 @default.
- W22037830 creator A5052831741 @default.
- W22037830 creator A5064693586 @default.
- W22037830 date "2009-07-11" @default.
- W22037830 modified "2023-09-30" @default.
- W22037830 title "A logic for coalitions with bounded resources" @default.
- W22037830 cites W1500928105 @default.
- W22037830 cites W1856446927 @default.
- W22037830 cites W2048905609 @default.
- W22037830 cites W2109058602 @default.
- W22037830 cites W2149095675 @default.
- W22037830 cites W2153166544 @default.
- W22037830 cites W2170234080 @default.
- W22037830 cites W3138118222 @default.
- W22037830 hasPublicationYear "2009" @default.
- W22037830 type Work @default.
- W22037830 sameAs 22037830 @default.
- W22037830 citedByCount "10" @default.
- W22037830 countsByYear W220378302012 @default.
- W22037830 countsByYear W220378302015 @default.
- W22037830 countsByYear W220378302017 @default.
- W22037830 countsByYear W220378302018 @default.
- W22037830 countsByYear W220378302019 @default.
- W22037830 crossrefType "proceedings-article" @default.
- W22037830 hasAuthorship W22037830A5002295439 @default.
- W22037830 hasAuthorship W22037830A5017445294 @default.
- W22037830 hasAuthorship W22037830A5052831741 @default.
- W22037830 hasAuthorship W22037830A5064693586 @default.
- W22037830 hasConcept C128838566 @default.
- W22037830 hasConcept C134306372 @default.
- W22037830 hasConcept C17744445 @default.
- W22037830 hasConcept C199539241 @default.
- W22037830 hasConcept C206345919 @default.
- W22037830 hasConcept C25016198 @default.
- W22037830 hasConcept C2776359362 @default.
- W22037830 hasConcept C2987117450 @default.
- W22037830 hasConcept C31258907 @default.
- W22037830 hasConcept C33923547 @default.
- W22037830 hasConcept C34388435 @default.
- W22037830 hasConcept C41008148 @default.
- W22037830 hasConcept C80444323 @default.
- W22037830 hasConcept C94625758 @default.
- W22037830 hasConceptScore W22037830C128838566 @default.
- W22037830 hasConceptScore W22037830C134306372 @default.
- W22037830 hasConceptScore W22037830C17744445 @default.
- W22037830 hasConceptScore W22037830C199539241 @default.
- W22037830 hasConceptScore W22037830C206345919 @default.
- W22037830 hasConceptScore W22037830C25016198 @default.
- W22037830 hasConceptScore W22037830C2776359362 @default.
- W22037830 hasConceptScore W22037830C2987117450 @default.
- W22037830 hasConceptScore W22037830C31258907 @default.
- W22037830 hasConceptScore W22037830C33923547 @default.
- W22037830 hasConceptScore W22037830C34388435 @default.
- W22037830 hasConceptScore W22037830C41008148 @default.
- W22037830 hasConceptScore W22037830C80444323 @default.
- W22037830 hasConceptScore W22037830C94625758 @default.
- W22037830 hasLocation W220378301 @default.
- W22037830 hasOpenAccess W22037830 @default.
- W22037830 hasPrimaryLocation W220378301 @default.
- W22037830 hasRelatedWork W103897470 @default.
- W22037830 hasRelatedWork W139092964 @default.
- W22037830 hasRelatedWork W1485309947 @default.
- W22037830 hasRelatedWork W1500928105 @default.
- W22037830 hasRelatedWork W1580675843 @default.
- W22037830 hasRelatedWork W1581615816 @default.
- W22037830 hasRelatedWork W1795952933 @default.
- W22037830 hasRelatedWork W1896357893 @default.
- W22037830 hasRelatedWork W1999134680 @default.
- W22037830 hasRelatedWork W2007637032 @default.
- W22037830 hasRelatedWork W2023074074 @default.
- W22037830 hasRelatedWork W2026284755 @default.
- W22037830 hasRelatedWork W2048905609 @default.
- W22037830 hasRelatedWork W2061572317 @default.
- W22037830 hasRelatedWork W2078730256 @default.
- W22037830 hasRelatedWork W2109058602 @default.
- W22037830 hasRelatedWork W2156309428 @default.
- W22037830 hasRelatedWork W2170234080 @default.
- W22037830 hasRelatedWork W2949068336 @default.
- W22037830 hasRelatedWork W3143596488 @default.
- W22037830 isParatext "false" @default.
- W22037830 isRetracted "false" @default.
- W22037830 magId "22037830" @default.
- W22037830 workType "article" @default.