A similarity-based resolution rule
From MaRDI portal
Publication:4805683
DOI10.1002/INT.10067zbMATH Open1021.68031OpenAlexW2128386928MaRDI QIDQ4805683FDOQ4805683
Authors: Ferrante Formato, Francesca Arcelli Fontana 
Publication date: 8 May 2003
Published in: International Journal of Intelligent Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10281/28661
Recommendations
- scientific article; zbMATH DE number 1455621
- Approximate reasoning by similarity-based SLD resolution.
- Declarative and procedural semantics of fuzzy similarity based unification
- Similarity-based unification: A multi-adjoint approach
- A sound and complete semantics for a similarity-based logic programming language
Cited In (16)
- Thresholded semantic framework for a fully integrated fuzzy logic language
- Symbolic similarity relations for tuning fully integrated fuzzy logic programs
- The fuzzy logic programming language FASILL: design and implementation
- A General Similarity Framework for Horn Clause Logic
- Approximate reasoning by similarity-based SLD resolution.
- Proof of theorems in fuzzy logic based on structural resolution
- Fuzzy XML queries via context-based choice of aggregations
- A sound and complete semantics for a similarity-based logic programming language
- A multi-adjoint approach to similarity-based unification
- A transformation-based implementation for CLP with qualification and proximity
- Tuning similarity-based fuzzy logic programs
- Vague domains, S-unification and logic programming
- Declarative and procedural semantics of fuzzy similarity based unification
- Similarity-based SLD resolution and its role for web knowledge discovery
- Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog
- Proximity-based unification theory
Uses Software
This page was built for publication: A similarity-based resolution rule
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4805683)
