Amanote Research
Register
Sign In
Reasoning About Delegation and Revocation Schemes in Answer Set Programming
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/exs014
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
July 17, 2012
Authors
S. Barker
G. Boella
D. Gabbay
V. Genovese
Publisher
Oxford University Press (OUP)