Matches in SemOpenAlex for { <https://semopenalex.org/work/W2315736744> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2315736744 endingPage "173" @default.
- W2315736744 startingPage "168" @default.
- W2315736744 abstract "Verification of epistemic properties, i.e. properties involving knowledge of a multi-agent system (MAS) is a great challenge because there are still many open problems especially with the choice of a proper model for MAS specification and then, with the proper technique to verify the system. In this paper we propose our model for MAS specification as the extended labelled transition system (Milner's Process Algebra), namely Mixed Transition System (MTS). We support our approach with the case study of specification and verification of FIPA Subscribe Scenario, a protocol for inter-agent communication." @default.
- W2315736744 created "2016-06-24" @default.
- W2315736744 creator A5082745153 @default.
- W2315736744 creator A5091903708 @default.
- W2315736744 date "2007-08-09" @default.
- W2315736744 modified "2023-09-26" @default.
- W2315736744 title "Specification and verification of knowledge in a multi-agent system" @default.
- W2315736744 cites W1563278802 @default.
- W2315736744 cites W1679534293 @default.
- W2315736744 cites W1874424006 @default.
- W2315736744 cites W1978106838 @default.
- W2315736744 cites W2131176046 @default.
- W2315736744 cites W3042932649 @default.
- W2315736744 cites W3140030144 @default.
- W2315736744 hasPublicationYear "2007" @default.
- W2315736744 type Work @default.
- W2315736744 sameAs 2315736744 @default.
- W2315736744 citedByCount "1" @default.
- W2315736744 crossrefType "journal-article" @default.
- W2315736744 hasAuthorship W2315736744A5082745153 @default.
- W2315736744 hasAuthorship W2315736744A5091903708 @default.
- W2315736744 hasConcept C110251889 @default.
- W2315736744 hasConcept C115903868 @default.
- W2315736744 hasConcept C116253237 @default.
- W2315736744 hasConcept C142284323 @default.
- W2315736744 hasConcept C142724271 @default.
- W2315736744 hasConcept C149091818 @default.
- W2315736744 hasConcept C161771561 @default.
- W2315736744 hasConcept C186846655 @default.
- W2315736744 hasConcept C199360897 @default.
- W2315736744 hasConcept C204787440 @default.
- W2315736744 hasConcept C2777904410 @default.
- W2315736744 hasConcept C2779167558 @default.
- W2315736744 hasConcept C2780385302 @default.
- W2315736744 hasConcept C41008148 @default.
- W2315736744 hasConcept C71924100 @default.
- W2315736744 hasConcept C80444323 @default.
- W2315736744 hasConcept C84651959 @default.
- W2315736744 hasConcept C90069079 @default.
- W2315736744 hasConcept C98045186 @default.
- W2315736744 hasConceptScore W2315736744C110251889 @default.
- W2315736744 hasConceptScore W2315736744C115903868 @default.
- W2315736744 hasConceptScore W2315736744C116253237 @default.
- W2315736744 hasConceptScore W2315736744C142284323 @default.
- W2315736744 hasConceptScore W2315736744C142724271 @default.
- W2315736744 hasConceptScore W2315736744C149091818 @default.
- W2315736744 hasConceptScore W2315736744C161771561 @default.
- W2315736744 hasConceptScore W2315736744C186846655 @default.
- W2315736744 hasConceptScore W2315736744C199360897 @default.
- W2315736744 hasConceptScore W2315736744C204787440 @default.
- W2315736744 hasConceptScore W2315736744C2777904410 @default.
- W2315736744 hasConceptScore W2315736744C2779167558 @default.
- W2315736744 hasConceptScore W2315736744C2780385302 @default.
- W2315736744 hasConceptScore W2315736744C41008148 @default.
- W2315736744 hasConceptScore W2315736744C71924100 @default.
- W2315736744 hasConceptScore W2315736744C80444323 @default.
- W2315736744 hasConceptScore W2315736744C84651959 @default.
- W2315736744 hasConceptScore W2315736744C90069079 @default.
- W2315736744 hasConceptScore W2315736744C98045186 @default.
- W2315736744 hasLocation W23157367441 @default.
- W2315736744 hasOpenAccess W2315736744 @default.
- W2315736744 hasPrimaryLocation W23157367441 @default.
- W2315736744 hasRelatedWork W1480127063 @default.
- W2315736744 hasRelatedWork W1551090993 @default.
- W2315736744 hasRelatedWork W1556614714 @default.
- W2315736744 hasRelatedWork W1592237504 @default.
- W2315736744 hasRelatedWork W1607716162 @default.
- W2315736744 hasRelatedWork W194720932 @default.
- W2315736744 hasRelatedWork W1964602204 @default.
- W2315736744 hasRelatedWork W1985079426 @default.
- W2315736744 hasRelatedWork W2017391075 @default.
- W2315736744 hasRelatedWork W2070720123 @default.
- W2315736744 hasRelatedWork W2091044273 @default.
- W2315736744 hasRelatedWork W2097617516 @default.
- W2315736744 hasRelatedWork W2107303531 @default.
- W2315736744 hasRelatedWork W2115741225 @default.
- W2315736744 hasRelatedWork W2134084873 @default.
- W2315736744 hasRelatedWork W2141371828 @default.
- W2315736744 hasRelatedWork W2171851297 @default.
- W2315736744 hasRelatedWork W2339118913 @default.
- W2315736744 hasRelatedWork W2395516563 @default.
- W2315736744 hasRelatedWork W2943166641 @default.
- W2315736744 isParatext "false" @default.
- W2315736744 isRetracted "false" @default.
- W2315736744 magId "2315736744" @default.
- W2315736744 workType "article" @default.