Proceedings 41st International Conference on Logic Programming
Martin Gebser (University of Klagenfurt), Daniela Inclezan (Miami University), Francesco Ricca (University of Calabria), Manuel Carro (IMDEA Software Institute, Universidad Polit\'ecnica de Madrid), Miroslaw Truszczynski (University of Kentucky)
TL;DR
This volume compiles research from the 41st International Conference on Logic Programming, covering theoretical foundations, language design, program analysis, applications, and implementation methodologies in logic programming.
Contribution
It presents a diverse collection of recent research advancements across multiple tracks, including main, fast track, and recent publications in logic programming.
Findings
Advances in logic programming theories
Innovations in language design and optimization
New applications and implementation techniques
Abstract
Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical Communications of the 41st ICLP, held on 12-19 September 2025 at the University of Calabria in Rende, Italy. The papers and extended abstracts in this volume address the following areas and topics: theoretical foundations, language design and programming methodologies, program analysis and optimization, applications and implementation methodologies. This volume features contributions to three submission tracks of ICLP 2025: the Main track, IJCAI fast track, and Recently Published Research track.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Machine Learning and Algorithms