Quantitative deduction and its fixpoint theory
Journal of Logic Programming
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
Handbook of logic in artificial intelligence and logic programming (vol. 3)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Non-commutativity and Expressive Deductive Logic Databases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Connectionist weighted fuzzy logic programs
Neurocomputing
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Tabling with answer subsumption: implementation, applications and performance
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Implication triples versus adjoint triples
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
On the notions of residuated-based coherence and bilattice-based consistence
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Weak and strong disjunction in possibilistic ASP
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Interval-Valued neural multi-adjoint logic programs
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
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
Multi-lattices as a basis for generalized fuzzy logic programming
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Representing Uncertainty in RuleML
Fundamenta Informaticae
A comparative study of adjoint triples
Fuzzy Sets and Systems
Representing fuzzy logic programs by graded attribute implications
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
| Hi-index | 0.00 |
In this paper we define the rather general framework of Monotonic Logic Programs, where the main results of (definite) logic programming are validly extrapolated. Whenever defining new logic programming extensions, we can thus turn our attention to the stipulation and study of its intuitive algebraic properties within the very general setting. Then, the existence of a minimum model and of a monotonic immediate consequences operator is guaranteed, and they are related as in classical logic programming. Afterwards we study the more restricted class of residuated logic programs which is able to capture several quite distinct logic programming semantics. Namely: Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. We provide the embedding of possibilistic logic programming.