Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Hi-index | 0.00 |