Unification in Non-Classical Logics

Unification in Non-Classical Logics

Co-located with ICALP 2002

July, 12-13, 2002, Málaga, Spain

The workshop on Unification in Non-Classical Logics will be held in Málaga, as a workshop of the 29-th International Colloquium on Automata, Languages, and Programming (ICALP 2002), which is a very convenient forum for an open discussion of the subject of non-canonical unification, roughly depicted below.

Aims and scope

Unification in non-classical logics, with various approaches to handling generalised terms, has drawn more and more attention in recent years. It turns out to be among the most promising areas of research on non-classical logics and its applications. So far, most popular lines of research include fuzzy unification of (conventional) databases and the use of fuzzy concepts in information retrieval. Some international events based on these topics have been held so far, for instance, the 2nd Intl Workshop on Logic Programming and Soft Computing (LPSC'98), or the special session on Advances in Possibilistic Logic and Related Issues at the IFSA Congress in Vancouver, Canada (2001), have non-classical unification among their topics.

This workshop at ICALP is 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 following topics (practical implementations and experiences as well as theoretical advances):

We expect potential participants from the following areas: multiple-valued logic, fuzzy logic, uncertainty in logic programming, categorical applications to computer science. The workshop will have a limited number of presentations and the organizers will apply a refereeing procedure accordingly.

The format will be as a set of presentations followed by a round table discussion. As the number of participants is estimated not to be very large, time enough will be allocated for each presentation (between 30 and 40 minutes), thus helping to have a relaxed workshop atmosphere in which discussions are encouraged.


The workshop proceedings will be published as an issue in the ENTCS series (Electronic Notes on Theoretical Computer Science ).

Authors are invited to submit an extended abstract of their papers, presenting original contributions to the workshop themes. Submissions should be written in English and not exceed 15 pages using the ENTCS style, and sent to the organizers in either PS or PDF form, together with a text-only message containig: title, abstract and keywords, the author's full names, and address and e-mail for correspondence.

Program and pictures

  • 9:00-9:05 Presentation Picture
  • 9:05-9:55 Temur Kutsia, Pattern Unification with Sequence Variables and Flexible Arity Symbols Picture
  • 9:55-10:45 T. Alsinet, Ll. Godo, S. Sandri, Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description Picture
  • 10:45-11:30 Coffee break
  • 11:30-12:20 H.E. Virtanen, Vague Domains, S-Unification and Logic Programming Picture
  • 12:20-13:10 P. Eklund, M.A. Galán, J. Medina, M. Ojeda-Aciego, A. Valverde, A categorical approach to unification of generalized terms Picture
  • 13:10-15:10 Lunch
  • 15:10-16:00 R.N. Banerjee, A. Bujosa, Syntactic Unification as a Geometric Operation in Free Modules over certain Rings Picture
  • 16:00-16:50 J. Medina, M. Ojeda-Aciego, P. Vojtás, Picture Similarity-based Multiadjoint Unification
  • 16:50-17:10 Coffee break
  • 17:10- Panel discussion Picture
  • Photo Gallery

    The group after the workshop

    The UNCL group

    Some pictures from the Alcazaba

    Alc1 Alc2 Alc3 Alc4 Alc5 Alc6 Alc7 Alc8 Alc9

    Note in Alc9 how some Ojedas were important enough to have their name engraved on marble.

    Some pictures from the Tapas' Route

    tapas tapas1 tapas2 tapas3 tapas4 tapas5 tapas6 tapas7 tapas8

    Organizing Committee

    Patrik Eklund Manuel Ojeda-Aciego
    Dept. Computing Science Dept. Matemática Aplicada
    Umeå University Universidad de Málaga
    Email: peklund at cs.umu.se Email: aciego at ctima.uma.es