Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
A method of fair use in digital rights management
ICADL'07 Proceedings of the 10th international conference on Asian digital libraries: looking back 10 years and forging new frontiers
Hi-index | 0.00 |