[TYPES/announce] CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification

[Temur Kutsia]

Call for submissions

Annals of Mathematics and Artificial Intelligence
Special Issue on Theoretical and Practical Aspects of Unification
-------------------------------------------------

SCOPE
--------
In 2020, Annals of Mathematics and Artificial Intelligence (AMAI)
celebrates its 30th anniversary. Over the years, the journal has
promoted better understanding of the application of quantitative,
combinatorial, logical, algebraic and algorithmic methods to artificial
intelligence areas as diverse as decision support, automated deduction,
reasoning, knowledge-based systems, machine learning, computer vision,
robotics and planning. AMAI special issues are intended to be
collections of original research papers reflecting the intersection of
mathematics and a focussed discipline demonstrating how each has
contributed greatly to the other. A further goal of the journal is to
close the gaps between the fields even further. Papers should report on
current research in the appropriate areas, as well as more retrospective
papers in which progress has been ongoing over a period of time.

The purpose of this special issue of AMAI is to promote research on
theoretical and practical aspects of unification. Unification is
concerned with the problem of making two terms equal, finding solutions
for equations or making formulas equivalent. It is a fundamental process
used in a number of fields of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, types, etc. The special issue is related
to the topics of the 34th International Workshop on Unification - UNIF
2020. Participants of the workshop, as well as other authors are invited
to submit contributions.


EXAMPLES OF TOPICS
-------------------
This special issue focuses on advanced results on the topics of
unification in a broad sense, which include, but are not limited to, the
following:

  - Unification algorithms, calculi and implementations
  - Equational unification and unification modulo theories
  - Unification in modal, fuzzy, temporal and description logics
  - Anti-unification/generalization
  - Semi-unification
  - Narrowing
  - Matching problems
  - Unification in special theories
  - Higher-order unification
  - Combination problems
  - Constraint solving
  - Disunification
  - Complexity issues
  - Type checking and reconstruction
  - Admissibility of inference rules
  - Formalization of unification
  - Tools
  - Applications


SUBMISSION
-----------
This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Annals of Mathematics and
Artificial Intelligence.

Submitted papers must be in English, prepared in LaTeX according to the
guidelines of the journal:
https://www.springer.com/journal/10472/submission-guidelines.

PDF versions of papers should be uploaded at the submission page

https://www.editorialmanager.com/amai

by December 14, 2020.

Please choose S704 - Unification - UNIF 2020 when you will be selecting
the article type.


GUEST EDITORS
--------------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrew M. Marshall (University of Mary Washington, USA)


FURTHER INFORMATION
-------------------------------
Temur Kutsia <kutsia at risc.jku.at>
Andrew M. Marshall <amarsha2 at umw.edu>