posted by organizer: Andrew_M || 50927 views || tracked by 4 users: [display]

AMAI 2021 : Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification

FacebookTwitterLinkedInGoogle

Link: https://www.editorialmanager.com/amai
 
When N/A
Where N/A
Submission Deadline Jan 31, 2021
Categories    logic   automated reasoning   formal methods   theoretical computer science
 

Call For Papers

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 January 31 2021

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@risc.jku.at)
Andrew M. Marshall (amarsha2@umw.edu)

Related Resources

KRR@SAC 2022   Knowledge Representation and Reasoning (track of the 37th ACM/SIGAPP Symposium On Applied Computing
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
Logic and Love 2022   Logic and Love, Workshop at UNILOG'2022
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
LATIN 2022   The 15th Latin American Theoretical Informatics Symposium
IEEE--ICCIA--EI, Scopus 2022   IEEE--2022 7th International Conference on Computational Intelligence and Applications (ICCIA 2022)--EI Compendex, Scopus
UNILOG 2022   7th World Congress and School on Universal Logic
SIUSAI 2022   2022 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2022)