Proceedings 40th International Conference on Logic Programming

• URL: http://arxiv.org/abs/2502.08453v1
• Date: Tue, 11 Feb 2025 12:13:52 GMT
• Title: Proceedings 40th International Conference on Logic Programming
• Authors: Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift,
• Abstract summary: ICLP has been the premier international event for presenting research in logic programming since 1982. Papers and abstracts in this volume include the following areas and topics.
• Score: 4.552899096936877
• License:
• 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.

Related papers

• Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights [49.42133807824413]
  We examine the reasoning and planning capabilities of large language models (LLMs) in solving complex tasks. Recent advances in inference-time techniques demonstrate the potential to enhance LLM reasoning without additional training. OpenAI's o1 model shows promising performance through its novel use of multi-step reasoning and verification.
  arXiv  Detail & Related papers  (2025-02-18T04:11:29Z)
• Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12 [2.8554857235549753]
  This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog -- two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence.
  arXiv  Detail & Related papers  (2024-07-09T12:40:58Z)
• Language Models can be Logical Solvers [99.40649402395725]
  We introduce LoGiPT, a novel language model that directly emulates the reasoning processes of logical solvers. LoGiPT is fine-tuned on a newly constructed instruction-tuning dataset derived from revealing and refining the invisible reasoning process of deductive solvers.
  arXiv  Detail & Related papers  (2023-11-10T16:23:50Z)
• Proceedings 39th International Conference on Logic Programming [53.44544554999452]
  This volume includes the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023) Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.
  arXiv  Detail & Related papers  (2023-08-28T20:46:59Z)
• Proceedings 38th International Conference on Logic Programming [5.314172877344743]
  ICLP 2022 is the premier international event for presenting research in logic programming. Papers are sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.
  arXiv  Detail & Related papers  (2022-08-04T14:36:47Z)
• Proceedings 37th International Conference on Logic Programming (Technical Communications) [10.616987252584066]
  ICLP 2021 is the premier international event for presenting research in logic programming. Papers are sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.
  arXiv  Detail & Related papers  (2021-09-15T02:07:23Z)
• How could Neural Networks understand Programs? [67.4217527949013]
  It is difficult to build a model to better understand programs, by either directly applying off-the-shelf NLP pre-training techniques to the source code, or adding features to the model by theshelf. We propose a novel program semantics learning paradigm, that the model should learn from information composed of (1) the representations which align well with the fundamental operations in operational semantics, and (2) the information of environment transition.
  arXiv  Detail & Related papers  (2021-05-10T12:21:42Z)
• Online Learning Probabilistic Event Calculus Theories in Answer Set Programming [70.06301658267125]
  Event Recognition (CER) systems detect occurrences in streaming time-stamped datasets using predefined event patterns. We present a system based on Answer Set Programming (ASP), capable of probabilistic reasoning with complex event patterns in the form of rules weighted in the Event Calculus. Our results demonstrate the superiority of our novel approach, both terms efficiency and predictive.
  arXiv  Detail & Related papers  (2021-03-31T23:16:29Z)
• Proceedings 36th International Conference on Logic Programming (Technical Communications) [127.81808516917793]
  ICLP is the premier international conference for presenting research in logic programming. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
  arXiv  Detail & Related papers  (2020-09-19T04:18:41Z)
• LPOP: Challenges and Advances in Logic and Practice of Programming [0.0]
  This article describes the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018. Its focus is challenges and advances in logic and practice of programming.
  arXiv  Detail & Related papers  (2020-08-15T14:28:46Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.