Logic programming was born from the idea of Horn logic as the basis for a programming language and from its embodiment in Prolog programming language, both dating their origins back to late 1960s and early 1970s. It quickly became a major milestone in the development of computer science. Since then, logic programming has remained a vibrant area of basic research on theoretical foundations of declarative programming, developing and exploiting connections to related fields such as knowledge and data bases, satisfiability and constraint programming, probabilistic programming, learning, implementation principles, and applications.
TPLP has been established in 2001. Since its launch date in January 2001, the journal has been serving our community as its flagship publication, a worthy successor to the Journal of Logic Programming. The 20th anniversary of the birth of TPLP is an excellent opportunity to look at our field, survey its accomplishments, identify and discuss challenges it faced, as well as, successes and failures in meeting them. Finally, it is an opportunity to map the road into the future.
The 20th Anniversary Issue of TPLP initiative will be coordinated by Thomas Eiter, Luc De Raedt, Michael Maher, Enrico Pontelli and Mirek Truszczynski, who will also serve as guest editors of the special issue. The guest editors envision that issue as consisting of invited papers that survey the state-of-the-art of most rapidly developing and emerging areas of logic programming, offer modern tutorials on well-established classical subjects, or present position statements on the field and its future, all targeting a broad audience rather than narrow groups of experts.
The editors invite proposals for such papers. These proposals should present the topic, and motivate its importance and interest. The proposals should be limited to two pages. These proposals will be reviewed by the editors, who will then invite some for full submission. These submissions will undergo a rigorous review. Those accepted will form the special issue.
The target deadlines are:
- November 30, 2019: the two-page paper proposals due
- January 31, 2020: invitations to submit papers sent to the authors of the selected proposals
- May 31, 2020: full papers due
- March 31, 2021: the paper review process ends - list of accepted papers finalized
- April 30, 2021: final versions of papers submitted
- June 30, 2021: the publication of the combined (1-3) issue of TPLP
Paper proposals should be submitted by email to Mirek Truszczynski at mirek@cs.uky.edu.
TPLP Instructions for Contributors: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors