保鲜膜

Potasco是波茨坦答案集解决方案集合,它将波茨坦大学开发的答案集编程工具捆绑在一起:Clingo将gringo和clasp组合成一个单片系统。通过这种方式,它提供了比gringo和clasp能够单独提供的更多对接地和解决过程的控制-例如,增量接地和解决。Clingo自带clapd-2版本,因此现在支持并行和析取解决。注意!Gringo3和Gringo4的语言不完全兼容,因为Gringo4遵循最新的ASP语言标准。对于处理遗留编码,我们建议除了gringo4外,还下载gringo3的最新版本。


zbMATH中的参考文献(参考 55篇文章 参考,2标准条款)

显示第1到第20个结果,共55个。
按年份排序(引用)
  1. 康法罗涅里,罗伯托;库茨,奥利弗:解构主义下的融合。逻辑、本体论和认知在计算概念发明中的作用(2020)
  2. Gaggl,Sarah A.;Linsbichler,Thomas;Marco Maratea;Woltran,Stefan:第二届国际论证计算模型竞赛的设计和结果(2020年)
  3. Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  4. 阿蒙多拉,乔凡尼;多达罗,卡敏;里卡,弗朗西斯科:用更少的资源获得更好的准一致答案集(2019年)
  5. Calimeri,Francesco;Ianni,Giovambattista;Pacenza,Francesco;Perri,Simona;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  6. Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年)
  7. Thomas Eiter;Paul Ogris;Schekotihin,Konstantin:LARS流推理的分布式方法(系统论文)(2019)
  8. Ellmouthaler,Stefan(编辑);Schulz,Claudia(编辑):《面向用户的逻辑编程和推理范例TPLP专题介绍》(2019)
  9. 埃弗拉多,弗拉维奥;詹胡南,托米;卡明斯基,罗兰;朔布,托尔斯滕:回归\texttxorro(2019)
  10. Harrison,Amelia;Lifschitz,Vladimir:关联回答集编程的两种方言(2019)
  11. Kahl,Patrick Thor;Leclerc,Anthony P.;Tran,Son Cao:一个并行内存高效的认知逻辑程序求解器:更难、更好、更快(2019)
  12. Lifschitz,Vladimir:答案集编程(2019)
  13. 舒勒,彼得:Hexlite解算器。HEX项目的轻量级和高效评估(2019年)
  14. 《精益求精》和《基于知识的建筑》中的杰里米·斯里巴(Jeremie Srbaan),2019年《知识与建筑》中的杰里米·斯里巴(Jeremai Sraib);基于知识的建筑,杰里巴·斯里班(Jeremai Srbaan);基于知识的建筑,杰里巴·斯里班(Jeremai Zhang)
  15. van der Hallen,Matthias;Paramonov,Sergey;Janssens,Gerda;Denecker,Marc:图挖掘的知识表示分析(2019)
  16. Arias,Joaquin;Carro,Manuel;Salazar,Elmer;Marple,Kyle;Gupta,Gopal:无基础约束答案集编程(2018)
  17. Baryannis,George;Tachmazidis,Ilias;Batsakis,Sotiris;Antoniou,Grigoris;Alviano,Mario;Sellis,Timos;Tsai,Pei Wei:使用答案集编程进行定性空间推理的轨迹演算(2018年)
  18. Beck,Harald;Dao Tran,Minh;Eiter,Thomas:LARS:基于逻辑的流分析推理框架(2018)
  19. Brewka,Gerhard;Ellmouthaler,Stefan;Gonçalves,Ricardo;Knorr,Matthias;Leite,João;Pührer,Jörg:反应性多上下文系统:动态环境中的异构推理(2018)
  20. 卡巴拉,佩德罗;卡明斯基,罗兰;沙乌,托尔斯滕;舒曼,安娜:有限记录道上的时间回答集编程(2018)