Preface: Volume 66, Issue 5

✍ Scribed by Patrik Eklund; Manuel Ojeda-Aciego

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 44 KB
• Volume: 66
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80517-1

✦ Synopsis

This part of the volume contains the papers accepted for presentation at the workshop on Unification in Non-Classical Logics (UNCL), co-located with ICALP 2002, which took place on July 12, 2002 in M'alaga, Spain.

The workshop was concerned with one of the most promising areas of research on non-classical logics and its applications. Unification in non-classical logics, with various approaches to handling generalised terms, has drawn more and more attention in recent years. So far, most popular lines of research include fuzzy unification of (conventional) databases and the use of fuzzy concepts in information retrieval.

This workshop was conceived as a forum for the exchange of ideas relevant for the concept of unification in non-classical logics, including, but not limited to, the topics of: Unification in multiple-valued and fuzzy logic programming. Unification based on similarities and fuzzy equivalence relations. Categorical unification. Practical use of non-classical unification, e.g. in expert systems and information retrieval.