Artificial Intelligence
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Evidential support logic programming
Fuzzy Sets and Systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
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
New direction for uncertainty reasoning in deductive databases
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Semantics for probabilistic inference
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Empirical probabilities in Monadic deductive databases
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Towards precision of probabilistic bounds propagation
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Probabilistic logic programming
Information and Computation
Computing circumscriptive databases, I: theory and algorithms
Information and Computation
Knowledge Discovery in Databases
Knowledge Discovery in Databases
Knowledge Discovery in Databases: An Attribute-Oriented Approach
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Probalilistic Logic Programming under Maximum Entropy
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Hi-index | 0.00 |
In recent years, there has been a growing interest in reasoning with uncertainty in logic programming and deductive databases. However, most frameworks proposed, thus far, are either nonprobabilistic in nature or based on subjective probabilities. In this paper, we address the problem of incorporating empirical probabilities驴that is, probabilities obtained from statistical findings驴in deductive databases. To this end, we develop a formal model-theoretic basis for such databases. We also present a sound and complete algorithm for checking the consistency of such databases. Moreover, we develop consistency-preserving ways to optimize the algorithm for practical usage. Finally, we show how query answering for empirical deductive databases can be carried out.