Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140720762> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2140720762 endingPage "165" @default.
- W2140720762 startingPage "148" @default.
- W2140720762 abstract "AbstractSystems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that provide a framework for connecting agent components that perform speci.c tasks. The agent designer codes the tasks necessary to perform a service and uses the framework to connect the tasks into an integrated agent structure. This bottom up approach does not provide an easy mechanism for con.rming global properties of constructed agent systems. In this paper we propose a declarative methodology based on logic programming for modeling such procedurally constructed agents and specifying their global properties as temporal logic formulas. This methodology allows us to bring to bear a body of work for using logic programming based model checking to verify certain global properties of procedurally constructed Multi-Agent Systems.KeywordsModel CheckLogic ProgramLogic ProgrammingAgent SystemTransition RelationThese 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.
- W2140720762 created "2016-06-24" @default.
- W2140720762 creator A5002440073 @default.
- W2140720762 creator A5056708608 @default.
- W2140720762 date "2005-01-01" @default.
- W2140720762 modified "2023-09-23" @default.
- W2140720762 title "Modeling and Verification of Distributed Autonomous Agents Using Logic Programming" @default.
- W2140720762 cites W1541577766 @default.
- W2140720762 cites W1543150587 @default.
- W2140720762 cites W1551776235 @default.
- W2140720762 cites W1551909346 @default.
- W2140720762 cites W1563032545 @default.
- W2140720762 cites W1959136150 @default.
- W2140720762 cites W1976097854 @default.
- W2140720762 cites W1995080554 @default.
- W2140720762 cites W2046135868 @default.
- W2140720762 cites W2058172711 @default.
- W2140720762 cites W2084130127 @default.
- W2140720762 cites W2102548669 @default.
- W2140720762 cites W2123995585 @default.
- W2140720762 cites W2125044082 @default.
- W2140720762 cites W2145899763 @default.
- W2140720762 cites W2149397733 @default.
- W2140720762 doi "https://doi.org/10.1007/11493402_9" @default.
- W2140720762 hasPublicationYear "2005" @default.
- W2140720762 type Work @default.
- W2140720762 sameAs 2140720762 @default.
- W2140720762 citedByCount "13" @default.
- W2140720762 countsByYear W21407207622014 @default.
- W2140720762 countsByYear W21407207622016 @default.
- W2140720762 countsByYear W21407207622020 @default.
- W2140720762 crossrefType "book-chapter" @default.
- W2140720762 hasAuthorship W2140720762A5002440073 @default.
- W2140720762 hasAuthorship W2140720762A5056708608 @default.
- W2140720762 hasConcept C110251889 @default.
- W2140720762 hasConcept C115903868 @default.
- W2140720762 hasConcept C120314980 @default.
- W2140720762 hasConcept C128838566 @default.
- W2140720762 hasConcept C13687954 @default.
- W2140720762 hasConcept C146206909 @default.
- W2140720762 hasConcept C154945302 @default.
- W2140720762 hasConcept C199360897 @default.
- W2140720762 hasConcept C25016198 @default.
- W2140720762 hasConcept C34165917 @default.
- W2140720762 hasConcept C41008148 @default.
- W2140720762 hasConcept C41550386 @default.
- W2140720762 hasConcept C50033165 @default.
- W2140720762 hasConceptScore W2140720762C110251889 @default.
- W2140720762 hasConceptScore W2140720762C115903868 @default.
- W2140720762 hasConceptScore W2140720762C120314980 @default.
- W2140720762 hasConceptScore W2140720762C128838566 @default.
- W2140720762 hasConceptScore W2140720762C13687954 @default.
- W2140720762 hasConceptScore W2140720762C146206909 @default.
- W2140720762 hasConceptScore W2140720762C154945302 @default.
- W2140720762 hasConceptScore W2140720762C199360897 @default.
- W2140720762 hasConceptScore W2140720762C25016198 @default.
- W2140720762 hasConceptScore W2140720762C34165917 @default.
- W2140720762 hasConceptScore W2140720762C41008148 @default.
- W2140720762 hasConceptScore W2140720762C41550386 @default.
- W2140720762 hasConceptScore W2140720762C50033165 @default.
- W2140720762 hasLocation W21407207621 @default.
- W2140720762 hasOpenAccess W2140720762 @default.
- W2140720762 hasPrimaryLocation W21407207621 @default.
- W2140720762 hasRelatedWork W1548535723 @default.
- W2140720762 hasRelatedWork W1588258097 @default.
- W2140720762 hasRelatedWork W1904529274 @default.
- W2140720762 hasRelatedWork W1968197232 @default.
- W2140720762 hasRelatedWork W2140720762 @default.
- W2140720762 hasRelatedWork W2348463574 @default.
- W2140720762 hasRelatedWork W2951004607 @default.
- W2140720762 hasRelatedWork W3009891130 @default.
- W2140720762 hasRelatedWork W3018143143 @default.
- W2140720762 hasRelatedWork W4287829362 @default.
- W2140720762 isParatext "false" @default.
- W2140720762 isRetracted "false" @default.
- W2140720762 magId "2140720762" @default.
- W2140720762 workType "book-chapter" @default.