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.st...@uni-greifswald.de).
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
