Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019913418> ?p ?o ?g. }
- W2019913418 endingPage "398" @default.
- W2019913418 startingPage "371" @default.
- W2019913418 abstract "Computer science advocates institutional frameworks as an effective tool for modelling policies and reasoning about their interplay. In practice, the rules or policies, of which the institutional framework consists, are often specified using a formal language, which allows for the full verification and validation of the framework (e.g. the consistency of policies) and the interplay between the policies and actors (e.g. violations). However, when modelling large-scale realistic systems, with numerous decision-making entities, scalability and complexity issues arise making it possible only to verify certain portions of the problem without reducing the scale. In the social sciences, agent-based modelling is a popular tool for analysing how entities interact within a system and react to the system properties. Agent-based modelling allows the specification of complex decision-making entities and experimentation with large numbers of different parameter sets for these entities in order to explore their effects on overall system performance. In this paper we describe how to achieve the best of both worlds, namely verification of a formal specification combined with the testing of large-scale systems with numerous different actor configurations. Hence, we offer an approach that allows for reasoning about policies, policy making and their consequences on a more comprehensive level than has been possible to date. We present the institutional agent-based model methodology to combine institutional frameworks with agent-based simulations). We furthermore present J-InstAL, a prototypical implementation of this methodology using the InstAL institutional framework whose specifications can be translated into a computational model under the answer set semantics, and an agent-based simulation based on the jason tool. Using a simplified contract enforcement example, we demonstrate the functionalities of this prototype and show how it can help to assess an appropriate fine level in case of contract violations." @default.
- W2019913418 created "2016-06-24" @default.
- W2019913418 creator A5005596564 @default.
- W2019913418 creator A5075535963 @default.
- W2019913418 creator A5082496615 @default.
- W2019913418 date "2013-06-06" @default.
- W2019913418 modified "2023-10-14" @default.
- W2019913418 title "I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies" @default.
- W2019913418 cites W1495737807 @default.
- W2019913418 cites W1497120980 @default.
- W2019913418 cites W1501758783 @default.
- W2019913418 cites W1590109373 @default.
- W2019913418 cites W1606891084 @default.
- W2019913418 cites W161992225 @default.
- W2019913418 cites W1659842140 @default.
- W2019913418 cites W1819146950 @default.
- W2019913418 cites W1996387377 @default.
- W2019913418 cites W2038180015 @default.
- W2019913418 cites W2039024340 @default.
- W2019913418 cites W2044268618 @default.
- W2019913418 cites W2048600620 @default.
- W2019913418 cites W2076698873 @default.
- W2019913418 cites W2077212436 @default.
- W2019913418 cites W208055472 @default.
- W2019913418 cites W2094758254 @default.
- W2019913418 cites W2113841480 @default.
- W2019913418 cites W2117189826 @default.
- W2019913418 cites W2123160185 @default.
- W2019913418 cites W2124344619 @default.
- W2019913418 cites W2137200446 @default.
- W2019913418 cites W2150704630 @default.
- W2019913418 cites W2151351954 @default.
- W2019913418 cites W2158452962 @default.
- W2019913418 cites W2167951823 @default.
- W2019913418 cites W2889011686 @default.
- W2019913418 cites W4165075 @default.
- W2019913418 cites W4232663847 @default.
- W2019913418 cites W4233654598 @default.
- W2019913418 doi "https://doi.org/10.1007/s10506-013-9143-1" @default.
- W2019913418 hasPublicationYear "2013" @default.
- W2019913418 type Work @default.
- W2019913418 sameAs 2019913418 @default.
- W2019913418 citedByCount "10" @default.
- W2019913418 countsByYear W20199134182013 @default.
- W2019913418 countsByYear W20199134182014 @default.
- W2019913418 countsByYear W20199134182016 @default.
- W2019913418 countsByYear W20199134182018 @default.
- W2019913418 countsByYear W20199134182019 @default.
- W2019913418 crossrefType "journal-article" @default.
- W2019913418 hasAuthorship W2019913418A5005596564 @default.
- W2019913418 hasAuthorship W2019913418A5075535963 @default.
- W2019913418 hasAuthorship W2019913418A5082496615 @default.
- W2019913418 hasBestOaLocation W20199134182 @default.
- W2019913418 hasConcept C115903868 @default.
- W2019913418 hasConcept C121332964 @default.
- W2019913418 hasConcept C127413603 @default.
- W2019913418 hasConcept C154945302 @default.
- W2019913418 hasConcept C17744445 @default.
- W2019913418 hasConcept C199539241 @default.
- W2019913418 hasConcept C2522767166 @default.
- W2019913418 hasConcept C2776436953 @default.
- W2019913418 hasConcept C2778755073 @default.
- W2019913418 hasConcept C2779777834 @default.
- W2019913418 hasConcept C41008148 @default.
- W2019913418 hasConcept C41550386 @default.
- W2019913418 hasConcept C47822265 @default.
- W2019913418 hasConcept C48044578 @default.
- W2019913418 hasConcept C539667460 @default.
- W2019913418 hasConcept C62520636 @default.
- W2019913418 hasConcept C77088390 @default.
- W2019913418 hasConceptScore W2019913418C115903868 @default.
- W2019913418 hasConceptScore W2019913418C121332964 @default.
- W2019913418 hasConceptScore W2019913418C127413603 @default.
- W2019913418 hasConceptScore W2019913418C154945302 @default.
- W2019913418 hasConceptScore W2019913418C17744445 @default.
- W2019913418 hasConceptScore W2019913418C199539241 @default.
- W2019913418 hasConceptScore W2019913418C2522767166 @default.
- W2019913418 hasConceptScore W2019913418C2776436953 @default.
- W2019913418 hasConceptScore W2019913418C2778755073 @default.
- W2019913418 hasConceptScore W2019913418C2779777834 @default.
- W2019913418 hasConceptScore W2019913418C41008148 @default.
- W2019913418 hasConceptScore W2019913418C41550386 @default.
- W2019913418 hasConceptScore W2019913418C47822265 @default.
- W2019913418 hasConceptScore W2019913418C48044578 @default.
- W2019913418 hasConceptScore W2019913418C539667460 @default.
- W2019913418 hasConceptScore W2019913418C62520636 @default.
- W2019913418 hasConceptScore W2019913418C77088390 @default.
- W2019913418 hasIssue "4" @default.
- W2019913418 hasLocation W20199134181 @default.
- W2019913418 hasLocation W20199134182 @default.
- W2019913418 hasLocation W20199134183 @default.
- W2019913418 hasOpenAccess W2019913418 @default.
- W2019913418 hasPrimaryLocation W20199134181 @default.
- W2019913418 hasRelatedWork W1812592725 @default.
- W2019913418 hasRelatedWork W2017899288 @default.
- W2019913418 hasRelatedWork W2041971392 @default.
- W2019913418 hasRelatedWork W2129899354 @default.
- W2019913418 hasRelatedWork W2364921833 @default.