Proceedings 40th International Conference on Logic Programming

Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift
2/11/2025
cs.LOcs.AI

No confident code implementation found for this paper. 1 possible match can be shown below.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Semirings for Probabilistic and Neuro-Symbolic Logic Programming

83% match2024

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

81% match2024

The Quantified Boolean Bayesian Network: Theory and Experiments with a Logical Graphical Model

76% match1 repo272024

Learning Logical Rules using Minimum Message Length

76% match2025

On LLM-generated Logic Programs and their Inference Execution Methods

75% match2025

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models

75% match2025

Cite this paper

@article{cabalar2025proceedings,
  title  = {Proceedings 40th International Conference on Logic Programming},
  author = {Pedro Cabalar and Francesco Fabiano and Martin Gebser and Gopal Gupta and Theresa Swift},
  year   = {2025},
  eprint = {2502.08453},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2502.08453v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2502.08453.svg)](https://codeofpaper.com/paper/2502.08453)

Discussion