A decidable class of bounded recursions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Binary Speed Up for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Deciding the bisimilarity relation between datalog goals
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Engineering optimisations in query rewriting for OBDA
Proceedings of the 9th International Conference on Semantic Systems
Hi-index | 0.00 |