Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
Foundations of deductive databases and logic programming
Paraconsistent logic programming
Theoretical Computer Science
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
Bilattices and the semantics of logic programming
Journal of Logic Programming
Relating Dempster-Shafer theory to stable semantics
Relating Dempster-Shafer theory to stable semantics
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Combining fuzzy information from multiple systems (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Uncertain deductive databases: a hybrid approach
Information Systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Modeling Uncertainty in Databases
Proceedings of the Seventh International Conference on Data Engineering
Efficient Interpretation of Propositional Multiple-valued Logic Programs
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
An Epistemic Foundation for Logic Programming with Uncertainty
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Probabilistic temporal databases, I: algebra
ACM Transactions on Database Systems (TODS)
Non-uniform Hypothesis in Deductive Databases with Uncertainty
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Magic Sets Method with Fuzzy Logic
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Aggregate operators in probabilistic databases
Journal of the ACM (JACM)
Any-world assumptions in logic programming
Theoretical Computer Science
A Logical Formulation of Probabilistic Spatial Databases
IEEE Transactions on Knowledge and Data Engineering
Annals of Mathematics and Artificial Intelligence
Representing Uncertainty in RuleML
Fundamenta Informaticae
Connectionist weighted fuzzy logic programs
Neurocomputing
Finding Most Probable Worlds of Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Aggregates in Generalized Temporally Indeterminate Databases
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
Integrated Query Answering with Weighted Fuzzy Rules
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Query Answering in Belief Logic Programming
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Annals of Mathematics and Artificial Intelligence
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Belief Logic Programming with Cyclic Dependencies
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Top-down computation of the semantics of weighted fuzzy logic programs
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Transactions on large-scale data- and knowledge-centered systems III
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Adaptation of weighted fuzzy programs
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part II
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Query answering in normal logic programs under uncertainty
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Uncertainty management in logic programming: simple and effective top-down query answering
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Towards a more practical hybrid probabilistic logic programming framework
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
An argument-based multi-agent system for information integration
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Focused most probable world computations in probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
Representing Uncertainty in RuleML
Fundamenta Informaticae
Hi-index | 0.00 |
Numerous frameworks have been proposed in recent years for deductive databases with uncertainty. On the basis of how uncertainty is associated with the facts and rules in a program, we classify these frameworks into implication-based (IB) and annotation-based (AB) frameworks. In this paper, we take the IB approach and propose a generic framework, called the parametric framework, as a unifying umbrella for IB frameworks. We develop the declarative, fixpoint, and proof-theoretic semantics of programs in our framework and show their equivalence. Using the framework as a basis, we then study the query optimization problem of containment of conjunctive queries in this framework and establish necessary and sufficient conditions for containment for several classes of parametric conjunctive queries. Our results yield tools for use in the query optimization for large classes of query programs in IB deductive databases with uncertainty.