InstAL: An Institutional Action Language
2016
InstAL denotes both a declarative domain-specific language for the specification of collections of interacting normative systems and a framework for a set of associated tools. The computational model is realized by translating the specification language to AnsProlog (Baral 2003), a logic programming language under the answer set semantics (ASP) (Gelfond and Lifschitz 1991), and is underpinned by a set-theoretic formal model and a formalized translation process.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
38
References
7
Citations
NaN
KQI