---------- 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 (alexander.st...@uni-greifswald.de). -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgrQpAb-YDs%3DNv%3Dob7%2BvJZYWnJy%3DW5dJO5ERq-Rc64FzA%40mail.gmail.com.
