一种基于概率的BC+动作语言扩展
本文提出了一个基于Answer Set Prolog作为逻辑基础、以因果贝叶斯网络为概率基础的声明式语言P-log，用于知识表示和知识更新，并给出了多个例子表明更新方法更加优越。同时，论文给出了实现P-log程序的充分条件，并证明了Bayes nets的易于映射到符合条件的P-log程序上。
Dec, 2008
该研究提出了一种关于动作的概率推理语言{m P}{cal C}+，是动作语言{cal C}+的一种推广形式，能够处理行为的概率和不确定性影响，并利用历史和信念状态的概念，简明地阐述了该形式主要研究内容。
Oct, 2012
通过发现究竟为何circumscription和stable model semantics在某些情况下意义相同，本文利用普通稳定模型理论重新阐述了situation calculus和event calculus，并完成了进一步的翻译，将其转化为应用高效答案集求解器来计算
Jan, 2014
我们提出了PEC，一种事件演算（EC）风格的行动语言，用于推理关于概率因果和叙述信息。 它具有类似于EC变体Modular-E的行动语言风格语法。 我们还描述了PEC的ASP实现，并展示了其完整和正确性。
Mar, 2017
本书介绍了概率编程的基础和技术，主要包括概率编程语言的设计和构建、基础推理算法和高阶概率编程语言、概率编程与可微分编程的交叉应用，尤其是深度概率编程系统的设计与语言特性对其的影响。
Sep, 2018
本文介绍了基于概率编程中的最新进展，以广阔的概率建模和推断为视角，探讨了概率编程语言如何自动匹配模型和推断方法，强调了模型的结构和形式对这种匹配的至关重要性，并通过Birch进行实例演示。
Oct, 2018
该研究将概率行动语言pBC+扩展为，在决策理论中引入效用的概念；pBC+的语义可以定义为概率答案集编程语言LPMLN的决策论扩展的速记符号；也可以用马尔科夫决策过程（MDP）的术语来定义pBC+的语义，从而以简洁且容易理解的方式表示MDP，并利用MDP求解器计算pBC+。因此，可以设计系统pbcplus2mdp，使用MDP求解器查找pBC+操作描述的最优策略。
Apr, 2019
本研究介绍了一个统一框架来集成先前的 commonsense reasoning and probabilistic planning（icorpp）框架的推理和计划组件，并扩展了概率动作语言 pBC+ 以表达常识知识，避免手动努力。
Jul, 2019
Plingo是基于ASP的LP^MLN的概率扩展，并可以映射到优化问题，提供了三种使用不同输入语言和推理模式的前端。通过基于新的方法的近似技术，将LP^MLN重新实现为现代ASP技术的核心。我们通过与其他概率系统进行比较，从经验上评估Plingo的性能。
Jun, 2022