FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2612506106> ?p ?o ?g. }

• W2612506106 abstract "The aim of this thesis is to augment dynamic epistemic logic and its framework in order to model planning problems where coalitions of agents try to reach a given goal. We add an additional control relation to the static epistemic models and action models of DEL, similar to choice equivalence in stit logics, thereby enabling us to represent the power of coalitions while keeping the means to talk about specific actions. We then introduce a sound, complete and decidable logic for these augmented models, which can express knowledge, distributed knowledge and both past and future control of coalitions, and we demonstrate how this can be used for coalitional planning. We then add common knowledge to the logic, in order to model the coordination of agents within a coalition: indeed, common knowledge enables agents to trust the other coalition members to perform the right action. As reduction axioms cannot be found for common knowledge, we show soundness, completeness and decidability for our enriched version of epistemic PDL, where we take as basic programs group indistinguishability relations rather than single agent indistinguishability. Finally, the thesis proposes a way in which agents can commit to certain actions, providing them with a way to communicate their plans and coordinate, thereby greatly improving their possibilities for achieving their goal." @default.
• W2612506106 created "2017-05-19" @default.
• W2612506106 creator A5054107481 @default.
• W2612506106 date "2015-01-01" @default.
• W2612506106 modified "2023-09-27" @default.
• W2612506106 title "Coalitions in Epistemic Planning" @default.
• W2612506106 cites W1489183362 @default.
• W2612506106 cites W1497616999 @default.
• W2612506106 cites W1500679563 @default.
• W2612506106 cites W1518725080 @default.
• W2612506106 cites W1525770870 @default.
• W2612506106 cites W186018484 @default.
• W2612506106 cites W186856586 @default.
• W2612506106 cites W1998176101 @default.
• W2612506106 cites W1998468461 @default.
• W2612506106 cites W2012121249 @default.
• W2612506106 cites W2039352370 @default.
• W2612506106 cites W2048355938 @default.
• W2612506106 cites W2048905609 @default.
• W2612506106 cites W2070610324 @default.
• W2612506106 cites W2072964584 @default.
• W2612506106 cites W2088135026 @default.
• W2612506106 cites W2101146515 @default.
• W2612506106 cites W2106901809 @default.
• W2612506106 cites W2109058602 @default.
• W2612506106 cites W2119122372 @default.
• W2612506106 cites W2120613606 @default.
• W2612506106 cites W2146819619 @default.
• W2612506106 cites W2157438678 @default.
• W2612506106 cites W2173903337 @default.
• W2612506106 cites W2610670723 @default.
• W2612506106 cites W2618124258 @default.
• W2612506106 cites W273342818 @default.
• W2612506106 cites W297226426 @default.
• W2612506106 cites W87027658 @default.
• W2612506106 hasPublicationYear "2015" @default.
• W2612506106 type Work @default.
• W2612506106 sameAs 2612506106 @default.
• W2612506106 citedByCount "0" @default.
• W2612506106 crossrefType "journal-article" @default.
• W2612506106 hasAuthorship W2612506106A5054107481 @default.
• W2612506106 hasConcept C102993220 @default.
• W2612506106 hasConcept C107247716 @default.
• W2612506106 hasConcept C111472728 @default.
• W2612506106 hasConcept C121332964 @default.
• W2612506106 hasConcept C134306372 @default.
• W2612506106 hasConcept C138885662 @default.
• W2612506106 hasConcept C153180980 @default.
• W2612506106 hasConcept C153269930 @default.
• W2612506106 hasConcept C154945302 @default.
• W2612506106 hasConcept C167729594 @default.
• W2612506106 hasConcept C17231256 @default.
• W2612506106 hasConcept C199360897 @default.
• W2612506106 hasConcept C203659156 @default.
• W2612506106 hasConcept C22497172 @default.
• W2612506106 hasConcept C2524010 @default.
• W2612506106 hasConcept C2780791683 @default.
• W2612506106 hasConcept C31084985 @default.
• W2612506106 hasConcept C33923547 @default.
• W2612506106 hasConcept C39920170 @default.
• W2612506106 hasConcept C41008148 @default.
• W2612506106 hasConcept C62520636 @default.
• W2612506106 hasConcept C77088390 @default.
• W2612506106 hasConcept C80444323 @default.
• W2612506106 hasConceptScore W2612506106C102993220 @default.
• W2612506106 hasConceptScore W2612506106C107247716 @default.
• W2612506106 hasConceptScore W2612506106C111472728 @default.
• W2612506106 hasConceptScore W2612506106C121332964 @default.
• W2612506106 hasConceptScore W2612506106C134306372 @default.
• W2612506106 hasConceptScore W2612506106C138885662 @default.
• W2612506106 hasConceptScore W2612506106C153180980 @default.
• W2612506106 hasConceptScore W2612506106C153269930 @default.
• W2612506106 hasConceptScore W2612506106C154945302 @default.
• W2612506106 hasConceptScore W2612506106C167729594 @default.
• W2612506106 hasConceptScore W2612506106C17231256 @default.
• W2612506106 hasConceptScore W2612506106C199360897 @default.
• W2612506106 hasConceptScore W2612506106C203659156 @default.
• W2612506106 hasConceptScore W2612506106C22497172 @default.
• W2612506106 hasConceptScore W2612506106C2524010 @default.
• W2612506106 hasConceptScore W2612506106C2780791683 @default.
• W2612506106 hasConceptScore W2612506106C31084985 @default.
• W2612506106 hasConceptScore W2612506106C33923547 @default.
• W2612506106 hasConceptScore W2612506106C39920170 @default.
• W2612506106 hasConceptScore W2612506106C41008148 @default.
• W2612506106 hasConceptScore W2612506106C62520636 @default.
• W2612506106 hasConceptScore W2612506106C77088390 @default.
• W2612506106 hasConceptScore W2612506106C80444323 @default.
• W2612506106 hasLocation W26125061061 @default.
• W2612506106 hasOpenAccess W2612506106 @default.
• W2612506106 hasPrimaryLocation W26125061061 @default.
• W2612506106 hasRelatedWork W111888148 @default.
• W2612506106 hasRelatedWork W1492647613 @default.
• W2612506106 hasRelatedWork W1538135547 @default.
• W2612506106 hasRelatedWork W2047873777 @default.
• W2612506106 hasRelatedWork W2113454922 @default.
• W2612506106 hasRelatedWork W2412714167 @default.
• W2612506106 hasRelatedWork W2416470364 @default.
• W2612506106 hasRelatedWork W2520694423 @default.
• W2612506106 hasRelatedWork W2553080437 @default.
• W2612506106 hasRelatedWork W2746848178 @default.

• next