Logic List Mailing Archive
CfP special issue of IJAR on logics for the new AI spring, Deadline: 1 Mar 2023
We invite submissions for a Special Issue on Logics for the new AI Spring,
to be published with the International Journal of Approximate Reasoning.
The development of logics capable of representing human-like reasoning has
always been one of the central objectives of logic-based Artificial
Intelligence. In addition to providing very successful tools for knowledge
representation and reasoning, logic-based AI is now facing the new and
pressing challenge related to the integration of symbolic and sub-symbolic
AI. In pursuing it, logic can once again shape significantly the future
developments of AI. The primary goal of this special issue is to gather
cutting-edge contributions which will jointly provide a comprehensive
state-of-the-art in the subject.
To achieve this, the scope of the special issue focuses on, but is not
limited to, the following topics:
(1) Logical methods in symbolic AI;
(2) Logical methods in machine learning;
(3) Machine learning in a logical setting;
(4) Reasoning and (interactive) decision making under uncertainty.
Important: Given the goal of the special issue, authors are strongly
encouraged to put forward as clearly as possible why and how their
contribution can be seen to provide an element of the state-of-the-art in
“Logic for Artificial Intelligence”. Failure to do so may lead to
Instructions: Authors should prepare their manuscripts according to the
"Instructions for Authors" guidelines of the International Journal of
Approximate Reasoning outlined at the journal website:
Submissions are expected to be written in LaTeX following the Journal’s
template. All papers will be peer-reviewed according to the standard
All manuscripts should be submitted electronically through Editorial
Manager ® at https://www.editorialmanager.com/ija/default1.aspx
<https://www.editorialmanager.com/ija/default1.aspx>. When submitting
papers, please select Article Type as "VSI:Logics for the new AI spring".
Submission Deadline: 1st March 2023.
Keywords: Logic for AI; Machine Learning, Knowledge Representation;
Symbolic AI; Hybrid systems.
Dr. Tommaso Flaminio (Managing Guest Editor)
Instituto de Investigación en Inteligencia Artificial (IIIA - CSIC), Barcelona.
Prof. Hykel Hosni
Logic, Uncertainty, Computation, and Information Group, Dipartimento di Filosofia, Università degli Studi di Milano.
Further information is available from the IJAR website
[LOGIC] mailing list
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam