Thematic Tracks

Scope

ICLP 2023 will feature two thematic tracks inviting submissions that explore specific roles and potential for logic programming. The two thematic tracks are:

  • Logic Programming and Machine Learning, accepting submissions at the intersection of logic programming and machine learning, including but not restricted to:

      • Probabilistic Programs and Neural Networks

      • Computing Logic Programs with Neural Networks

      • Learning Logic Programs

      • Neurosymbolic Logic Programming

      • Nonmonotonic Reasoning and Learning

      • Machine Learning for Theorem Proving

      • Abductive Logic Programming and Learning

      • Learning Answer Set Programs


  • Logic Programming and Explainability, Ethics, and Trustworthiness, accepting submissions from all areas of logic programming and explainability, ethics, and trustworthiness, including but not restricted to:

      • Modeling trust and ethics via logic programming and its extensions

      • Trust management language based on logic programming

      • Guarantee trustworthy and ethical behaviors exploiting logic programming

      • Logic programming-based knowledge representation for explainable artificial intelligence

      • Logic programming-based explanation methods for machine learning models

      • White-box induction from explaining machine learning models


Submission Details

Expected submissions

  • All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings.

  • Regular papers (14 pages in TPLP format, including references) The accepted regular papers will be published in TPLP. The program committee may recommend some regular papers to be published in Technical Communication Proceeding (TC). In this case, the papers will have to be reformatted into EPTCS format and not exceed 14 pages. Authors who submitted Regular papers that were accepted as TC may elect to convert their submissions into extended abstracts (2 or 3 pages in EPTCS format). This should allow authors to submit a long version elsewhere.

  • Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings.


All submissions must be written in English.


TPLP format is described at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors. EPTCS format is described at http://style.eptcs.org/

See the Important Dates page for important dates.

Submissions will be done via EasyChair. The submission Web page for ICLP2023 is https://easychair.org/conferences/?conf=iclp2023 .