Special Issue I of Kuenstliche Intelligenz on Non-Classical Reasoning for Contemporary AI Applications

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. 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).