出版物详细信息
混合PDL的目标导向决策过程
马克·卡明斯基（Mark Kaminski）、格特·斯莫尔卡（Gert Smolka）
《自动推理杂志》52（4）：407-450，2014年4月
我们提出了混合PDL的第一个目标导向决策过程。该过程基于一种模块化方法，该方法可以从带有事件的基本模态逻辑扩展到混合PDL。该方法的设计使名词和事件被正交处理。为了处理PDL中的复杂程序，该方法采用了一种新的析取程序分解。在论证我们的方法的正确性时，我们使用了一种新颖的概念，即支持推广Hintikka集的标准概念。
内政部：2007年10月10日/10817-013-9294-5
下载PDF 显示BibTeX
@第{条KaminskiSmolka:2013:HPDL，title={混合PDL的目标导向决策程序}，author={Mark Kaminski和Gert Smolka}，年份={2014}，月={4月}，publisher={Springer}，journal={自动推理杂志}，体积={52}，页数={407-450}，数字={4}，}
登录进行编辑
法律公告,隐私政策
