本文提出了一种 API，将 IDP 知识库系统集成到 Python 编程语言中，旨在让 Python 程序员能够使用 IDP 的声明性功能，而无需学习任何新的语法或语义，并实现最小代码的修改使 IDP 能够轻松添加到 / 从现有代码库中删除

Nov, 2015

介绍了 IDPD3 库，作为一种 visualisations 工具， 用于知识库系统中逻辑理论和交互式模拟的可视化和解释。

Nov, 2015

介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式，其中的复杂定义是作为规则集的表示，并且通过多种形式的推理来解决不同的计算问题。

Jan, 2014

本文介绍了新型的基于知识库的配置器和 FO（）KR 语言的推理引擎 IDP-Z3, 并探讨了其在解决人机交互下的约束求解问题方面的应用。

Feb, 2022

该论文提供了使用 IDP3 系统解决问题的简要介绍，介绍了 IDP3 的核心部分 - 有限模型生成器，它支持第一阶逻辑，以及丰富了类型，归纳定义，聚合和部分函数。除了小的例子，文章举了三个应用实例，分别涉及 philology、生物学和学习最小化自动机。

Sep, 2013

Web-STAR 是一个在线平台，基于 STAR 推理引擎构建，用于故事理解，其中包括 Web IDE、与 STAR 系统的集成以及支持与其他依赖故事理解功能的系统集成的 Web 服务基础设施。此平台还提供了一些社交功能，包括用于公共故事共享的社区存储库与内置评论系统，以及可用于团队开发项目和教育目的的协作故事编辑工具。

Jul, 2018

PIDE 框架基于 ML 和 Scala 结合的双语言架构，实现与 LCF 风格的证明器（如 Isabelle，Coq 或 HOL）的连接，并与 JVM 平台上的先进前端技术相结合以弥补命令行交互不足。其中 Isabelle/jEdit 作为 Isabelle2011-1 的一部分，采用了连续证明检查的交互模型，实现了正式内容的增强文本编辑。该框架可以作为当前 Isabelle 的可用接口，并可以启示基于 PIDE 的进一步项目的参考应用。

Jul, 2012

AIDA 是一种自主智能开发代理人，利用语义知识图推理软件需求规范，生成满足要求的代码并且随着写代码学习和提高效率。

Aug, 2022

本研究基于 DWASP 方法提供了非极限答案集程序的图形化调试界面，并将其整合到了一个完整的 ASPIDE IDE 中，以提供调试支持。

Nov, 2016

该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

Feb, 2022