Some results involving multilattice ideals and distributivity
Discrete Mathematics
Bilattices and the semantics of logic programming
Journal of Logic Programming
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Clausal logic and logic programming in algebraic domains
Information and Computation
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence
Multi-lattices as a basis for generalized fuzzy logic programming
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Congruence relations on some hyperstructures
Annals of Mathematics and Artificial Intelligence
On reachability of minimal models of multilattice-based logic programs
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
Non-deterministic algebraic structures for soft computing
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Automated inference with fuzzy functional dependencies over graded data
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II
Multi-adjoint relation equations: Definition, properties and solutions using concept lattices
Information Sciences: an International Journal
On residuation in multilattices: Filters, congruences, and homomorphisms
Fuzzy Sets and Systems
| Hi-index | 0.20 |
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in order to provide an ideal-based semantics; on the other hand, a restricted semantics, in which interpretations assign elements of a multilattice to each propositional symbol, is presented and analysed.