The following pages link to Proximity-based unification theory (Q529054):
Displayed 7 items.
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Bireducts with tolerance relations (Q2195410) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
- Solving Proximity Constraints (Q5097630) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)