Pages that link to "Item:Q1876499"
From MaRDI portal
The following pages link to Similarity-based unification: A multi-adjoint approach (Q1876499):
Displayed 50 items.
- Multi-adjoint property-oriented and object-oriented concept lattices (Q454881) (← links)
- Proximity-based unification theory (Q529054) (← links)
- Fuzzy data exchange (Q679813) (← links)
- Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges (Q679835) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- On reductants in the framework of multi-adjoint logic programming (Q723252) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
- Formal concept analysis via multi-adjoint concept lattices (Q1037849) (← links)
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- On stability of fuzzy formal concepts over randomized one-sided formal context (Q1697981) (← links)
- Extending fuzzy logics with many hedges (Q1795208) (← links)
- Rough sets based on Galois connections (Q2023633) (← links)
- Implication operators generating pairs of weak negations and their algebraic structure (Q2035405) (← links)
- Multi-adjoint lattices from adjoint triples with involutive negation (Q2035410) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Functional degrees of inclusion and similarity between \(L\)-fuzzy sets (Q2219181) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. (Q2254615) (← links)
- Multi-adjoint t-concept lattices (Q2269820) (← links)
- On heterogeneous formal contexts (Q2351569) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- On fuzzy unfolding: A multi-adjoint approach (Q2386238) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding (Q2867961) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
- Fuzzy linguistic logic programming and its applications (Q3393228) (← links)
- On the use of thresholds in multi-adjoint concept lattices (Q3451399) (← links)
- Beyond multi-adjoint logic programming (Q3451409) (← links)
- Modeling Interpretive Steps in Fuzzy Logic Computations (Q3638389) (← links)
- On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs (Q3638391) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- (Q5093393) (← links)
- Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs (Q5214098) (← links)
- On Fuzzy Generalizations of Concept Lattices (Q5214099) (← links)
- Symbolic Unfolding of Multi-adjoint Logic Programs (Q5215752) (← links)
- Adjoint Triples and Residuated Aggregators (Q5227391) (← links)
- A Fuzzy Extension of Data Exchange (Q5230063) (← links)
- Randomized Fuzzy Formal Contexts and Relevance of One-Sided Concepts (Q5255657) (← links)
- A Transformation-based implementation for CLP with qualification and proximity (Q5410260) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)
- Measures of inclusion and entropy based on the \(\varphi\)-index of inclusion (Q6057611) (← links)
- Seeking a safe and efficient similarity-based unfolding rule (Q6064255) (← links)
- Fuzzy logic programs as hypergraphs. Termination results (Q6079415) (← links)
- Multi-adjoint lattice logic and truth-stressing hedges (Q6079416) (← links)
- Algebraic structure and characterization of adjoint triples (Q6081504) (← links)