Proceedings 41st International Conference on Logic Programming

Read full text
Authors: Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Mirosław Truszczyński
Cited by: 0

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.

Fields of Study & Subjects

Logic Reasoning and Knowledge Advanced Algebra and Logic Machine Learning and Algorithms

Publication details

Journal / source
Electronic Proceedings in Theoretical Computer Science
Volume
439
Publication date
8 January 2026
Language
EN