Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952004755> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2952004755 abstract "We develop an incremental tableau-based decision procedures for the Alternating-time temporal logic ATL and some of its variants. While running within the theoretically established complexity upper bound, we claim that our tableau is practically more efficient in the average case than other decision procedures for ATL known so far. Besides, the ease of its adaptation to variants of ATL demonstrates the flexibility of the proposed procedure." @default.
- W2952004755 created "2019-06-27" @default.
- W2952004755 creator A5066665696 @default.
- W2952004755 creator A5075418855 @default.
- W2952004755 date "2008-03-15" @default.
- W2952004755 modified "2023-09-27" @default.
- W2952004755 title "Tableau-based decision procedures for logics of strategic ability in multi-agent systems" @default.
- W2952004755 cites W1481109946 @default.
- W2952004755 cites W1483339275 @default.
- W2952004755 cites W1489270299 @default.
- W2952004755 cites W1500928105 @default.
- W2952004755 cites W1507873625 @default.
- W2952004755 cites W1525691290 @default.
- W2952004755 cites W1528676759 @default.
- W2952004755 cites W1536217426 @default.
- W2952004755 cites W1539868891 @default.
- W2952004755 cites W1551169644 @default.
- W2952004755 cites W1570374618 @default.
- W2952004755 cites W1596365597 @default.
- W2952004755 cites W1597481850 @default.
- W2952004755 cites W1667861512 @default.
- W2952004755 cites W1982773655 @default.
- W2952004755 cites W2018933130 @default.
- W2952004755 cites W2048905609 @default.
- W2952004755 cites W2067441543 @default.
- W2952004755 cites W2102886905 @default.
- W2952004755 cites W2109058602 @default.
- W2952004755 cites W2124943199 @default.
- W2952004755 cites W2145790759 @default.
- W2952004755 cites W2146819619 @default.
- W2952004755 cites W2155774780 @default.
- W2952004755 cites W2160254449 @default.
- W2952004755 cites W2161880503 @default.
- W2952004755 cites W2170234080 @default.
- W2952004755 cites W2396555304 @default.
- W2952004755 cites W8822178 @default.
- W2952004755 hasPublicationYear "2008" @default.
- W2952004755 type Work @default.
- W2952004755 sameAs 2952004755 @default.
- W2952004755 citedByCount "1" @default.
- W2952004755 crossrefType "posted-content" @default.
- W2952004755 hasAuthorship W2952004755A5066665696 @default.
- W2952004755 hasAuthorship W2952004755A5075418855 @default.
- W2952004755 hasConcept C105795698 @default.
- W2952004755 hasConcept C11413529 @default.
- W2952004755 hasConcept C115988155 @default.
- W2952004755 hasConcept C139807058 @default.
- W2952004755 hasConcept C154945302 @default.
- W2952004755 hasConcept C15744967 @default.
- W2952004755 hasConcept C169760540 @default.
- W2952004755 hasConcept C25016198 @default.
- W2952004755 hasConcept C2780598303 @default.
- W2952004755 hasConcept C33923547 @default.
- W2952004755 hasConcept C41008148 @default.
- W2952004755 hasConcept C80444323 @default.
- W2952004755 hasConceptScore W2952004755C105795698 @default.
- W2952004755 hasConceptScore W2952004755C11413529 @default.
- W2952004755 hasConceptScore W2952004755C115988155 @default.
- W2952004755 hasConceptScore W2952004755C139807058 @default.
- W2952004755 hasConceptScore W2952004755C154945302 @default.
- W2952004755 hasConceptScore W2952004755C15744967 @default.
- W2952004755 hasConceptScore W2952004755C169760540 @default.
- W2952004755 hasConceptScore W2952004755C25016198 @default.
- W2952004755 hasConceptScore W2952004755C2780598303 @default.
- W2952004755 hasConceptScore W2952004755C33923547 @default.
- W2952004755 hasConceptScore W2952004755C41008148 @default.
- W2952004755 hasConceptScore W2952004755C80444323 @default.
- W2952004755 hasLocation W29520047551 @default.
- W2952004755 hasOpenAccess W2952004755 @default.
- W2952004755 hasPrimaryLocation W29520047551 @default.
- W2952004755 hasRelatedWork W1535051955 @default.
- W2952004755 hasRelatedWork W1545861088 @default.
- W2952004755 hasRelatedWork W1553543780 @default.
- W2952004755 hasRelatedWork W1640599491 @default.
- W2952004755 hasRelatedWork W1794903062 @default.
- W2952004755 hasRelatedWork W1875484171 @default.
- W2952004755 hasRelatedWork W2000863621 @default.
- W2952004755 hasRelatedWork W2123127832 @default.
- W2952004755 hasRelatedWork W2128067605 @default.
- W2952004755 hasRelatedWork W2133221103 @default.
- W2952004755 hasRelatedWork W2139978539 @default.
- W2952004755 hasRelatedWork W2142064575 @default.
- W2952004755 hasRelatedWork W215276 @default.
- W2952004755 hasRelatedWork W2336757246 @default.
- W2952004755 hasRelatedWork W2399406087 @default.
- W2952004755 hasRelatedWork W2408334481 @default.
- W2952004755 hasRelatedWork W2727336217 @default.
- W2952004755 hasRelatedWork W2952265214 @default.
- W2952004755 hasRelatedWork W2965159275 @default.
- W2952004755 hasRelatedWork W2972592136 @default.
- W2952004755 isParatext "false" @default.
- W2952004755 isRetracted "false" @default.
- W2952004755 magId "2952004755" @default.
- W2952004755 workType "article" @default.