Proceedings 41st International Conference on Logic Programming
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918268504113152 |
|---|---|
| author | Gebser, Martin Inclezan, Daniela Ricca, Francesco Carro, Manuel Truszczynski, Miroslaw |
| author_facet | Gebser, Martin Inclezan, Daniela Ricca, Francesco Carro, Manuel Truszczynski, Miroslaw |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_00047 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings 41st International Conference on Logic Programming Gebser, Martin Inclezan, Daniela Ricca, Francesco Carro, Manuel Truszczynski, Miroslaw Logic in Computer Science 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. |
| title | Proceedings 41st International Conference on Logic Programming |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2601.00047 |