Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023051844> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2023051844 endingPage "81" @default.
- W2023051844 startingPage "63" @default.
- W2023051844 abstract "The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterministic polynomial time check algorithms under some realistic structural and semantic restrictions on agent programs and actions." @default.
- W2023051844 created "2016-06-24" @default.
- W2023051844 creator A5001414935 @default.
- W2023051844 creator A5004306964 @default.
- W2023051844 creator A5017931042 @default.
- W2023051844 date "2003-06-01" @default.
- W2023051844 modified "2023-10-01" @default.
- W2023051844 title "On feasible cases of checking multi-agent systems behavior" @default.
- W2023051844 cites W1506588809 @default.
- W2023051844 cites W1515017933 @default.
- W2023051844 cites W1530441082 @default.
- W2023051844 cites W1540442949 @default.
- W2023051844 cites W1551909346 @default.
- W2023051844 cites W1557233409 @default.
- W2023051844 cites W1587782590 @default.
- W2023051844 cites W1590315663 @default.
- W2023051844 cites W1597383628 @default.
- W2023051844 cites W1602327611 @default.
- W2023051844 cites W1988495336 @default.
- W2023051844 cites W1988808695 @default.
- W2023051844 cites W2001516787 @default.
- W2023051844 cites W2003227046 @default.
- W2023051844 cites W2019881090 @default.
- W2023051844 cites W2035671237 @default.
- W2023051844 cites W2038809129 @default.
- W2023051844 cites W2090398333 @default.
- W2023051844 cites W2093916942 @default.
- W2023051844 cites W2097289499 @default.
- W2023051844 cites W2104971391 @default.
- W2023051844 cites W2106172458 @default.
- W2023051844 cites W2124344619 @default.
- W2023051844 cites W2128672031 @default.
- W2023051844 cites W2131225255 @default.
- W2023051844 cites W2132750992 @default.
- W2023051844 cites W2340735175 @default.
- W2023051844 cites W2396555304 @default.
- W2023051844 cites W2612793397 @default.
- W2023051844 cites W26772505 @default.
- W2023051844 cites W2913459036 @default.
- W2023051844 cites W42364276 @default.
- W2023051844 doi "https://doi.org/10.1016/s0304-3975(02)00445-0" @default.
- W2023051844 hasPublicationYear "2003" @default.
- W2023051844 type Work @default.
- W2023051844 sameAs 2023051844 @default.
- W2023051844 citedByCount "6" @default.
- W2023051844 countsByYear W20230518442013 @default.
- W2023051844 countsByYear W20230518442017 @default.
- W2023051844 crossrefType "journal-article" @default.
- W2023051844 hasAuthorship W2023051844A5001414935 @default.
- W2023051844 hasAuthorship W2023051844A5004306964 @default.
- W2023051844 hasAuthorship W2023051844A5017931042 @default.
- W2023051844 hasBestOaLocation W20230518441 @default.
- W2023051844 hasConcept C11413529 @default.
- W2023051844 hasConcept C126255220 @default.
- W2023051844 hasConcept C199343813 @default.
- W2023051844 hasConcept C2777686260 @default.
- W2023051844 hasConcept C33923547 @default.
- W2023051844 hasConcept C41008148 @default.
- W2023051844 hasConcept C71924100 @default.
- W2023051844 hasConceptScore W2023051844C11413529 @default.
- W2023051844 hasConceptScore W2023051844C126255220 @default.
- W2023051844 hasConceptScore W2023051844C199343813 @default.
- W2023051844 hasConceptScore W2023051844C2777686260 @default.
- W2023051844 hasConceptScore W2023051844C33923547 @default.
- W2023051844 hasConceptScore W2023051844C41008148 @default.
- W2023051844 hasConceptScore W2023051844C71924100 @default.
- W2023051844 hasIssue "1" @default.
- W2023051844 hasLocation W20230518441 @default.
- W2023051844 hasLocation W20230518442 @default.
- W2023051844 hasLocation W20230518443 @default.
- W2023051844 hasLocation W20230518444 @default.
- W2023051844 hasOpenAccess W2023051844 @default.
- W2023051844 hasPrimaryLocation W20230518441 @default.
- W2023051844 hasRelatedWork W1979597421 @default.
- W2023051844 hasRelatedWork W2007980826 @default.
- W2023051844 hasRelatedWork W2061531152 @default.
- W2023051844 hasRelatedWork W2063488590 @default.
- W2023051844 hasRelatedWork W2386767533 @default.
- W2023051844 hasRelatedWork W2748952813 @default.
- W2023051844 hasRelatedWork W2899084033 @default.
- W2023051844 hasRelatedWork W4225152035 @default.
- W2023051844 hasRelatedWork W4230623537 @default.
- W2023051844 hasRelatedWork W4245490552 @default.
- W2023051844 hasVolume "303" @default.
- W2023051844 isParatext "false" @default.
- W2023051844 isRetracted "false" @default.
- W2023051844 magId "2023051844" @default.
- W2023051844 workType "article" @default.