scientific article; zbMATH DE number 1884400
From MaRDI portal
Publication:4798020
zbMath1007.68023MaRDI QIDQ4798020
Jesús Medina, Peter Vojtáš, Manuel Ojeda Aciego
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730351.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Similarity-based unification: A multi-adjoint approach ⋮ A neural implementation of multi-adjoint logic programming ⋮ Termination of logic programs with imperfect information: applications and query procedure ⋮ 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 ⋮ Fuzzy logic programming via multilattices ⋮ Adjoint negations, more than residuated negations ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ Algebraic structure and characterization of adjoint triples ⋮ A logical characterization of multi-adjoint algebras ⋮ Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets ⋮ Immediate consequences operator on generalized quantifiers ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ On the impact of sup‐compositions in the resolution of multi‐adjoint relation equations ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ Representation of fuzzy subsets by Galois connections ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ Multi-adjoint property-oriented and object-oriented concept lattices ⋮ Extended multi-adjoint logic programming ⋮ Multi-adjoint relation equations: definition, properties and solutions using concept lattices ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Fuzzy data exchange ⋮ Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Proximity-based unification theory ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ Fuzzy logic programming and fuzzy control ⋮ Unnamed Item ⋮ Multi-adjoint lattices from adjoint triples with involutive negation ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Qualified Logic Programming with Bivalued Predicates ⋮ Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs ⋮ Towards the Use of Hypergraphs in Multi-adjoint Logic Programming ⋮ Modeling Interpretive Steps in Fuzzy Logic Computations ⋮ Minimal Solutions of Fuzzy Relation Equations with General Operators on the Unit Interval ⋮ Adjoint Triples and Residuated Aggregators ⋮ 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 ⋮ On heterogeneous formal contexts
