Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012492018> ?p ?o ?g. }
- W2012492018 abstract "This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that aggregate a set of (real) agents, being capable to act (by means of real agents actions) and to whom deontic qualifications may be associated. In order to analyse how institutional agents interact with the external world, the following aspects are characterised: how the obligations flow from the institutional agent to the real agents that support him, and how the actions of the latter count as actions of the former. The fundamental concept supporting these aspects is the concept of role.Institutional agents are specified and analysed by means of a first-order role based deontic/action modal logic. The analysis is automated by means of a tableaux theorem proving method extended with additional rules to deal with the proposed classical action and deontic modalities." @default.
- W2012492018 created "2016-06-24" @default.
- W2012492018 creator A5032749880 @default.
- W2012492018 creator A5089619807 @default.
- W2012492018 date "2003-01-01" @default.
- W2012492018 modified "2023-09-27" @default.
- W2012492018 title "Specifying and reasoning with institutional agents" @default.
- W2012492018 cites W106929792 @default.
- W2012492018 cites W1484430684 @default.
- W2012492018 cites W1489805169 @default.
- W2012492018 cites W1500334842 @default.
- W2012492018 cites W1501413178 @default.
- W2012492018 cites W1513458930 @default.
- W2012492018 cites W1522386454 @default.
- W2012492018 cites W1528726871 @default.
- W2012492018 cites W1544973448 @default.
- W2012492018 cites W1561927659 @default.
- W2012492018 cites W1566133134 @default.
- W2012492018 cites W1568454198 @default.
- W2012492018 cites W1570374618 @default.
- W2012492018 cites W1596067335 @default.
- W2012492018 cites W1660542712 @default.
- W2012492018 cites W1828897469 @default.
- W2012492018 cites W1978260344 @default.
- W2012492018 cites W2017094488 @default.
- W2012492018 cites W2018592882 @default.
- W2012492018 cites W2020852080 @default.
- W2012492018 cites W2029189354 @default.
- W2012492018 cites W2056858470 @default.
- W2012492018 cites W2064762046 @default.
- W2012492018 cites W2105505307 @default.
- W2012492018 cites W2108309071 @default.
- W2012492018 cites W2140375747 @default.
- W2012492018 cites W3184268985 @default.
- W2012492018 cites W333489310 @default.
- W2012492018 cites W37323045 @default.
- W2012492018 doi "https://doi.org/10.1145/1047788.1047827" @default.
- W2012492018 hasPublicationYear "2003" @default.
- W2012492018 type Work @default.
- W2012492018 sameAs 2012492018 @default.
- W2012492018 citedByCount "2" @default.
- W2012492018 crossrefType "proceedings-article" @default.
- W2012492018 hasAuthorship W2012492018A5032749880 @default.
- W2012492018 hasAuthorship W2012492018A5089619807 @default.
- W2012492018 hasBestOaLocation W20124920182 @default.
- W2012492018 hasConcept C10138342 @default.
- W2012492018 hasConcept C102993220 @default.
- W2012492018 hasConcept C111472728 @default.
- W2012492018 hasConcept C114092440 @default.
- W2012492018 hasConcept C121332964 @default.
- W2012492018 hasConcept C138885662 @default.
- W2012492018 hasConcept C144024400 @default.
- W2012492018 hasConcept C144133560 @default.
- W2012492018 hasConcept C154945302 @default.
- W2012492018 hasConcept C177264268 @default.
- W2012492018 hasConcept C17744445 @default.
- W2012492018 hasConcept C182306322 @default.
- W2012492018 hasConcept C185592680 @default.
- W2012492018 hasConcept C188027245 @default.
- W2012492018 hasConcept C19165224 @default.
- W2012492018 hasConcept C199360897 @default.
- W2012492018 hasConcept C199539241 @default.
- W2012492018 hasConcept C203659156 @default.
- W2012492018 hasConcept C27508121 @default.
- W2012492018 hasConcept C2779089604 @default.
- W2012492018 hasConcept C2779366050 @default.
- W2012492018 hasConcept C2779903281 @default.
- W2012492018 hasConcept C2780791683 @default.
- W2012492018 hasConcept C36289849 @default.
- W2012492018 hasConcept C41008148 @default.
- W2012492018 hasConcept C62520636 @default.
- W2012492018 hasConcept C6377922 @default.
- W2012492018 hasConcept C71139939 @default.
- W2012492018 hasConceptScore W2012492018C10138342 @default.
- W2012492018 hasConceptScore W2012492018C102993220 @default.
- W2012492018 hasConceptScore W2012492018C111472728 @default.
- W2012492018 hasConceptScore W2012492018C114092440 @default.
- W2012492018 hasConceptScore W2012492018C121332964 @default.
- W2012492018 hasConceptScore W2012492018C138885662 @default.
- W2012492018 hasConceptScore W2012492018C144024400 @default.
- W2012492018 hasConceptScore W2012492018C144133560 @default.
- W2012492018 hasConceptScore W2012492018C154945302 @default.
- W2012492018 hasConceptScore W2012492018C177264268 @default.
- W2012492018 hasConceptScore W2012492018C17744445 @default.
- W2012492018 hasConceptScore W2012492018C182306322 @default.
- W2012492018 hasConceptScore W2012492018C185592680 @default.
- W2012492018 hasConceptScore W2012492018C188027245 @default.
- W2012492018 hasConceptScore W2012492018C19165224 @default.
- W2012492018 hasConceptScore W2012492018C199360897 @default.
- W2012492018 hasConceptScore W2012492018C199539241 @default.
- W2012492018 hasConceptScore W2012492018C203659156 @default.
- W2012492018 hasConceptScore W2012492018C27508121 @default.
- W2012492018 hasConceptScore W2012492018C2779089604 @default.
- W2012492018 hasConceptScore W2012492018C2779366050 @default.
- W2012492018 hasConceptScore W2012492018C2779903281 @default.
- W2012492018 hasConceptScore W2012492018C2780791683 @default.
- W2012492018 hasConceptScore W2012492018C36289849 @default.
- W2012492018 hasConceptScore W2012492018C41008148 @default.
- W2012492018 hasConceptScore W2012492018C62520636 @default.
- W2012492018 hasConceptScore W2012492018C6377922 @default.