Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Fuzzy sets in approximate reasoning, part 2: logical approaches
Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
A Multi-adjoint Logic Approach to Abductive Reasoning
Proceedings of the 17th International Conference on Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
General Fuzzy Answer Set Programs
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Answer Sets in a Fuzzy Equilibrium Logic
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning logic programming semantics.