Download
An academic piece of software for compiling from a representation of legal institutions in a multi-tier institution (a vertical governance structure), to a new representation where revisions to an institution can be found to meet some properties. For example, revising a lower-tier institution to make the institution compliant with a higher-tier institution. Several input/output examples are supplied. Requires Clingo 4+. The compiler is written in Java, whilst ASP (Answer-Set Programming) is a declarative logic programming language.
Follow MultitierInstitutionRevision
Other Useful Business Software
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MultitierInstitutionRevision!