The following pages link to (Q4485141):
Displaying 14 items.
- Proximity-based unification theory (Q529054) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Similarities between powersets of terms (Q1827316) (← links)
- Similarity-based unification: A multi-adjoint approach (Q1876499) (← links)
- Similarity monadic basic logic (Q1999121) (← links)
- Confidences for commonsense reasoning (Q2055883) (← links)
- Similarity triangle logic (Q2098319) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274. (Q2842593) (← links)
- Solving Proximity Constraints (Q5097630) (← links)
- Fuzzy logic programs as hypergraphs. Termination results (Q6079415) (← links)