[Om-announce] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications

[geoff at cs.miami.edu]

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 
(alexander.steen at uni-greifswald.de).