Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
Symmetric structure in logic programming
Journal of Computer Science and Technology
Checking query containment with the CQC method
Data & Knowledge Engineering
The next 700 access control models or a unifying meta-model?
Proceedings of the 14th ACM symposium on Access control models and technologies
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |