Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042296688> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2042296688 abstract "A formal and incremental approach is needed to introduce new agents in the development of multi-agent system (MAS) due to its intrinsic complexity. Incremental development with refinement theory is a traditional way to guarantee the dependability of a system. We specify MAS with Object-Z notation and under trace semantic of action system, give the mathematical relation model and refinement rules of superposition refinement based on the relational model and Object-Z notation. The refinement rules provide a foundation for introducing agents in MAS. A case study of repairing robots is used to show whether agents are introduced correctly." @default.
- W2042296688 created "2016-06-24" @default.
- W2042296688 creator A5047839791 @default.
- W2042296688 creator A5078511168 @default.
- W2042296688 date "2013-07-01" @default.
- W2042296688 modified "2023-10-16" @default.
- W2042296688 title "Introducing Agents in Multi-agent System with Superposition Refinement" @default.
- W2042296688 cites W1493095552 @default.
- W2042296688 cites W1529806022 @default.
- W2042296688 cites W2005952505 @default.
- W2042296688 cites W2037704142 @default.
- W2042296688 cites W2055620899 @default.
- W2042296688 cites W2085823706 @default.
- W2042296688 cites W2108786367 @default.
- W2042296688 cites W2148103001 @default.
- W2042296688 doi "https://doi.org/10.1109/snpd.2013.67" @default.
- W2042296688 hasPublicationYear "2013" @default.
- W2042296688 type Work @default.
- W2042296688 sameAs 2042296688 @default.
- W2042296688 citedByCount "1" @default.
- W2042296688 countsByYear W20422966882019 @default.
- W2042296688 crossrefType "proceedings-article" @default.
- W2042296688 hasAuthorship W2042296688A5047839791 @default.
- W2042296688 hasAuthorship W2042296688A5078511168 @default.
- W2042296688 hasConcept C11413529 @default.
- W2042296688 hasConcept C115903868 @default.
- W2042296688 hasConcept C124101348 @default.
- W2042296688 hasConcept C134306372 @default.
- W2042296688 hasConcept C138885662 @default.
- W2042296688 hasConcept C154945302 @default.
- W2042296688 hasConcept C177148314 @default.
- W2042296688 hasConcept C199360897 @default.
- W2042296688 hasConcept C25343380 @default.
- W2042296688 hasConcept C27753989 @default.
- W2042296688 hasConcept C2776542497 @default.
- W2042296688 hasConcept C2781238097 @default.
- W2042296688 hasConcept C33923547 @default.
- W2042296688 hasConcept C41008148 @default.
- W2042296688 hasConcept C41550386 @default.
- W2042296688 hasConcept C41895202 @default.
- W2042296688 hasConcept C45357846 @default.
- W2042296688 hasConcept C75291252 @default.
- W2042296688 hasConcept C77019957 @default.
- W2042296688 hasConcept C80444323 @default.
- W2042296688 hasConcept C90483712 @default.
- W2042296688 hasConcept C94375191 @default.
- W2042296688 hasConceptScore W2042296688C11413529 @default.
- W2042296688 hasConceptScore W2042296688C115903868 @default.
- W2042296688 hasConceptScore W2042296688C124101348 @default.
- W2042296688 hasConceptScore W2042296688C134306372 @default.
- W2042296688 hasConceptScore W2042296688C138885662 @default.
- W2042296688 hasConceptScore W2042296688C154945302 @default.
- W2042296688 hasConceptScore W2042296688C177148314 @default.
- W2042296688 hasConceptScore W2042296688C199360897 @default.
- W2042296688 hasConceptScore W2042296688C25343380 @default.
- W2042296688 hasConceptScore W2042296688C27753989 @default.
- W2042296688 hasConceptScore W2042296688C2776542497 @default.
- W2042296688 hasConceptScore W2042296688C2781238097 @default.
- W2042296688 hasConceptScore W2042296688C33923547 @default.
- W2042296688 hasConceptScore W2042296688C41008148 @default.
- W2042296688 hasConceptScore W2042296688C41550386 @default.
- W2042296688 hasConceptScore W2042296688C41895202 @default.
- W2042296688 hasConceptScore W2042296688C45357846 @default.
- W2042296688 hasConceptScore W2042296688C75291252 @default.
- W2042296688 hasConceptScore W2042296688C77019957 @default.
- W2042296688 hasConceptScore W2042296688C80444323 @default.
- W2042296688 hasConceptScore W2042296688C90483712 @default.
- W2042296688 hasConceptScore W2042296688C94375191 @default.
- W2042296688 hasLocation W20422966881 @default.
- W2042296688 hasOpenAccess W2042296688 @default.
- W2042296688 hasPrimaryLocation W20422966881 @default.
- W2042296688 hasRelatedWork W1519384472 @default.
- W2042296688 hasRelatedWork W1575330229 @default.
- W2042296688 hasRelatedWork W18356053 @default.
- W2042296688 hasRelatedWork W1884942290 @default.
- W2042296688 hasRelatedWork W2042296688 @default.
- W2042296688 hasRelatedWork W2090686886 @default.
- W2042296688 hasRelatedWork W2112717272 @default.
- W2042296688 hasRelatedWork W2115737686 @default.
- W2042296688 hasRelatedWork W2243861944 @default.
- W2042296688 hasRelatedWork W2808767067 @default.
- W2042296688 isParatext "false" @default.
- W2042296688 isRetracted "false" @default.
- W2042296688 magId "2042296688" @default.
- W2042296688 workType "article" @default.