Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

• URL: http://arxiv.org/abs/2211.09923v1
• Date: Thu, 17 Nov 2022 22:50:56 GMT
• Title: Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
• Authors: David S. Warren and Peter Van Roy and Yanhong A. Liu
• Abstract summary: 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.
• Score: 0.2578242050187029
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas.

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)
• Combatting Human Trafficking in the Cyberspace: A Natural Language Processing-Based Methodology to Analyze the Language in Online Advertisements [55.2480439325792]
  This project tackles the pressing issue of human trafficking in online C2C marketplaces through advanced Natural Language Processing (NLP) techniques. We introduce a novel methodology for generating pseudo-labeled datasets with minimal supervision, serving as a rich resource for training state-of-the-art NLP models. A key contribution is the implementation of an interpretability framework using Integrated Gradients, providing explainable insights crucial for law enforcement.
  arXiv  Detail & Related papers  (2023-11-22T02:45:01Z)
• 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)
• Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space [0.0]
  COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching. We report on our strategies and experience tackling these issues as part of a Haskell-based functional programming and verification course.
  arXiv  Detail & Related papers  (2022-07-26T07:47:22Z)
• LOA: Logical Optimal Actions for Text-based Interaction Games [63.003353499732434]
  We present Logical Optimal Actions (LOA), an action decision architecture of reinforcement learning applications. LOA is a combination of neural network and symbolic knowledge acquisition approach for natural language interaction games.
  arXiv  Detail & Related papers  (2021-10-21T08:36:11Z)
• Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice [0.0]
  Design, implementation and their use in reasoning tasks have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks.
  arXiv  Detail & Related papers  (2021-07-14T05:19:09Z)
• 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.