Proceedings 40th International Conference on Logic Programming

TL;DR

This collection of proceedings from the 40th International Conference on Logic Programming covers recent advances in semantics, language design, program analysis, implementation techniques, and the integration of logic programming with neural models and large language models.

Contribution

It compiles recent research developments across various areas of logic programming, highlighting new semantics, methodologies, and implementation strategies.

Findings

Advances in non-monotonic and probabilistic reasoning.

Development of new language design and programming methodologies.

Innovations in program analysis and logic-based validation.

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 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.