TY  - JOUR
AU  - Julián-Iranzo, Pascual
AU  - Sáenz Pérez, Fernando
PY  - 2021
DO  - 10.1109/TFUZZ.2020.2973129
SN  - 1063-6706
UR  - https://hdl.handle.net/20.500.14352/114021
T2  - IEEE Transactions on Fuzzy Systems
AB  - Unification is a central concept in logic systems based on the resolution principle. As well, in knowledge representation, proximity relations (i.e., reflexive, symmetric, fuzzy binary relations) are useful for introducing semantics into a syntactic...
LA  - eng
M2  - 1238
PB  - IEEE
KW  - Fuzzy Logic Programming
KW  - Fuzzy Prolog
KW  - Bousi-Prolog
KW  - Weak Unification
KW  - Weak SLD Resolution
KW  - Proximity Relations
TI  - Proximity-based Unification: an Efficient Implementation Method
TY  - journal article
VL  - 29
ER  -