φ-ψ-Contractions under W-Distances Employing Symmetric Locally T-Transitive Binary Relation.
Mohammad ArifMohammad ImdadSalvatore SessaPublished in: Symmetry (2022)
Keyphrases
- binary relations
- transitive closure
- preference relations
- expressive power
- graph theoretic
- first order logic
- query language
- inference rules
- query evaluation
- distance function
- concept lattice
- formal concept analysis
- relational algebra
- directed acyclic graph
- artificial intelligence
- semantic network
- natural language
- data structure