Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, maritime situational awareness, etc. Motivated by such a wide range of applications, ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry, to share the recent advancements, challenges and insight for LP applications.
The goal of the Application Track is two-fold. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products, and their expectations from the development of theory and tools from the LP community.
The Applications Track at ICLP 2020 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned.
We welcome LP applications in a wide range of areas, including but not limited to:
In addition to the usual evaluation criteria concerning the quality of the presentation, for the Applications track the criteria will include:
Updated information avaliable in the dedicated page.
All submissions must be written in English.
All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.
Any additional questions can be directed towards the Application Track Co-Chairs:
Alexander Artikis, University of Piraeus & NCSR Demokritos
Angelika Kimmig, Cardiff University, UK