Reasoning about delegation and revocation schemes in answer set programming

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. Reasoning about delegation and revocation schemes in answer set programming. Journal of Logic and Computation, 24(1):89-116, 2014. [doi]

Abstract

Abstract is missing.