Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579811089> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1579811089 abstract "As agent systems grow larger and more complex, there is an increasing need to formally verify them. Furthermore, it is often suggested that complex systems can be regulated using organizational models, imposing constraints on the agents in the systems. Agents that can understand the organizational model and constraints in a system is said to be organization-aware. This paper is concerned with verification of organization-aware agents. We show how agents using AORTA, a framework for making agents organization-aware, can be formally verified using an extended version of the Agent Java PathFinder (AJPF), a model checking system designed specifically for agent programming languages. We integrate AORTA with the Agent Infrastructure Layer (AIL), which is an intermediate layer on top of which APLs can be implemented, and use our extension of AJPF to verify a system of agents aiming to write a paper together by using an organization for coordination." @default.
- W1579811089 created "2016-06-24" @default.
- W1579811089 creator A5026099023 @default.
- W1579811089 date "2015-03-18" @default.
- W1579811089 modified "2023-09-27" @default.
- W1579811089 title "Model Checking AORTA: Verification of Organization-Aware Agents." @default.
- W1579811089 cites W125598877 @default.
- W1579811089 cites W1513916280 @default.
- W1579811089 cites W2020787985 @default.
- W1579811089 cites W2047961148 @default.
- W1579811089 cites W2095156325 @default.
- W1579811089 cites W2130459723 @default.
- W1579811089 cites W2145899763 @default.
- W1579811089 cites W2171480813 @default.
- W1579811089 cites W2261323242 @default.
- W1579811089 cites W2913055958 @default.
- W1579811089 hasPublicationYear "2015" @default.
- W1579811089 type Work @default.
- W1579811089 sameAs 1579811089 @default.
- W1579811089 citedByCount "0" @default.
- W1579811089 crossrefType "posted-content" @default.
- W1579811089 hasAuthorship W1579811089A5026099023 @default.
- W1579811089 hasConcept C110251889 @default.
- W1579811089 hasConcept C115903868 @default.
- W1579811089 hasConcept C120314980 @default.
- W1579811089 hasConcept C154945302 @default.
- W1579811089 hasConcept C178790620 @default.
- W1579811089 hasConcept C185592680 @default.
- W1579811089 hasConcept C199360897 @default.
- W1579811089 hasConcept C2779227376 @default.
- W1579811089 hasConcept C41008148 @default.
- W1579811089 hasConcept C41550386 @default.
- W1579811089 hasConcept C548217200 @default.
- W1579811089 hasConceptScore W1579811089C110251889 @default.
- W1579811089 hasConceptScore W1579811089C115903868 @default.
- W1579811089 hasConceptScore W1579811089C120314980 @default.
- W1579811089 hasConceptScore W1579811089C154945302 @default.
- W1579811089 hasConceptScore W1579811089C178790620 @default.
- W1579811089 hasConceptScore W1579811089C185592680 @default.
- W1579811089 hasConceptScore W1579811089C199360897 @default.
- W1579811089 hasConceptScore W1579811089C2779227376 @default.
- W1579811089 hasConceptScore W1579811089C41008148 @default.
- W1579811089 hasConceptScore W1579811089C41550386 @default.
- W1579811089 hasConceptScore W1579811089C548217200 @default.
- W1579811089 hasLocation W15798110891 @default.
- W1579811089 hasOpenAccess W1579811089 @default.
- W1579811089 hasPrimaryLocation W15798110891 @default.
- W1579811089 hasRelatedWork W1500282789 @default.
- W1579811089 hasRelatedWork W1547255176 @default.
- W1579811089 hasRelatedWork W1598119352 @default.
- W1579811089 hasRelatedWork W185679143 @default.
- W1579811089 hasRelatedWork W1860086673 @default.
- W1579811089 hasRelatedWork W2120557713 @default.
- W1579811089 hasRelatedWork W2133505822 @default.
- W1579811089 hasRelatedWork W2139428244 @default.
- W1579811089 hasRelatedWork W2140878156 @default.
- W1579811089 hasRelatedWork W2150354518 @default.
- W1579811089 hasRelatedWork W2164124508 @default.
- W1579811089 hasRelatedWork W2181717393 @default.
- W1579811089 hasRelatedWork W2295098536 @default.
- W1579811089 hasRelatedWork W2610497875 @default.
- W1579811089 hasRelatedWork W2612594579 @default.
- W1579811089 hasRelatedWork W2898426924 @default.
- W1579811089 hasRelatedWork W2935928400 @default.
- W1579811089 hasRelatedWork W3028095531 @default.
- W1579811089 hasRelatedWork W3156312154 @default.
- W1579811089 hasRelatedWork W2585292957 @default.
- W1579811089 isParatext "false" @default.
- W1579811089 isRetracted "false" @default.
- W1579811089 magId "1579811089" @default.
- W1579811089 workType "article" @default.