Fwd: CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications

[Joao Marcos]

---------- Forwarded message ---------

Call for Papers

Journal "KI - Künstliche Intelligenz" (German AI journal)
Special Issue on Non-Classical Reasoning for Contemporary AI Applications
(guest editors: C. Benzmüller 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 automation
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
submissions 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
(alexand...@uni-greifswald.de).