Bilattices and the semantics of logic programming
Journal of Logic Programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Multi-adjoint Logic Programming: A Neural Net Approach
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Non-commutativity and Expressive Deductive Logic Databases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
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
Measuring the Interpretive Cost in Fuzzy Logic Computations
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Fuzzy Logic, Soft Computing, and Applications
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
On the Declarative Semantics of Multi-Adjoint Logic Programs
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
RFuzzy: An Expressive Simple Fuzzy Compiler
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Modeling Interpretive Steps in Fuzzy Logic Computations
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
Towards multi-adjoint property-oriented concept lattices
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
A practical management of fuzzy truth-degrees using FLOPER
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Information Sciences: an International Journal
A static preprocess for improving fuzzy thresholded tabulation
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
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
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Building a fuzzy transformation system
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Multi-adjoint property-oriented and object-oriented concept lattices
Information Sciences: an International Journal
Solving collaborative fuzzy agents problems with CLP(FD)
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Multi-lattices as a basis for generalized fuzzy logic programming
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Representing Uncertainty in RuleML
Fundamenta Informaticae
A comparative study of adjoint triples
Fuzzy Sets and Systems
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
Multi-adjoint relation equations: Definition, properties and solutions using concept lattices
Information Sciences: an International Journal
On heterogeneous formal contexts
Fuzzy Sets and Systems
Hi-index | 0.00 |
Considering different implication operators, such as "Łukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multi-adjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved and the assumptions required to get continuity are further analysed.