Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Static analysis of intensional databases in U-Datalog (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Controlling communication in distributed planning using irrelevance reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Static analysis in datalog extensions
Journal of the ACM (JACM)
Conditional independence in propositional logic
Artificial Intelligence
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Exploiting irrelevance reasoning to guide problem solving
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Supporting the Development of Data Wrapping Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Building steady-state simulators via hierarchical feedback decomposition
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
| Hi-index | 0.00 |