Logic List Mailing Archive

CFP: (extended) SI of Kuenstliche Intelligenz on Non-Classical Reasoning for Contemporary AI Applications, Deadline: 18 December 2023

Journal "KI - Knstliche Intelligenz" (German AI journal) Special Issue o
n Non-Classical Reasoning for Contemporary AI Applications (guest editors: 
C. Benzmller and A. Steen)
https://www.springer.com/journal/13218

====================

Extended submission deadline: December 18, 2023.

This special issue aims at providing an overview of recent work in automati
on of expressive non-classical logics, AI-related applications thereof, and
 discussions of perspectives in explicit symbolic knowledge representation 
and reasoning in contemporary AI applications regarding, but not limited to
, the following topics:

- Knowledge representation in non-classical logics
- Automated and interactive theorem proving in non-classical logics
- Applications of non-classical logics and logic automation in AI
- Applications of automated reasoning in other sciences
- System development and implementation techniques
- Current and upcoming developments in non-classical automated reasoning

Technical contributions (of up to 20 pages), abstracts (4 pages), e.g., on 
doctoral theses or habilitations, system descriptions (4-6 pages), project 
reports (4-6 pages), or discussion articles (4-8 pages), are welcome. All s
ubmissions will be peer-reviewed.

The full CfP can be found at 

    https://www.springer.com/journal/13218/updates/25263164
(but please ignore the old deadline).

If you have any questions, please do not hesitate to contact me (alexander.
steen@uni-greifswald.de).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php