Email Gateway (May 04 2023 at 09:38): Email Gateway (May 04 2023 at 09:38):From: Temur Kutsia <kutsia@risc.jku.at>
Call for papers
Journal of Symbolic Computation
Special Issue on the Interaction of Symbolic Computation and Machine
Learning in Artificial Intelligence
https://www.sciencedirect.com/journal/journal-of-symbolic-computation/about/call-for-papers
=============================
SCOPE
Symbolic computation (SC) aims at providing algorithmic solutions to
problems dealing with symbolic objects such as terms, formulas,
programs, representations of algebraic objects, etc. Algorithms and
methods developed for the major subfields of SC (computer algebra,
computational logic, automatic programming) have found successful
applications in various areas.
From the beginning, SC was also considered a major approach to
"artificial intelligence", since the problems solved by SC, typically,
are problems that were considered hard for "human intelligence" (like
symbolic integration, theorem proving, SAT/SMT solving, program
verification, hardware verification, etc.).
Meanwhile, recent advances in artificial intelligence methods have
provided new exciting opportunities in science and industry, being more
and more integrated into most aspects of life. Machine learning (ML)
methods, developed in parallel to symbolic methods for solving hard
"artificial intelligence" problems, achieved spectacular results in
numerous applications in recent years.
This special issue is dedicated to the interaction of symbolic
computation and machine learning methods seen as the two major
approaches to "artificial intelligence". We expect dramatic advances
from a much closer interaction of the SC and the ML approaches to
artificial intelligence. This interplay is, in fact, essential in the
current scenario where the economy and society demand the development of
complex, data-intensive, trustable, and high-performant computational
systems that accompany humans in more and more facets of their daily life.
The special issue is organized as a follow-up of the 24th International
Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
SYNASC 2022. Participants of the symposium, as well as other authors,
are invited to submit contributions. We welcome submissions describing
the interaction of SC and ML methods, techniques, and tools, and their
applications in AI.
SUBMISSION
This special issue welcomes high-quality contributions, including papers
with original research results as well as review articles. They will be
peer-reviewed using the standard refereeing procedure of the Journal of
Symbolic Computation.
Submitted papers must be in English, prepared in LaTeX according to the
guidelines of the journal:
https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171/guide-for-authors
PDF versions of manuscripts must be submitted via Journal of Symbolic
Computation online submission system (Editorial Manager):
https://www.editorialmanager.com/jsco/default2.aspx.
Please select the article type "VSI: SYNASC 2022" when submitting your
manuscript online.
Submission deadline: August 14, 2023
GUEST EDITORS
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Mircea Marin (West University of Timisoara, Romania)
Wolfgang Windsteiger (RISC, Johannes Kepler University Linz, Austria)
Last updated: Apr 28 2024 at 20:16 UTC