Pages that link to "Item:Q3585172"
From MaRDI portal
The following pages link to A declarative semantics for CLP with qualification and proximity (Q3585172):
Displayed 7 items.
- Proximity-based unification theory (Q529054) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- Solving Proximity Constraints (Q5097630) (← links)
- On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-Prolog System: Declarative Semantics, Implementation and Applications (Q5214143) (← links)
- A Transformation-based implementation for CLP with qualification and proximity (Q5410260) (← links)