ACM Transactions on Database Systems (TODS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Aggregate operators in probabilistic databases
Journal of the ACM (JACM)
ACM Transactions on Computational Logic (TOCL)
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |