InstAL: An institutional action language

Padget, Julian, ElDeen Elakehal, Emad, Li, Tingting ORCID: https://orcid.org/0000-0002-9448-1655 and De Vos, Marina 2016. InstAL: An institutional action language. Social Coordination Frameworks for Social Technical Systems, Vol. 30. Law, Governance and Technology Series, pp. 101-124. (10.1007/978-3-319-33570-4_6)

Full text not available from this repository.

Abstract

nstAL 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.

Item Type:	Book Section
Date Type:	Published Online
Status:	Published
Schools:	Computer Science & Informatics
ISBN:	9783319335681
ISSN:	2352-1902
Last Modified:	07 Nov 2022 10:03
URI:	https://orca.cardiff.ac.uk/id/eprint/130989

Citation Data

Cited 7 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item