LPOP: Challenges and Advances in Logic and Practice of Programming

• URL: http://arxiv.org/abs/2008.07901v1
• Date: Sat, 15 Aug 2020 14:28:46 GMT
• Title: LPOP: Challenges and Advances in Logic and Practice of Programming
• Authors: David S. Warren and Yanhong A. Liu
• Abstract summary: 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.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Federated Logic Conference (FLoC) 2018. Its focus is challenges and advances in logic and practice of programming. The workshop was organized around a challenge problem that specifies issues in role-based access control (RBAC), with many participants proposing combined imperative and declarative solutions expressed in the languages of their choice.

Related papers

• Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) [0.30693357740321775]
  The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP) The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.
  arXiv  Detail & Related papers  (2024-10-01T19:36:08Z)
• 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)
• DiLA: Enhancing LLM Tool Learning with Differential Logic Layer [11.810200077863172]
  We propose a novel differential logic layer-aided language modeling (DiLA) approach, where logical constraints are integrated into the forward and backward passes of a network layer. We evaluate the performance of DiLA on two classic reasoning problems and empirically demonstrate its consistent outperformance against existing prompt-based and solver-aided approaches.
  arXiv  Detail & Related papers  (2024-02-19T07:38:57Z)
• 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 Modalities in substructural logics: Applications at the interfaces of logic, language and computation [0.0]
  The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.
  arXiv  Detail & Related papers  (2023-08-01T22:40:19Z)
• Exploring Self-supervised Logic-enhanced Training for Large Language Models [59.227222647741094]
  In this paper, we make the first attempt to investigate the feasibility of incorporating logical knowledge through self-supervised post-training. We devise an auto-regressive objective variant of MERIt and integrate it with two LLM series, i.e., FLAN-T5 and LLaMA, with parameter size ranging from 3 billion to 13 billion. The results on two challenging logical reasoning benchmarks demonstrate the effectiveness of LogicLLM.
  arXiv  Detail & Related papers  (2023-05-23T06:13:10Z)
• Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) [0.2578242050187029]
  The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool.
  arXiv  Detail & Related papers  (2022-11-17T22:50:56Z)
• Factoring Statutory Reasoning as Language Understanding Challenges [48.13180364616141]
  We decompose statutory reasoning into four types of language-understanding challenge problems. We introduce concepts and structure found in Prolog programs. Models for statutory reasoning are shown to benefit from the additional structure.
  arXiv  Detail & Related papers  (2021-05-17T14:33:02Z)
• AR-LSAT: Investigating Analytical Reasoning of Text [57.1542673852013]
  We study the challenge of analytical reasoning of text and introduce a new dataset consisting of questions from the Law School Admission Test from 1991 to 2016. We analyze what knowledge understanding and reasoning abilities are required to do well on this task.
  arXiv  Detail & Related papers  (2021-04-14T02:53:32Z)
• 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.