Recently Published Research Track

Scope

This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2021 onwards) in selective journals and conferences, but have not been previously presented at ICLP.


Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, SAT, POPL, PADL, LICS.


Recently published research from all areas of logic programming are welcome, including but not restricted to:


  • Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.

  • Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques.

  • Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution, Visualization.

  • Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces.

  • Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning.

  • Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education.

Submission Details

Expected submissions

  • Extended abstract (2 or 3 pages in EPTCS format) describing previously published research (from January 2021 onwards) in selective journals and conferences, but that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue, where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP.


All submissions must be written in English.


The extended abstracts will be published in the Technical Communication Proceedings.


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.