Backward chaining evaluation in stratified disjunctive theories
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Hi-index | 0.00 |