coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications

From: geoff AT cs.miami.edu
To: <coq-club AT inria.fr>
Subject: [Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications
Date: Wed, 18 Oct 2023 07:03:51 -0400 (EDT)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
Ironport-data: A9a23:u3k4m6/Qv7JYYkbBZarMDrUDPHiTJUtcMsCJ2f8bNWPcYEJGY0x3z mtKDG2CMv2IZWb8Lthwbo61oR5V6MPTzt5lTAA9pH1EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYvWo4ow/jb8kg25K2i4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE6dM3MF0NZ5Ii3qVQWVwe8 dkTE2AoYUXW7w626OrTpuhEj94mLdL3MYoT/Hpr1nfcDP8jQNbOT7iiCd1whWZqwJsXW6aPI ZRxhTlHNHwsZzVAN1AZBro1h6Gth3D6cntVpE/9Sa8fujOKnFMgi+mzWDbTUoOqZNlatH2pn Efp+Cf4PCEoGYCH6TXQpxpAgceKx0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 0UO/ys1saU7+AqgVZ/4XhS9oTiJsgN0t8dsLtDWITqlksL8izt1zEBdJtKYQIx27p0FVnYx2 0WXntjkIzVqvffHATie77qY53f6cyQcMWZIN2dOQBon8uvThtg5rivOadJ/T4+zrNn+Qg/rz x6w8SMRurQ0jOww7Zudw2zpuTyXi6bsch8U/STSB2Ks0RN4btWqZquu8lnq0sxDJ4e4EHiEk mkOpMyM4M8wDaOmyS68G8AQFo6t5/y6MyDuvmQ2Ppg+9gaC/2yoUpBQ7QpfemZoEJcgUh34b HDDvTh+4MdoA0KrSqtscqSzIcgO5orxJ+TPD/z7QIJHXclsSVWh4iprW3+140nst0odyYcEJ paRdJeXP0YwUKhI4mK/eLYA7OUN2Cs7+GL0QKL7xTSB1Z61RiacaZUBAWu0QtEJ1oG2iySLz I8HLOqP8QtVb8PmaCqO8YIzE0EDHUJmOb/I8f5oZsyxCSs4PlF5EPLA46ITS6o8lYRvq+r41 HWcWEhZ9VnBuUP6OTi6MnBOVbe+cqt8/FQaPDMtN2mGw3IMQ5iix4ZBeooVfYsIzv1Cz/l1f qIgZs+/BvRFdTfayQsnNLj8s41QWxC5ji2ePyeeQWYefrwxYyfr69Pbbg/U2y1WNRWOtOw6u KyG1CnXZbEhVjZSJp/aR9z3xmzgoEVHvvx5WnX5B+V6eWLuwdBMEDPwhPpmGPM8A0zP6RXC3 jnHHCpCg/fGprI019z7haqkiYONOMkmF2p4G1jr15qHBRP4zEGCn7AZCP2peArDXlza4K+hP OVZ78/tOc09wWpljdBOLKZJ/4kfuf3f/6RX3yZ1LkXtNl6LMI5tElOC/MtIt5BO+INnhBuLa hqx3edeaJq0O5LDMV8OJQAaQPyJ+tMKlxLzs/kkAkXIyxVm3biAUHQJGgSGtyhdJoR2LbEa+ 74AudEX2SO7mBEFItaLtQEK1mWuf1grcbQriYEeO6Dv0jEU81BlZYfNLC3c7LWkScR+AmNzL hC63KP91qlhnGzceH8NJF3x9Ot6h6VWnitVzVUHdm+7qvCcitAZhBRuoCkKFCJLxRB60sV2C GhhF2txAY6spz5Ipsxyb1qAKjF7Ji+y2xLOkgMStWjjUUOXeHTHLzQ9Ncaz7UkpyT9gUQYBz o6I6lTOcGjMTJj90BJnDAQh47bmQMdq/wLPpNG/Eo7XV9MmaD7imem1aXBOtxLjBtgriVbao fVxutx9crD/KTVatphT51N2DljMYEvsyK1+rfBdEGchFHvZeSqu1DGCbUu6YYVIJvXP8Am1B 9EGygejkfih/H7mk9zZLfdkz3xIcDoB78FEf7LiIG9AvreCxtasmIyF7TDw3QfHXP01+fvQ6 ertm/aqGXfWgHpdnm6LocVZUoZ9jR/oeyWktN2IHC41+17vfQ2inYzeEld5gplNDDZawg==
Ironport-hdrordr: A9a23:SclsaKwxYs2D0BVmvJ8/KrPwRr1zdoMgy1knxilNoHNuHPBw+/ rOoB1k73DJYV8qMRlKpTnqAsO9qB3nmKKdmbN8AYuf
Ironport-phdr: A9a23:uXo69hJXLph0cIAN3dmcuJttWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtbMz1BSUAs2bs6sC17CI9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYr5+N hS7oRneusQWg4ZpN6I9xgfUrndSdOla22JlKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/T bxWDTQmN3466cj2vhTdTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8 rpmRwXpiCcDMD457X3Xh8lth69VvB6tuxpyyJPSbYqINvRxY7ndcMsHS2RfWchfVCJPDIOnY ocTE+YNIfpUopPhq1cSqxa1GAmiBPnoyj9NnnL20rM10+MvEQHIxwEvA8kOvG7RrNX0LqgSV OG1wLPWwjrecvNb3yr254fUfB47u/6MQa5wftTLyUkpDw7LjkidpZLrMT+J0ukBr3aX4uhiW O+yhWMpqwB8rzehyMosiITEgo0Yx17Z+Sh5xIs4J8C1RUFnbNCkE5ZdszyWOo1rSc0sRGFov Tw1yrwAuZOjZygK0I4nxx/Za/yIbYeI+AjvW/qWITd9gn9uZbGxhw6q/ES9zuDwSNO43VhXo iZfkdTBsmoB2h3V58OaUPVy5F2h1iyK1w3L6uFLP0Q0la3DJpE72L4wk5sTsV/fHiDogkr5k bWaeVk49eiz8ejnZ7TmqYWZN491kA3xLLkhmtGnDeQ5NAgBQXSb9Pyh2LDn40H1WrtHguAsn qTatJ3WP8UWqra8AwBP04Yj7xi/Dy2h0NQdhXQHI0xKeBWJj4jnIFzBPOv4Ae26g1Stijhrw vHGMqf/DZrQM3jPiLHhcq1l5E5G1AUz1cxf545TCrwZPf7/QlXxu8DADh8lLwy0xP7qB8l61 oMHQG6AHquZML7JvlKT/eIuI+yMZJcPtzrnKvgl4eTujX4jllMHc6mpx8hfVHftSv9hOgCSZ WfmqtYHC2YD+AQkGr/EklqHBDFeYHi8d6knoDQ6AYenS4rPW9P+yIed1Tu2S8UFLltNDUqBR C+An+SsXv4NbHjXOcp9inkeUrPnTYY91BaovQu8yrx9L+OS9DdL/Yn72o1T4Ove3Qo36SQyF 96Uhm6ASG96tmgTATo31aV+50Fx1wTLyrB21sdfG8B97vJNGhw/KYaayuV7D97oXQeUcdqOR liOSc7gBDA4S9N3ztMTMA5mA9v3qBfF0mKxBqMN0byGAJth6qXHw334PNpw0V7PzqwglEUrS 8cJPma9wKt+/g3SQYPFji11jo6McqIRlG7I/WaHly+VuV1AFRR3WuPDVGweYU3fqZL44FnDR vmgE+ZvNAwJ0sOEJqZQD7+hxVxbWPfuPsjfaGOtii+xAxiP3LaFcIvtfS0UwizcDEEOlw1b8 2yBMEAyASKoomSWCzILdxqnbE7r/+dWo2j9S049ygDMYkF8lvK09hMTmf2AWqYLxLtX8Cwlq jhyABO8x4ePWoDG/FMnLPQaP4BYgh8Pz2/Sug1jM4b1KqljggRbaAFrpwb00B4xDIxckM8sp XdszQxoKKve3kkSElHQlZ32JLDTLXH/uR61bKuDkF7T19iY0qwUrvE5olDi+gylCwBxlhcvm 8kQyHaa6pjQWUAdXJX/XG487F5/prjfY28w656ehjV8dKKztDHFwdcgAuAonw2hc9loO6SBD AbuEsceCqBCMcQRnFa1QBsFOKgS8ac1O5njbP6awOuxO+0mmju6jGNB6YQ700SW9iM6RPSal 5oCxviZ2G7lH3/7gh+uv8f5l6hPfncXH2O6yG7pCJMZZ7Y6fIAADWaoLsH/2tI2gZnxE3JV7 1+sAVoa1arLMVLLPga7hlQWhRVR/zSugmOgwiZxki01o6bXxyHIz+n4NVIGNmNNWGh+nALpK ImwgcodWRvNDUBhnx+k6EDmgqlD8f0udS+IGAEYLm6ofAQAGuOqu7GPYtBC8sYtuCRTCqGnZ EyCD6T6qF0c2j/iGG1XwHY6cSurs9P3hU8f6irVIXBtoX7eYcw1yw3Y4YmWSvNW0DQuTzI+j DjeA1n6MtW0t4bx9d+LoqWlWmStW4cGOybmyo2OnCCgo2hrCBi+2f2/h5e0WRh/2ij92d5wU CzOpxupeYjn2ZOxNud/d1VpDlvxuK8YUslu15E9j5YK1T0Gl42YqDAZxHzrP4wRiuruKWAAT jkRz5vJ7Rj5jQd9e2mRyducND3Vw9M9NYDrOCVNg2RtvoYTUu+V9OAWxHEk5APn9ESKPb4kx 38cz/Aq9XIX0dYSoARrwSKaDbQfW0JfOEmO31ye5tS65s27fU6Jdr69nAp7lNGlVvSZpx1EH Wz+cdEkFDNx6cN2NBTN1mfy48fqYouYa9VbrRCSnxra6oodYJssivoHgzZmMmPhrDUkzeA8l xlnwZC9usCONWxs+KuzBhMQOCfyYosf/TTkjKAWmcjzvcjnBpJ6BjACR4flV9qhCjcTrujqP grIGzYn7HKaEL/eWwKT9QYurn7CFYyqK2DCJHQdyoYHJlHVL0hejQYIGTQiy8doTEbxnYqxI QEntVVzrhbipxBBy/xlLUz6W2bb/kKzbyssDYKYJ1xQ5x1D4EHcNYqf6PhyFmdW5M7EzkTFJ 2qFagBPFWxMVFaDAgWpMbSp69fo+PPeA+u3KvqIbLmT4787Nb/A1de0341q8izZfN2IJWVnB uYn11BrVGp8Gt/FljwDDSccjGTIbseepVGx9jA9/aXduLz7HQno44WIEb5bN95irgu3jam0P OmVnC9lKDxc2/vkIFfD0/4a3VcXimdjeyT/SdzoVAbEVqfRgbNaBhJdYChocs5J5qc9mARBJ JyD4jsa/rVjyPs0AlJEE1Hth5PyDfE=
Ironport-sdr: 652fbba8_TEZcp2ZLpRXczq1Fs7t42irXDhh0ROc3t3FxhFdqc9vOewd UmCGnM4XuYjkfknxYe6YJVr5M8aXcW+LXsjPoZg==

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

[Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications, geoff, 10/18/2023
- Re: [Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications, Patrick Barlatier, 10/19/2023