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

• URL: http://arxiv.org/abs/2410.19738v1
• Date: Tue, 01 Oct 2024 19:36:08 GMT
• Title: Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
• Authors: Anil Nerode, Yanhong A. Liu,
• Abstract summary: 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.
• Score: 0.30693357740321775
• License:
• Abstract: This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. 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.

Related papers

• Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
  LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
  arXiv  Detail & Related papers  (2024-04-21T14:22:53Z)
• Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
  Third ML4H symposium was held in person on December 10, 2023, in New Orleans, Louisiana, USA. We organized eleven in-person roundtables and four virtual roundtables at ML4H 2022. This document serves as a comprehensive review paper, summarizing the recent advancements in machine learning for healthcare.
  arXiv  Detail & Related papers  (2024-03-03T22:21:58Z)
• 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)
• Generalized Planning in PDDL Domains with Pretrained Large Language Models [82.24479434984426]
  We consider PDDL domains and use GPT-4 to synthesize Python programs. We evaluate this approach in seven PDDL domains and compare it to four ablations and four baselines.
  arXiv  Detail & Related papers  (2023-05-18T14:48:20Z)
• 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)
• I4U System Description for NIST SRE'20 CTS Challenge [87.17861348484455]
  This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among eight research teams. The submission was based on the fusion of top performing sub-systems and sub-fusion systems contributed by individual teams.
  arXiv  Detail & Related papers  (2022-11-02T13:04:27Z)
• 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 of the NeurIPS 2020 Workshop on Machine Learning for the Developing World: Improving Resilience [1.154829465058342]
  These are the proceedings of the 4th workshop on Machine Learning for the Developing World (ML4D), held as part of the Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS) on Saturday, December 12th 2020.
  arXiv  Detail & Related papers  (2021-01-12T08:35:54Z)
• 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.