Similarity-Based Equality with Lazy Evaluation
From MaRDI portal
Publication:3163977
DOI10.1007/978-3-642-14055-6_12zbMath1209.68112OpenAlexW1593843499MaRDI QIDQ3163977
Publication date: 27 October 2010
Published in: Communications in Computer and Information Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14055-6_12
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources
- Approximate reasoning by similarity-based SLD resolution.
- Similarity-based unification: A multi-adjoint approach
- On fuzzy unfolding: A multi-adjoint approach
- Similarity relations and fuzzy orderings
- Logic programming with functions and predicates: The language Babel
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
- Fuzzy Logic and the Resolution Principle
- SOFSEM 2006: Theory and Practice of Computer Science