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.

Guest editors:

Dr. Tommaso Flaminio (Managing Guest Editor)
Instituto de Investigación en Inteligencia Artificial (IIIA - CSIC), Barcelona.
Email: tommaso@iiia.csic.es

Prof. Hykel Hosni
Logic, Uncertainty, Computation, and Information Group, Dipartimento di Filosofia, Università degli Studi di Milano.
Email: hykel.hosni@unimi.it

Further information is available from the IJAR website

https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/forthcoming-special-issues <https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/forthcoming-special-issues>
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam