Matches in SemOpenAlex for { <https://semopenalex.org/work/W1856111290> ?p ?o ?g. }
- W1856111290 abstract "In natural language we often use graded concepts, reflecting different intensity degrees of certain features. Whenever such concepts appear in a given real-life context, they need to be appropriately expressed in its models. In this paper, we provide a framework which allows for extending the BGI model of agency by grading beliefs, goals and intentions. We concentrate on TEAMLOG [6, 7, 8, 9, 12] and provide a complexity-optimal decision method for its graded version TEAMLOG$^K$ by translating it into CPDL$_{reg}$ (propositional dynamic logic with converse and inclusion axioms characterized by regular languages). We also develop a tableau calculus which leads to the first EXPTIME (optimal) tableau decision procedure for CPDL$_{reg}$. As CPDL$_{reg}$ is suitable for expressing complex properties of graded operators, the procedure can also be used as a decision tool for other multiagent formalisms." @default.
- W1856111290 created "2016-06-24" @default.
- W1856111290 creator A5007619026 @default.
- W1856111290 creator A5055424683 @default.
- W1856111290 creator A5074233022 @default.
- W1856111290 date "2010-01-01" @default.
- W1856111290 modified "2023-09-23" @default.
- W1856111290 title "A Framework for Graded Beliefs, Goals and Intentions" @default.
- W1856111290 cites W1504850170 @default.
- W1856111290 cites W1528972933 @default.
- W1856111290 cites W1536258751 @default.
- W1856111290 cites W1554599886 @default.
- W1856111290 cites W1574863021 @default.
- W1856111290 cites W1580772169 @default.
- W1856111290 cites W1585720112 @default.
- W1856111290 cites W179751113 @default.
- W1856111290 cites W1803351296 @default.
- W1856111290 cites W1971616901 @default.
- W1856111290 cites W1997716585 @default.
- W1856111290 cites W2021867190 @default.
- W1856111290 cites W2058814709 @default.
- W1856111290 cites W2082313938 @default.
- W1856111290 cites W2087882226 @default.
- W1856111290 cites W2103580556 @default.
- W1856111290 cites W2117272332 @default.
- W1856111290 cites W2128435168 @default.
- W1856111290 cites W2146544759 @default.
- W1856111290 cites W2164466347 @default.
- W1856111290 cites W2164748935 @default.
- W1856111290 cites W2170077473 @default.
- W1856111290 cites W2174364259 @default.
- W1856111290 cites W2336123333 @default.
- W1856111290 cites W2912125459 @default.
- W1856111290 cites W579004349 @default.
- W1856111290 cites W58761133 @default.
- W1856111290 cites W85343214 @default.
- W1856111290 cites W1815576375 @default.
- W1856111290 cites W2759375909 @default.
- W1856111290 cites W3080206493 @default.
- W1856111290 doi "https://doi.org/10.3233/fi-2010-263" @default.
- W1856111290 hasPublicationYear "2010" @default.
- W1856111290 type Work @default.
- W1856111290 sameAs 1856111290 @default.
- W1856111290 citedByCount "6" @default.
- W1856111290 countsByYear W18561112902013 @default.
- W1856111290 countsByYear W18561112902015 @default.
- W1856111290 crossrefType "journal-article" @default.
- W1856111290 hasAuthorship W1856111290A5007619026 @default.
- W1856111290 hasAuthorship W1856111290A5055424683 @default.
- W1856111290 hasAuthorship W1856111290A5074233022 @default.
- W1856111290 hasConcept C102993220 @default.
- W1856111290 hasConcept C136119220 @default.
- W1856111290 hasConcept C151730666 @default.
- W1856111290 hasConcept C167729594 @default.
- W1856111290 hasConcept C171018156 @default.
- W1856111290 hasConcept C199343813 @default.
- W1856111290 hasConcept C202444582 @default.
- W1856111290 hasConcept C2524010 @default.
- W1856111290 hasConcept C2776809875 @default.
- W1856111290 hasConcept C2777686260 @default.
- W1856111290 hasConcept C2779343474 @default.
- W1856111290 hasConcept C33923547 @default.
- W1856111290 hasConcept C41008148 @default.
- W1856111290 hasConcept C71924100 @default.
- W1856111290 hasConcept C80444323 @default.
- W1856111290 hasConcept C86803240 @default.
- W1856111290 hasConceptScore W1856111290C102993220 @default.
- W1856111290 hasConceptScore W1856111290C136119220 @default.
- W1856111290 hasConceptScore W1856111290C151730666 @default.
- W1856111290 hasConceptScore W1856111290C167729594 @default.
- W1856111290 hasConceptScore W1856111290C171018156 @default.
- W1856111290 hasConceptScore W1856111290C199343813 @default.
- W1856111290 hasConceptScore W1856111290C202444582 @default.
- W1856111290 hasConceptScore W1856111290C2524010 @default.
- W1856111290 hasConceptScore W1856111290C2776809875 @default.
- W1856111290 hasConceptScore W1856111290C2777686260 @default.
- W1856111290 hasConceptScore W1856111290C2779343474 @default.
- W1856111290 hasConceptScore W1856111290C33923547 @default.
- W1856111290 hasConceptScore W1856111290C41008148 @default.
- W1856111290 hasConceptScore W1856111290C71924100 @default.
- W1856111290 hasConceptScore W1856111290C80444323 @default.
- W1856111290 hasConceptScore W1856111290C86803240 @default.
- W1856111290 hasLocation W18561112901 @default.
- W1856111290 hasOpenAccess W1856111290 @default.
- W1856111290 hasPrimaryLocation W18561112901 @default.
- W1856111290 hasRelatedWork W1985249224 @default.
- W1856111290 hasRelatedWork W2007637032 @default.
- W1856111290 hasRelatedWork W2149845275 @default.
- W1856111290 hasRelatedWork W2165797525 @default.
- W1856111290 hasRelatedWork W2167127074 @default.
- W1856111290 hasRelatedWork W2170515813 @default.
- W1856111290 hasRelatedWork W2279502176 @default.
- W1856111290 hasRelatedWork W2289330807 @default.
- W1856111290 hasRelatedWork W2293533396 @default.
- W1856111290 hasRelatedWork W2394596496 @default.
- W1856111290 hasRelatedWork W2406850484 @default.
- W1856111290 hasRelatedWork W2546157908 @default.
- W1856111290 hasRelatedWork W2620625357 @default.
- W1856111290 hasRelatedWork W2884150062 @default.
- W1856111290 hasRelatedWork W2952468129 @default.