羟脯氨酸

HyLogLog:一种具有假设和溯因的新型逻辑程序设计语言。我们提出了HyProlog,一个新的集成PROlog与假设和绑架,这是实施和部分借用语法的约束处理规则(CHR)的完整性约束。假设是由线性逻辑启发并从假设文法中接管的机制。在不同范式之间的交互中,语言显示了一种新的灵活性,包括所有可用的内置谓词和约束求解器。假设和溯因对于语言处理特别有用,我们可以展示HyProlog如何与底层Prolog系统提供的语法符号无缝地结合在一起。给出了一种操作语义,它符合“纯”子语言的标准声明语义,而对于完整的HyPROG语言,它必须作为定义。实现是简单的,似乎提供溯因,最有效的已知实现;但是,价格是有限的使用否定。主要差异WRT。以前的绑架实施是,我们避免任何级别的元解释通过PROlog直接执行演绎步骤,并处理诱拐(以及假设)作为CHR约束。


ZBMaX中的参考文献(14篇)1标准条款

显示结果1至14的14。
按年份排序(引文

  1. Bistarelli,斯蒂法诺;马蒂内利,法比奥;桑蒂尼,弗朗西斯科:一种基于半环的加权证书访问控制推理/推理推理框架(2012)
  2. Moniz Pereira、卢、平托、Alexandre Miguel:考察逻辑程序中绑架的副作用(2011)
  3. Alberti,马珂;GavaNeLi,马珂;LAMMA,EVELINA:在溯因证明过程中增加完整性约束的运行时间(2010)
  4. 蒙塔利,马珂;Torroni,Paolo;Chesani,费德里克;梅洛,葆拉;Alberti,葆拉;LAMMA,EVELINA:溯因逻辑编程作为声明性业务过程静态验证的有效技术(2010)
  5. Sneyers,乔恩;van Weert,彼得;施里夫斯,汤姆;de Koninck,莱斯利:随时间流逝:约束处理规则(2010)
  6. 克里斯琴,Henning:基于Prolog和约束处理规则的基于假设的推理的可执行规范(2009)
  7. 克里斯琴,Henning;达尔,弗·尼卡:溯因逻辑文法(2009)
  8. Gavanelli,马珂;Alberti,马珂;LAMMA,EVELNINA:SIFF中的溯因推理与约束优化的集成(2009)
  9. Mancarella,Paolo;Telei,Giacomo;Sadri,Fariba;托妮,弗朗西丝卡;恩德里斯,ULLE:具有约束条件的溯因逻辑程序的CIFF证明过程:理论、实现和实验(2009)
  10. 克里斯琴,Henning:用约束处理规则实现概率溯因逻辑程序设计(2008)
  11. 蒙塔利,马珂;Torroni,Paolo;Alberti,马珂;Chesani,费德里克;GavaNeLi,马珂;LAMMA,Evelina;Fig,Y:使用逻辑程序设计的声明性规范验证(2008)
  12. 克里斯琴、Henning:全球诱拐的实施(2007)
  13. 克里斯琴,Henning;达尔,VeloNICA:HyLogLog:一种具有假设和溯因的新逻辑程序设计语言(2005)
  14. Gabbrielli,Maurizio(ED);Gupta,GopAl(Ed.):逻辑编程。第二十一届国际会议,ICLP 2005,锡切斯,西班牙,10月2日- 5, 2005。诉讼程序。(2005)