Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
From MaRDI portal
Publication:2219192
DOI10.1016/j.fss.2019.03.019zbMath1452.06008OpenAlexW2927305454WikidataQ128093997 ScholiaQ128093997MaRDI QIDQ2219192
Gabriella Pasi, Hassan Aït-Kaci
Publication date: 19 January 2021
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2019.03.019
learninginformation retrievalapproximate reasoningfuzzy databasesfuzzy inference systemsfuzzy constraint satisfactionfuzzy generalizationfirst-order termsfuzzy unificationinformation lattices
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A sound and complete semantics for a similarity-based logic programming language
- Characterizing specification languages which admit initial semantics
- Fuzzy sets and systems. Theory and applications
- Approximate reasoning by similarity-based SLD resolution.
- Fuzzy unification and generalization of first-order terms over similar signatures
- Anti-unification for unranked terms and hedges
- A modular order-sorted equational generalization algorithm
- Similarity relations and fuzzy orderings
- Pattern Unification with Sequence Variables and Flexible Arity Symbols
- Narrowing and Rewriting Logic: from Foundations to Applications
- An improved proof procedure1
- A logical reconstruction of Prolog II
- An Efficient Unification Algorithm
- Initial Algebra Semantics and Continuous Algebras
- Order-sorted feature theory unification
- Order-Sorted Generalization
- Towards a meaning of life
- A Machine-Oriented Logic Based on the Resolution Principle
- Fuzzy sets
- SOFSEM 2004: Theory and Practice of Computer Science
