Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Bilattices and the semantics of logic programming
Journal of Logic Programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Handbook of logic in artificial intelligence and logic programming (vol. 3)
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Temporal probabilistic logic programs
Proceedings of the 1999 international conference on Logic programming
Annotated fuzzy logic programs
Fuzzy Sets and Systems
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
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
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
Uncertainty and RuleML rulebases: a preliminary report
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 0.00 |
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. The main contribution of the paper is to propose such a general extension, showing how to encode many of the existing languages in this extension. It is detailed the important case of fuzzy rule languages. We hope this work can also provide some insights on how to cover uncertainty in the RIF framework.