Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

InstAL: An institutional action language

Padget, Julian, ElDeen Elakehal, Emad, Li, Tingting ORCID: 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.


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

Citation Data

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

Actions (repository staff only)

Edit Item Edit Item