Introduction to the 26th International Conference on Logic Programming Special Issue

This is the preface to the 26th International Conference on Logic Programming Special Issue

💡 Research Summary

This introductory article serves as the preface to the special issue of Theory and Practice of Logic Programming (TPLP) that collects the full papers presented at the 26th International Conference on Logic Programming (ICLP) in 2010. It explains a major change in the way the Logic Programming (LP) community disseminates its research results. Historically, ICLP proceedings were published as stand‑alone volumes, a model typical for computer‑science conferences but less compatible with the publishing mechanisms used in many other scientific fields. To bridge this gap while preserving the excitement of a traditional conference, the Association for Logic Programming (ALP) and its Executive Committee introduced a hybrid model in 2010.

The new model consists of two parallel tracks. Full papers are submitted for possible inclusion in a special issue of TPLP, thereby receiving journal‑level peer review and the visibility associated with a reputable journal. Shorter technical communications are submitted for inclusion in Volume 7 of the Leibniz International Proceedings in Informatics (LIPIcs) series, which is hosted on the Dagstuhl Research Online Publication Server (DROPS). Both sets of papers are presented by their authors at the conference, and together they constitute the official ICLP 2010 proceedings.

The call attracted 104 abstracts, of which 81 became complete submissions. Sixty‑nine of these were full‑paper submissions to the TPLP track (21 of them classified as application or systems papers). Each submission was evaluated by at least three anonymous referees. After the first round of reviewing, only 25 full papers remained; these underwent a second, more detailed review, after which all 25 were accepted for the special issue. The final composition of the special issue is 17 regular research papers, 6 application papers, and 2 systems‑and‑tools papers. In parallel, the technical‑communication track received 22 accepted papers, which appear in the LIPIcs volume together with invited talks and the doctoral symposium contributions.

The preface lists the thematic breadth covered by the accepted papers. Topics span core logic‑programming theory (semantic foundations, formalisms, non‑monotonic reasoning, knowledge representation), implementation issues (compilation, memory management, virtual machines, parallelism), development environments (analysis, transformation, verification, debugging, profiling, testing), language features (concurrency, objects, coordination, mobility, higher‑order constructs, types, modes, assertions, programming techniques), related paradigms (abductive, inductive, constraint, and answer‑set programming), and a wide range of applications (databases, data integration, software engineering, natural‑language processing, web and semantic web, agents, artificial intelligence, bioinformatics). Special categories were defined for application papers (emphasising impact on the target domain) and for systems/tools papers (emphasising novelty, practicality, usability, and public availability).

The article also acknowledges the extensive effort of the program committee, external reviewers, and the conference sponsors (EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, Google, HP, Intel). It thanks the organizers of the broader Federated Logic Conference, the School of Informatics at the University of Edinburgh, and individuals who contributed invited talks, the Prolog programming contest, and the doctoral consortium. The EasyChair system is credited for streamlining the submission and review workflow.

In summary, this preface documents a strategic shift in LP publishing: by coupling a journal special issue with an open‑access proceedings volume, the community gains higher compatibility with interdisciplinary publishing standards while retaining the rapid dissemination and community interaction characteristic of conferences. The detailed statistics, topic coverage, and acknowledgment of contributors illustrate the vitality of the LP field in 2010 and provide a model that other computer‑science sub‑communities might emulate to enhance both scholarly impact and cross‑disciplinary visibility.