An access control model supporting periodicity constraints and temporal reasoning
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Removing permissions in the flexible authorization framework
ACM Transactions on Database Systems (TODS)
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
A First Order Forward Chaining Approach for Answer Set Computing
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Loop-separable programs and their first-order definability
Artificial Intelligence
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 5.23 |