Proximity-based unification theory
type: Item
instance of: scholarly article
title: Proximity-based unification theory
zbMATH Open document ID: 1360.68310
author: Pascual Julián Iranzo
author: Clemente Rubio-Manzano
published in: Fuzzy Sets and Systems
publication date: 2017-05-18T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6720059
zbMATH Keywords: fuzzy logic programming
zbMATH Keywords: unification theory
zbMATH Keywords: proximity relations
describes a project that uses: Likelog
describes a project that uses: FRIL
MaRDI profile type: Publication
full work available at URL: j.fss.2014.07.006
OpenAlex ID: W2048555953
cites work: Fuzzy Logic and the Resolution Principle
cites work: Fuzzy Prolog: A new approach using soft constraints propagation
cites work: Q4798020
cites work: Similarity-based unification: A multi-adjoint approach
cites work: Fuzzy logic programming
cites work: A similarity-based resolution rule
cites work: Approximate reasoning by similarity-based SLD resolution.
cites work: Evidential support logic programming
cites work: Quantitative Logic Programming Revisited
cites work: A declarative semantics for CLP with qualification and proximity
cites work: Quantitative deduction and its fixpoint theory
cites work: Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. De Cock and E. Kerre
cites work: Weighted fuzzy pattern matching
cites work: Q3992908
cites work: Q4385536
cites work: Q4266493
cites work: Q3789064
cites work: An Efficient Unification Algorithm
cites work: Unification theory
cites work: Q4485141
DOI: 10.1016/J.FSS.2014.07.006
Wikidata QID: Q131143226
description: scientific article; zbMATH DE number 6720059