Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
The completeness of gp-resolution for annotated logics
Information Processing Letters
Probabilistic logic programming
Information and Computation
Stable semantics for probabilistic deductive databases
Information and Computation
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
ProbView: a flexible probabilistic database system
ACM Transactions on Database Systems (TODS)
Database Support for Problematic Knowledge
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
On the Semantics of Rule-Based Expert Systems with Uncertainty
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Modeling Uncertainty in Deductive Databases
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Uncertainty, belief, and probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A tuple-oriented algorithm for deduction in a fuzzy relational database
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Annals of Mathematics and Artificial Intelligence
Towards the computation of stable probabilistic model semantics
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Probabilistic logic programming under inheritance with overriding
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Incomplete knowledge in hybrid probabilistic logic programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Towards a more practical hybrid probabilistic logic programming framework
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the program. In this paper, we classify HPPs into three classes called HPP1, HPP2 and HPPr, r 3. For these classes, we provide three types of results for HPPs. First, we develop algorithms to compute the set of all ground consequences of an HPP. Then we provide algorithms and complexity results for the problems of entailment ("Given an HPP P and a query Q as input, is Q a logical consequence of P?) and consistency ("Given an HPP P as input, is P consistent?"). Our results provide a fine characterization of when polynomial algorithms exist for the above problems, and when these problems become intractable.