Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167542076> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2167542076 abstract "The logical analysis of cooperation ability of agents has entered the mainstream of multi-agent systems research. In this paper, the cooperation logic called Normative Alternating-time Temporal Logic with Actions is developed to extend the Alternating-time Temporal Logic. Three main contributions have been made. Firstly, the assumption is not valid any more that different agents can not control the same actions which obviously does not fit human commonsense understanding of the world. Secondly, several functions are brought in to make it possible to deal with the relation between agents and actions and the relation between actions and states separately. Finally, actions and normative ability are represented in the object language at the same time, so that the flexibility and expressive power of cooperation logics have been greatly improved. It can be used in reasoning about multi-agent systems, as well as in formalizing social contract. A case study is also given at last." @default.
- W2167542076 created "2016-06-24" @default.
- W2167542076 creator A5036093843 @default.
- W2167542076 creator A5051585827 @default.
- W2167542076 creator A5059845882 @default.
- W2167542076 date "2006-01-01" @default.
- W2167542076 modified "2023-09-23" @default.
- W2167542076 title "Multi-Agent Cooperation Logic with Actions and Normative Ability" @default.
- W2167542076 cites W1488819970 @default.
- W2167542076 cites W1877676982 @default.
- W2167542076 cites W1986257313 @default.
- W2167542076 cites W2048905609 @default.
- W2167542076 cites W2054414141 @default.
- W2167542076 cites W2057234686 @default.
- W2167542076 cites W2109058602 @default.
- W2167542076 cites W2143154191 @default.
- W2167542076 cites W2431139695 @default.
- W2167542076 cites W2534408717 @default.
- W2167542076 doi "https://doi.org/10.1109/icmlc.2006.258886" @default.
- W2167542076 hasPublicationYear "2006" @default.
- W2167542076 type Work @default.
- W2167542076 sameAs 2167542076 @default.
- W2167542076 citedByCount "4" @default.
- W2167542076 crossrefType "proceedings-article" @default.
- W2167542076 hasAuthorship W2167542076A5036093843 @default.
- W2167542076 hasAuthorship W2167542076A5051585827 @default.
- W2167542076 hasAuthorship W2167542076A5059845882 @default.
- W2167542076 hasConcept C105795698 @default.
- W2167542076 hasConcept C111472728 @default.
- W2167542076 hasConcept C11648818 @default.
- W2167542076 hasConcept C138885662 @default.
- W2167542076 hasConcept C154945302 @default.
- W2167542076 hasConcept C162670838 @default.
- W2167542076 hasConcept C195818886 @default.
- W2167542076 hasConcept C25016198 @default.
- W2167542076 hasConcept C25343380 @default.
- W2167542076 hasConcept C27206212 @default.
- W2167542076 hasConcept C2777617010 @default.
- W2167542076 hasConcept C2780598303 @default.
- W2167542076 hasConcept C2781238097 @default.
- W2167542076 hasConcept C33923547 @default.
- W2167542076 hasConcept C41008148 @default.
- W2167542076 hasConcept C41550386 @default.
- W2167542076 hasConcept C44725695 @default.
- W2167542076 hasConcept C77088390 @default.
- W2167542076 hasConcept C80444323 @default.
- W2167542076 hasConceptScore W2167542076C105795698 @default.
- W2167542076 hasConceptScore W2167542076C111472728 @default.
- W2167542076 hasConceptScore W2167542076C11648818 @default.
- W2167542076 hasConceptScore W2167542076C138885662 @default.
- W2167542076 hasConceptScore W2167542076C154945302 @default.
- W2167542076 hasConceptScore W2167542076C162670838 @default.
- W2167542076 hasConceptScore W2167542076C195818886 @default.
- W2167542076 hasConceptScore W2167542076C25016198 @default.
- W2167542076 hasConceptScore W2167542076C25343380 @default.
- W2167542076 hasConceptScore W2167542076C27206212 @default.
- W2167542076 hasConceptScore W2167542076C2777617010 @default.
- W2167542076 hasConceptScore W2167542076C2780598303 @default.
- W2167542076 hasConceptScore W2167542076C2781238097 @default.
- W2167542076 hasConceptScore W2167542076C33923547 @default.
- W2167542076 hasConceptScore W2167542076C41008148 @default.
- W2167542076 hasConceptScore W2167542076C41550386 @default.
- W2167542076 hasConceptScore W2167542076C44725695 @default.
- W2167542076 hasConceptScore W2167542076C77088390 @default.
- W2167542076 hasConceptScore W2167542076C80444323 @default.
- W2167542076 hasLocation W21675420761 @default.
- W2167542076 hasOpenAccess W2167542076 @default.
- W2167542076 hasPrimaryLocation W21675420761 @default.
- W2167542076 hasRelatedWork W195248087 @default.
- W2167542076 hasRelatedWork W2096620723 @default.
- W2167542076 hasRelatedWork W2129367983 @default.
- W2167542076 hasRelatedWork W2147795722 @default.
- W2167542076 hasRelatedWork W2477580625 @default.
- W2167542076 hasRelatedWork W2748952813 @default.
- W2167542076 hasRelatedWork W2899084033 @default.
- W2167542076 hasRelatedWork W4213090964 @default.
- W2167542076 hasRelatedWork W4292999313 @default.
- W2167542076 hasRelatedWork W952030982 @default.
- W2167542076 isParatext "false" @default.
- W2167542076 isRetracted "false" @default.
- W2167542076 magId "2167542076" @default.
- W2167542076 workType "article" @default.