May, 2014
使用线性时间微积分理论模拟动态系统
Simulating dynamic systems using Linear Time Calculus theories
Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens...
TL;DR本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。
Abstract
To appear in Theory and Practice of Logic Programming (TPLP).
dynamic systems play a central role in fields such as planning, verification,
and databases. Fragmented throughout these fields, we find a multitude of
languages to formally specify →
发现论文，激发创造
谓词逻辑作为建模语言：采用 IDP3 进行机器学习和数据挖掘问题的建模与解决
该论文提供了使用 IDP3 系统解决问题的简要介绍，介绍了 IDP3 的核心部分 - 有限模型生成器，它支持第一阶逻辑，以及丰富了类型，归纳定义，聚合和部分函数。除了小的例子，文章举了三个应用实例，分别涉及 philology、生物学和学习最小化自动机。
Sep, 2013
可解释的时序逻辑学徒学习
本文讨论了在 Markov 决策过程中，使用 LTL 的公式作为代理规划的规范，通过形成多目标优化问题，从 MDP 中演示的行为轨迹中推断 LTL 规范，利用遗传编程解决该问题的有效性进行了证明。
Oct, 2017
动态、部分已知环境下的概率系统控制与时间逻辑规格
针对由马尔可夫决策过程建模的概率系统，考虑在部分已知环境下综合控制策略，环境由一组马尔可夫链建模，其中每个马尔可夫链描述了环境的不同模式，但环境的模式对于系统是未知的。控制目标为最大化系统满足给定规范的期望概率和最大化最坏情况下满足规范的概率。
Mar, 2012
离散 - 连续领域中的声明性概率逻辑编程
研究发现，虽然有已有的可扩展离散随机变量的分布语义和 PLP 语言及标准推理引擎，但是对于混合离散和连续随机变量的声明性语义还不够普及，因此本文提出了混合分布语义和混合 PLP 语言 DC-ProbLog 及其基于知识编译的推理引擎 infinitesimal algebraic likelihood weighting (IALW)，这是第一个基于知识编译的混合概率编程推理算法。
Feb, 2023