Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998411437> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2998411437 endingPage "7046" @default.
- W2998411437 startingPage "7040" @default.
- W2998411437 abstract "It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alternating Time Temporal Logic where parameter extraction is possible. We give a parameter extraction algorithm and prove that the model-checking problem is 2EXPTIME-complete." @default.
- W2998411437 created "2020-01-10" @default.
- W2998411437 creator A5052831741 @default.
- W2998411437 creator A5060413318 @default.
- W2998411437 creator A5064693586 @default.
- W2998411437 date "2020-04-03" @default.
- W2998411437 modified "2023-09-30" @default.
- W2998411437 title "Parameterised Resource-Bounded ATL" @default.
- W2998411437 cites W139092964 @default.
- W2998411437 cites W1580675843 @default.
- W2998411437 cites W1596041124 @default.
- W2998411437 cites W1622764697 @default.
- W2998411437 cites W1795952933 @default.
- W2998411437 cites W1853387130 @default.
- W2998411437 cites W1866572553 @default.
- W2998411437 cites W1964901465 @default.
- W2998411437 cites W2023074074 @default.
- W2998411437 cites W2061572317 @default.
- W2998411437 cites W2526576663 @default.
- W2998411437 cites W2569421531 @default.
- W2998411437 cites W3102923705 @default.
- W2998411437 cites W3160131567 @default.
- W2998411437 cites W7162165 @default.
- W2998411437 doi "https://doi.org/10.1609/aaai.v34i05.6189" @default.
- W2998411437 hasPublicationYear "2020" @default.
- W2998411437 type Work @default.
- W2998411437 sameAs 2998411437 @default.
- W2998411437 citedByCount "4" @default.
- W2998411437 countsByYear W29984114372021 @default.
- W2998411437 countsByYear W29984114372022 @default.
- W2998411437 crossrefType "journal-article" @default.
- W2998411437 hasAuthorship W2998411437A5052831741 @default.
- W2998411437 hasAuthorship W2998411437A5060413318 @default.
- W2998411437 hasAuthorship W2998411437A5064693586 @default.
- W2998411437 hasBestOaLocation W29984114371 @default.
- W2998411437 hasConcept C126255220 @default.
- W2998411437 hasConcept C134306372 @default.
- W2998411437 hasConcept C185592680 @default.
- W2998411437 hasConcept C206345919 @default.
- W2998411437 hasConcept C25016198 @default.
- W2998411437 hasConcept C31258907 @default.
- W2998411437 hasConcept C33923547 @default.
- W2998411437 hasConcept C34388435 @default.
- W2998411437 hasConcept C41008148 @default.
- W2998411437 hasConcept C43617362 @default.
- W2998411437 hasConcept C4725764 @default.
- W2998411437 hasConcept C80444323 @default.
- W2998411437 hasConceptScore W2998411437C126255220 @default.
- W2998411437 hasConceptScore W2998411437C134306372 @default.
- W2998411437 hasConceptScore W2998411437C185592680 @default.
- W2998411437 hasConceptScore W2998411437C206345919 @default.
- W2998411437 hasConceptScore W2998411437C25016198 @default.
- W2998411437 hasConceptScore W2998411437C31258907 @default.
- W2998411437 hasConceptScore W2998411437C33923547 @default.
- W2998411437 hasConceptScore W2998411437C34388435 @default.
- W2998411437 hasConceptScore W2998411437C41008148 @default.
- W2998411437 hasConceptScore W2998411437C43617362 @default.
- W2998411437 hasConceptScore W2998411437C4725764 @default.
- W2998411437 hasConceptScore W2998411437C80444323 @default.
- W2998411437 hasIssue "05" @default.
- W2998411437 hasLocation W29984114371 @default.
- W2998411437 hasLocation W29984114372 @default.
- W2998411437 hasLocation W29984114373 @default.
- W2998411437 hasLocation W29984114374 @default.
- W2998411437 hasLocation W29984114375 @default.
- W2998411437 hasLocation W29984114376 @default.
- W2998411437 hasLocation W29984114377 @default.
- W2998411437 hasOpenAccess W2998411437 @default.
- W2998411437 hasPrimaryLocation W29984114371 @default.
- W2998411437 hasRelatedWork W1598979804 @default.
- W2998411437 hasRelatedWork W1978402756 @default.
- W2998411437 hasRelatedWork W2018828049 @default.
- W2998411437 hasRelatedWork W2042726902 @default.
- W2998411437 hasRelatedWork W2046712581 @default.
- W2998411437 hasRelatedWork W2136053165 @default.
- W2998411437 hasRelatedWork W2370340664 @default.
- W2998411437 hasRelatedWork W2760970427 @default.
- W2998411437 hasRelatedWork W2998411437 @default.
- W2998411437 hasRelatedWork W3102909640 @default.
- W2998411437 hasVolume "34" @default.
- W2998411437 isParatext "false" @default.
- W2998411437 isRetracted "false" @default.
- W2998411437 magId "2998411437" @default.
- W2998411437 workType "article" @default.