Matches in SemOpenAlex for { <https://semopenalex.org/work/W1781497192> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1781497192 endingPage "164" @default.
- W1781497192 startingPage "153" @default.
- W1781497192 abstract "AbstractThis paper has two purposes. First, it defines a formal language for specifying multi-agent systems. This language is expressive enough to cover individual agent aspects (knowledge, goals, roles, ...) as well as collective aspects of in terms of coordination protocols, organization structure and planning activities. Second, it provides a formal design methodology based on stepwise refinements allowing to develop a design specification starting from an abstract requirements one.KeywordsTemporal LogicLinear Temporal LogicLocal GoalActive EntityInteraction ProtocolThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1781497192 created "2016-06-24" @default.
- W1781497192 creator A5043593445 @default.
- W1781497192 creator A5047871549 @default.
- W1781497192 creator A5063228263 @default.
- W1781497192 date "2005-01-01" @default.
- W1781497192 modified "2023-09-27" @default.
- W1781497192 title "Towards a Formal Methodology for Designing Multi-agent Applications" @default.
- W1781497192 cites W1481148398 @default.
- W1781497192 cites W1506588809 @default.
- W1781497192 cites W1524316265 @default.
- W1781497192 cites W1787758814 @default.
- W1781497192 cites W1838922104 @default.
- W1781497192 cites W1859521678 @default.
- W1781497192 cites W1980206868 @default.
- W1781497192 cites W1992415821 @default.
- W1781497192 cites W1998563626 @default.
- W1781497192 cites W2050099582 @default.
- W1781497192 cites W2104374704 @default.
- W1781497192 cites W2111877087 @default.
- W1781497192 cites W2117489587 @default.
- W1781497192 cites W2125814724 @default.
- W1781497192 cites W2130224636 @default.
- W1781497192 cites W2177768973 @default.
- W1781497192 cites W4233169281 @default.
- W1781497192 doi "https://doi.org/10.1007/11550648_14" @default.
- W1781497192 hasPublicationYear "2005" @default.
- W1781497192 type Work @default.
- W1781497192 sameAs 1781497192 @default.
- W1781497192 citedByCount "3" @default.
- W1781497192 crossrefType "book-chapter" @default.
- W1781497192 hasAuthorship W1781497192A5043593445 @default.
- W1781497192 hasAuthorship W1781497192A5047871549 @default.
- W1781497192 hasAuthorship W1781497192A5063228263 @default.
- W1781497192 hasConcept C111498074 @default.
- W1781497192 hasConcept C115903868 @default.
- W1781497192 hasConcept C116253237 @default.
- W1781497192 hasConcept C127413603 @default.
- W1781497192 hasConcept C146072743 @default.
- W1781497192 hasConcept C154945302 @default.
- W1781497192 hasConcept C199360897 @default.
- W1781497192 hasConcept C201677973 @default.
- W1781497192 hasConcept C2780428219 @default.
- W1781497192 hasConcept C2985583900 @default.
- W1781497192 hasConcept C39890363 @default.
- W1781497192 hasConcept C41008148 @default.
- W1781497192 hasConcept C41550386 @default.
- W1781497192 hasConcept C500879282 @default.
- W1781497192 hasConcept C69298649 @default.
- W1781497192 hasConcept C75606506 @default.
- W1781497192 hasConcept C78519656 @default.
- W1781497192 hasConceptScore W1781497192C111498074 @default.
- W1781497192 hasConceptScore W1781497192C115903868 @default.
- W1781497192 hasConceptScore W1781497192C116253237 @default.
- W1781497192 hasConceptScore W1781497192C127413603 @default.
- W1781497192 hasConceptScore W1781497192C146072743 @default.
- W1781497192 hasConceptScore W1781497192C154945302 @default.
- W1781497192 hasConceptScore W1781497192C199360897 @default.
- W1781497192 hasConceptScore W1781497192C201677973 @default.
- W1781497192 hasConceptScore W1781497192C2780428219 @default.
- W1781497192 hasConceptScore W1781497192C2985583900 @default.
- W1781497192 hasConceptScore W1781497192C39890363 @default.
- W1781497192 hasConceptScore W1781497192C41008148 @default.
- W1781497192 hasConceptScore W1781497192C41550386 @default.
- W1781497192 hasConceptScore W1781497192C500879282 @default.
- W1781497192 hasConceptScore W1781497192C69298649 @default.
- W1781497192 hasConceptScore W1781497192C75606506 @default.
- W1781497192 hasConceptScore W1781497192C78519656 @default.
- W1781497192 hasLocation W17814971921 @default.
- W1781497192 hasOpenAccess W1781497192 @default.
- W1781497192 hasPrimaryLocation W17814971921 @default.
- W1781497192 hasRelatedWork W154175653 @default.
- W1781497192 hasRelatedWork W1575391818 @default.
- W1781497192 hasRelatedWork W1580866103 @default.
- W1781497192 hasRelatedWork W1889562986 @default.
- W1781497192 hasRelatedWork W2011535002 @default.
- W1781497192 hasRelatedWork W2050071671 @default.
- W1781497192 hasRelatedWork W2116408846 @default.
- W1781497192 hasRelatedWork W2124854180 @default.
- W1781497192 hasRelatedWork W2160615121 @default.
- W1781497192 hasRelatedWork W2180731012 @default.
- W1781497192 hasRelatedWork W2296343529 @default.
- W1781497192 hasRelatedWork W2405319001 @default.
- W1781497192 hasRelatedWork W2753419161 @default.
- W1781497192 hasRelatedWork W2789086474 @default.
- W1781497192 hasRelatedWork W2811264569 @default.
- W1781497192 hasRelatedWork W2950110599 @default.
- W1781497192 hasRelatedWork W3023253001 @default.
- W1781497192 hasRelatedWork W3124692198 @default.
- W1781497192 hasRelatedWork W435594743 @default.
- W1781497192 hasRelatedWork W565093521 @default.
- W1781497192 isParatext "false" @default.
- W1781497192 isRetracted "false" @default.
- W1781497192 magId "1781497192" @default.
- W1781497192 workType "book-chapter" @default.