TLP 11 (4–5): 429–432, 2011. C  Cambridge University Press 2011 doi:10.1017/S1471068411000342 429 Introduction to the 27th International Conference on Logic Programming Special Issue JOHN GALLAGHER Roskilde University, Denmark and IMDEA Software Institute, Madrid, Spain (e-mail: jpg@ruc.dk) MICHAEL GELFOND Texas Tech University, USA (e-mail: michael.gelfond@ttu.edu) Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Paral- lelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordina- tion, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Process- ing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. There were four broad categories for submissions: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis is on their impact on the application domain; (3) system and tool papers, where the emphasis is on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers. The length limit for full papers was set at 15 pages plus bibliography for full papers (approximately in line with the length of TPLP technical notes) and for technical communications at 10 pages total. The papers appearing in this issue are classified as “TPLP rapid publications”. https://www.cambridge.org/core/terms. https://doi.org/10.1017/S1471068411000342 Downloaded from https://www.cambridge.org/core. IP address: 54.163.42.124, on 28 May 2020 at 13:44:43, subject to the Cambridge Core terms of use, available at