Similarity-based unification

Fundamenta Informaticae

Volumn 41, Issue 4, 2000, Pages 393-414

  Formato, Ferrante ^a   Gerla, Giangiacomo ^a   Sessa, Maria I ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012227294     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-41402     Document Type: Article

References (16)

1. F. Arcelli, F. Formato and G. Gerla, Similitude-Based Unification as a Foundation of Fuzzy Logic Programming. In Proceedings of Internat. Workshop on Logic Programming and Soft Computing, Bonn, sept.,1996.
2. Biacino L., Gerla G., Logics with approximate premises, International J. of Intell. Syst. 13 (1998) 1-10.
3. J.F. Baldwin, T.P. Martin and B.W. Pilsworth, FRIL - Fuzzy and Evidential Reasoning in AI. Research Studies Press, 1995.
4. D. Dubois, J. Lang and H. Prade, Towards Possibilistic Logic programming. In Proceedings of ICLP91, Paris, 1991.
5. Gärdenfors, P. 1992, "A geometric model of concept formation", pp. 1-16 in Information Modelling and Knowledge Bases III, ed. by S. Ohsuga et al., IOS Press, Amsterdam.
6. L. Godo and P. Hájek, Fuzzy Inference as Deduction. Journal of Applied non-classical Logic.To appear in 1998.
7. Kowalski, R.A., Predicate logic as a programming language, in: Proc. IFIP'74 (1974) 569-574.
8. R.C.T. Lee, "Fuzzy Logic and the Resolution Principle", Journal of the ACM, 19, 1972, pp.109-119.
9. A. Martelli and U. Montanari, An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems, Vol 4, No 2, April 1982.
10. M. Mukaidono, Z. Shen and L. Ding, Fundamentals of Fuzzy Prolog. Int. Journal of Approximated Reasoning, 3,2, 1989.
11. Z. Pawlak, Rough Sets, Rough Relations and Rough Functions. Fundamenta Informaticae 27(2/3): 103-108 (1996)
12. E. Plaza, F. Esteva, P. García, L. Godo, R. López de Mántaras, A logical Approach to Case-Based Reasoning Using Fuzzy Similarity Relations. Information Sciences.
13. Ruspini, E.H., On the semantics of fuzzy logic, Int. Journal of Approximate Reasoning 5 (1991) 45-88.
14. P. Arenas-Sanchez and A. Dovier, A Minimality Study for Set Unification. The Journal of Functional and Logic Programming, Volume 1997, No. 7.
15. H.Virtanen. A Study in Fuzzy Logic Programming, In Proceedings of the 12th European meeting on Cybernetics and Systems'94, pp. :249-256, Austria, April 1994.
16. M.S.Ying, A Logic for Approximated Reasoning, The Journal of Symbolic Logic, 59, 1994.