Proceedings 40th International Conference on Logic Programming
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913688153227264 |
|---|---|
| author | Cabalar, Pedro Fabiano, Francesco Gebser, Martin Gupta, Gopal Swift, Theresa |
| author_facet | Cabalar, Pedro Fabiano, Francesco Gebser, Martin Gupta, Gopal Swift, Theresa |
| 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 technical communications about, and abstracts for presentations given at the 40th ICLP held October 14-17, in Dallas Texas, USA. The papers and abstracts in this volume include the following areas and topics. Formal and operational semantics: including non-monotonic reasoning, probabilistic reasoning, argumentation, and semantic issues of combining logic with neural models. Language design and programming methodologies such as answer set programming. inductive logic programming, and probabilistic programming. Program analysis and logic-based validation of generated programs. Implementation methodologies including constraint implementation, tabling, Logic-based prompt engineering, and the interaction of logic programming with LLMs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_08453 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings 40th International Conference on Logic Programming Cabalar, Pedro Fabiano, Francesco Gebser, Martin Gupta, Gopal Swift, Theresa Logic in Computer Science Artificial Intelligence 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 technical communications about, and abstracts for presentations given at the 40th ICLP held October 14-17, in Dallas Texas, USA. The papers and abstracts in this volume include the following areas and topics. Formal and operational semantics: including non-monotonic reasoning, probabilistic reasoning, argumentation, and semantic issues of combining logic with neural models. Language design and programming methodologies such as answer set programming. inductive logic programming, and probabilistic programming. Program analysis and logic-based validation of generated programs. Implementation methodologies including constraint implementation, tabling, Logic-based prompt engineering, and the interaction of logic programming with LLMs. |
| title | Proceedings 40th International Conference on Logic Programming |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2502.08453 |