scientific article; zbMATH DE number 2085246

zbMath1053.68540MaRDI QIDQ4736480

Jesús Medina, Peter Vojtáš, Manuel Ojeda Aciego

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2258/22580290.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Similarity-based unification: A multi-adjoint approach ⋮ A neural implementation of multi-adjoint logic programming ⋮ On fuzzy unfolding: A multi-adjoint approach ⋮ Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants ⋮ Fuzzy Prolog: A new approach using soft constraints propagation ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ Qualified Logic Programming with Bivalued Predicates ⋮ Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs ⋮ An improved reductant calculus using fuzzy partial evaluation techniques ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding