Partial Stable Generated Models of Generalized Logic Programs with Constraints
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Hi-index | 0.00 |