拉帕斯

Lparse Smodels工作的变量免费程序是相当繁琐的手工生成。LPARSE是一个前端,它将变量(和许多其他的东西)添加到接受的语言中,并生成一个可自由变量的简单逻辑程序,它可以被赋予SMODES。LPARSE还通过将它们转换成正常的逻辑程序来实现几个其他语义(经典否定,部分稳定模型)。


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

显示结果1至20的40。
按年份排序(引文
  1. 费希特,Johannes K.;Kronegger,马丁;Woltran,斯特凡:回答集编程的多参数视图(2019)
  2. Gebser,马丁;卡明斯基,罗兰;考夫曼,本杰明;肖布,托斯滕:用Culgo(2018)解决多重射击ASP
  3. Lierler,Yulya:什么是命题集规划命题可满足性(2017)
  4. Schwitter,罗尔夫:工作难题:通过受控自然语言处理迎接挑战(2013)
  5. 德安杰利斯,EMANUELE;Pettorossi,阿尔伯托;Proietti,Maurizio:用应答集编程合成并发程序(2012)
  6. 费伯,沃尔夫冈;Leone,尼古拉;佩里,Simona:DLV智能地雷(2012)
  7. Gebser,马丁;考夫曼,本杰明;肖伯,托斯滕:冲突驱动的答案集解决:从理论到实践(2012)
  8. 王,Yisong;你,贾怀;袁,李艳;沈,Yi Dong;张,明义:描述逻辑程序的基于循环公式的语义(2012)
  9. 你,贾怀;沈,Yi Dong;王,Kewen:具有广义规则的逻辑程序的良好支持语义(2012)
  10. Gebser,马丁;卡明斯基,罗兰;考夫曼,本杰明;Shanub,Trest:答案集编程中的多准则优化(2011)
  11. Gebser,马丁;卡明斯基,罗兰;Suab,Trest:答案集编程中的复合优化(2011)
  12. Gebser,马丁;考夫曼,本杰明;卡明斯基,罗兰;Ostrowski,马克斯;Suab,TrStand;PoassCo:波茨坦解答集解答(2011)
  13. Gebser,马丁;Sabuncu,Orkunt;Suab,Trest:一个基于增量答案集编程的有限模型计算系统(2011)
  14. Gebser,马丁;肖伯,托斯滕;蒂勒,Sven;韦伯,菲利普:用应答集编程检测大型生物网络中的不一致性(2011)
  15. Johannes Oetsch,J.R.G Pulr,Hans Tompits:SEALION登陆:回答集编程的IDE——初步报告(2011)阿西夫
  16. 刘,Guohua;你,贾怀:水平映射引起的权重公式和聚合逻辑程序的循环公式(2011)
  17. Meleo,Alessandra;Suab,TrStand;MeliCo,Davide;Bisiani,罗伯托:支持室内定位的基于知识的多准则优化(2011)
  18. 德雷彻,克里斯蒂安:约束答案集编程系统(2010)
  19. 王,Yisong;你,贾怀;袁,李艳;沈,Yi Dong:描述逻辑程序的循环公式(2010)
  20. Gebser,马丁;卡明斯基,罗兰;Ostrowski,马克斯;肖布,托斯滕;蒂勒,Svin:ASP Granger-Grango(2009)的输入语言伊波尔特

进一步的出版物可以在:http://www. TCS.HUT.FI/Stimult/SMODS/index