Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP: Special issue on "Non-Classical Reasoning...

Email Gateway (Oct 18 2023 at 07:46):

From: Alexander Steen <cl-isabelle-users@lists.cam.ac.uk>
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@uni-greifswald.de).

Last updated: Apr 29 2024 at 04:18 UTC