Proceedings 40th International Conference on Logic Programming
Pedro Cabalar (University of Coru\~na), Francesco Fabiano (New Mexico, State University), Martin Gebser (University of Klagenfurt), Gopal Gupta, (University of Texas at Dallas), Theresa Swift (Johns Hopkins Applied Physics, Laboratory)

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…
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
MethodsSparse Evolutionary Training
