MMApr, 2017

AppLP: 逻辑编程应用对话

PDF
TL;DR2016 年 Applications of Logic Programming Workshop 会议在纽约市 Flushing 举行，与国际逻辑编程会议（ICLP）相关，文章介绍了会议的主要贡献。
applications of logic programming2016 workshopinternational conference on logic programmingflushingnew york city
发现论文，激发创造
  • 第 39 届国际逻辑编程会议论文集

    这篇研究论文总结了第 39 届国际逻辑编程会议（ICLP 2023）在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。

    Aug, 2023

  • 第 38 届国际逻辑编程大会论文集

    ICLP 是呈现逻辑编程研究的卓越国际会议，涵盖基础、语言、实现和应用，并欢迎相关范式和合作。

    Aug, 2022

  • 第 35 届国际逻辑编程会议特刊介绍

    本特刊介绍了 ICLP 第 35 届国际会议上被接受发表的常规论文，主要讨论逻辑编程领域的工作。

    Aug, 2019

  • 第二届逻辑与编程实践研讨会论文集 (LPOP)

    本文介绍了第二届逻辑与程序设计工作坊（Logic and Practice of Programming，LPOP）的论文摘要和立场论文，旨在作为计算机科学中使用逻辑作为实用工具的不同领域之间的桥梁，利用形式逻辑的公共语言交换思想。

    Nov, 2022

  • 归纳逻辑编程的新思路：三十岁的转变

    本文探讨了归纳逻辑编程在机器学习中的应用，这种方法通过从数据中归纳逻辑程序来解决机器学习中普遍存在的泛化性不佳、可解释性不足和需要大量训练数据等问题，重点介绍了从少量样例中推广递归程序的新方法，学习背景知识的新方法以及使用不同技术，特别是应答器编程和神经网络。

    Feb, 2020

  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

    该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验，讨论 ACL2 定理证明器在技术论坛和应用方面的作用。

    May, 2022

  • 归纳逻辑编程 30 年：新介绍

    介绍了归纳逻辑编程 (ILP) 的基本概念、学习模式、框架和几个主要系统 (Aleph，TILDE，ASPAL，和 Metagol)，并概括了应用、限制和研究方向。

    Aug, 2020

  • 归纳逻辑编程：30 年回顾

    归纳逻辑编程是基于逻辑的机器学习的一种形式，目的是归纳出一种假设（逻辑程序），该假设概括给定的训练示例。作为归纳逻辑编程的三十年，我们回顾了过去十年的研究，我们关注新的元级别搜索方法、学习递归程序的技术，以及谓词发明的新方法和不同技术的使用，并探讨了归纳逻辑编程的当前限制和未来研究方向。

    Feb, 2021

  • 基于冲突推导的归纳逻辑编程

    这篇论文介绍了基于冲突驱动的归纳逻辑编程方法， 主要使用 Answer Set Programs（ASP）进行学习， 以提高可扩展性，并提出了可以处理噪声数据集的 ILASP3 和 ILASP4 系统。

    Dec, 2020

  • APPL: 一个可谐和集成程序和大型语言模型提示的提示编程语言

    APPL 是一种桥梁编程语言，能够实现计算机程序与大语言模型之间的无缝嵌入，通过 Python 函数和 LLM 之间互相调用，提供直观的语法、高效的并行运行时、支持故障诊断和重播的追踪模块，以及在几个代表性场景和多代理人对话中的实验证明了 APPL 程序的直观性、简洁性和高效性。并且在三个可并行化的工作流程实验中显示，APPL 能够有效地并行化独立的 LLM 调用，并具有显著的加速比。

    Jun, 2024