A similarity-based resolution rule

International Journal of Intelligent Systems

Volumn 17, Issue 9, 2002, Pages 853-872

  Fontana, Francesca Arcelli ^a   Formato, Ferrante ^b  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATABASE SYSTEMS; FUZZY SETS; SEMANTICS; THEOREM PROVING;

EXTENDED LOGIC PROGRAMMING LANGUAGE; FIXED-POINT SEMANTICS; OPERATIONAL SEMANTICS; SIMILARITY-BASED RESOLUTION RULE;

LOGIC PROGRAMMING;

EID: 0036735030     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/int.10067     Document Type: Article

References (21)

1. Logic programming
2. Fuzzy unification as a foundation of fuzzy logic programming
3. LIKELOG: A logic programming language for flexible data retrieval
4. A note on fuzzy deduction
5. Evidential support logic programming
6. Discriminated answers and databases: Fuzzy sets as a unifying expression means
7. Towards possibilistic logic programming
8. Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights
9. Similarity in logic programming
10. An extension principle for fuzzy logic
11. Similarity and like-prolog
12. Fuzzy logic and the resolution principle
13. Logic programming and soft computing-Uncertainty theory in artificial intelligence series
14. An efficient unification algorithm
15. Fuzzy inference of resolution style
16. A machine oriented logic based on the resolution principle
17. A theoretical framework of fuzzy prolog machine
18. A study in fuzzy logic programming
19. Fuzzy operator logic and fuzzy resolution
20. Fuzzy prolog based on Lukasiewicz implication and bounded product