This issue of Theory and Practice of Logic Programming features substantially revised and expanded versions of selected papers originally presented at the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), held in Dallas, Texas (USA), from October 11 to October 14, 2024.

Established in 1991, the LPNMR conference series has become a leading venue for researchers working in logic programming and nonmonotonic reasoning. It provides a platform for the exchange of ideas on declarative programming, knowledge representation, and nonmonotonic reasoning, consistently attracting a large number of high-quality submissions. The conference seeks to foster collaboration between researchers and practitioners involved in the development of logic-based programming languages and database systems, as well as those exploring theoretical and applied aspects of knowledge representation and reasoning. LPNMR welcomes both foundational and experimental contributions that advance these fields and support their application to real-world problems. In particular, LPNMR 2024 continued its tradition of bringing together experts from the conference’s core research areas and related application domains to exchange insights, encourage interdisciplinary collaboration, and shape future research directions.

A total of 30 papers were accepted for presentation at LPNMR 2024, including 27 regular papers and 3 short papers. From the highest-ranked regular papers with a focus on logic programming, 8 were invited for submission of substantially extended versions to a special issue of Theory and Practice of Logic Programming. After undergoing a rigorous evaluation process, the selected contributions were included in this special issue, providing a representative overview of the research themes explored at LPNMR 2024, encompassing both theoretical foundations and application-driven advances.

The contributions are:

• • Towards industrial-scale product configuration, by Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, and Philipp Wanko;

• • Towards mass spectrum analysis with ASP, by Nils Küchenmeister, Alex Ivliev, and Markus Krötzsch;

• • A category-theoretic perspective on higher-order approximation fixpoint theory, by Samuele Pollaci, Babis Kostopoulos, Marc Denecker, and Bart Bogaerts;

• • Autonomous agents and policy compliance: A Framework for Reasoning About Penalties, by Vineel Tummala and Daniela Inclezan;

• • Applications of intuitionistic temporal logic to temporal answer set programming, by Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, and Igor Stéphan;

• • Question answering with LLMs and learning from answer sets, by Manuel Alejandro Borroto Santana, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo;

• • Multi-paradigm logic programming in the ErgoAI system, by Michael Kifer and Theresa Swift;

• • Implementing metric temporal answer set programming, by Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, and Torsten Schaub.

We would like to thank all authors for preparing, submitting, and revising their contributions to this special issue. We also thank all members of the LPNMR 2024 Program Committee for their valuable work in reviewing the submissions, all conference participants for the fruitful discussions, and the local organization team. To make this special issue possible, we are particularly grateful to Mirek Truszczyński and Agostino Dovier for their help and support throughout the whole process. Finally, we want to thank all reviewers of this special issue for their timely expertise in carefully reviewing the contributions.