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.