Approximate reasoning by similarity-based SLD resolution
- 28 March 2002
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 275 (1-2), 389-426
- https://doi.org/10.1016/s0304-3975(01)00188-8
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Approximate Reasoning Based on SimilarityMathematical Logic Quarterly, 2000
- A logical approach to interpolation based on similarity relationsInternational Journal of Approximate Reasoning, 1997
- On-line algorithms for satisfiability problems with uncertaintyTheoretical Computer Science, 1997
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Resolution principles in possibilistic logicInternational Journal of Approximate Reasoning, 1990
- Temporal logic programming is complete and expressivePublished by Association for Computing Machinery (ACM) ,1989
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986
- Prolog-ELF incorporating fuzzy logicNew Generation Computing, 1985
- A fuzzy relational inference languageFuzzy Sets and Systems, 1984
- A fuzzy representation of data for relational databasesFuzzy Sets and Systems, 1982