Proceedings 38th International Conference on Logic Programming
- URL: http://arxiv.org/abs/2208.02685v1
- Date: Thu, 4 Aug 2022 14:36:47 GMT
- Title: Proceedings 38th International Conference on Logic Programming
- Authors: Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin
Gebser, Tuncay Tekle
- Abstract summary: 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.
- Score: 5.314172877344743
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: ICLP is the premier international event for presenting research in logic
programming. Contributions to ICLP 2022 were sought in all areas of logic
programming, including but not limited to: Foundations: Semantics, Formalisms,
Nonmonotonic reasoning, Knowledge representation. Languages issues:
Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes,
Assertions, Modules, Meta-programming, Logic-based domain-specific languages,
Programming techniques. Programming support: Program analysis, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Execution
visualization. Implementation: Compilation, Virtual machines, Memory
management, Parallel and Distributed execution, Constraint handling rules,
Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies:
Inductive and coinductive logic programming, Constraint logic programming,
Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem
proving, Argumentation, Probabilistic programming, Machine learning.
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.
Related papers
- Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus [1.9662978733004604]
The Abstraction and Reasoning Corpus (ARC) is unsolvable by any Machine Learning method.
We propose a Program Synthesis system that uses Inductive Logic Programming (ILP), a branch of AI, to solve ARC.
arXiv Detail & Related papers (2024-05-10T11:22:31Z) - Is English the New Programming Language? How About Pseudo-code Engineering? [0.0]
This study investigates how different input forms impact ChatGPT, a leading language model by OpenAI.
It examines the model's proficiency across four categories: understanding of intentions, interpretability, completeness, and creativity.
arXiv Detail & Related papers (2024-04-08T16:28:52Z) - 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) - When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
We propose complexity-impacted reasoning score (CIRS) to measure correlation between code and reasoning abilities.
Specifically, we use the abstract syntax tree to encode the structural information and calculate logical complexity.
Code will be integrated into the EasyInstruct framework at https://github.com/zjunlp/EasyInstruct.
arXiv Detail & Related papers (2023-08-29T17:22:39Z) - A Conversational Paradigm for Program Synthesis [110.94409515865867]
We propose a conversational program synthesis approach via large language models.
We train a family of large language models, called CodeGen, on natural language and programming language data.
Our findings show the emergence of conversational capabilities and the effectiveness of the proposed conversational program synthesis paradigm.
arXiv Detail & Related papers (2022-03-25T06:55:15Z) - 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) - Planning with Incomplete Information in Quantified Answer Set
Programming [1.3501640559999886]
We present a general approach to planning with incomplete information in Answer Set Programming (ASP)
We represent planning problems using a simple formalism where logic programs describe the transition function between states.
We present a translation-based QASP solver that converts quantified logic programs into QBFs and then executes a QBF solver.
arXiv Detail & Related papers (2021-08-13T21:24:47Z) - Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
We introduce LAPS (Language for Abstraction and Program Search), a technique for using natural language annotations to guide joint learning of libraries and neurally-guided search models for synthesis.
When integrated into a state-of-the-art library learning system (DreamCoder), LAPS produces higher-quality libraries and improves search efficiency and generalization.
arXiv Detail & Related papers (2021-06-18T15:08:47Z) - Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
We introduce a technique for representing partially written programs in a program synthesis engine.
We learn an approximate execution model implemented as a modular neural network.
We show that these hybrid neuro-symbolic representations enable execution-guided synthesizers to use more powerful language constructs.
arXiv Detail & Related papers (2020-12-23T20:40:18Z) - 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)
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.