天冬氨酸

aspatix:使用答案集编程实现论证框架。系统aspatix是一个工具,用于计算Dung论证框架的广泛形式化及其推广的可接受扩展。Aspatix依赖于一个固定的析取数据日志程序,该程序以论证框架的实例为输入,使用应答集解算器DLV计算用户指定的扩展类型。


zbMATH参考文献(参考 18篇文章

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Teresa Alsinet;Argelich,Josep;Béjar,Ramón;Cemeli,Joel:加权Twitter讨论中挖掘一致意见的分布式论证算法(2019)
  2. Fazzinga,Bettina;Flesca,Sergio;Furfaro,Filippo:《概率抽象论证中基本问题的复杂性:超越独立》(2019)
  3. Cerutti,Federico;Vallati,Mauro;Giacomin,Massimiliano:论配置对抽象论证自动推理的影响(2018)
  4. Teresa Alsinet;Josep Argelich;Béjar,Ramón;Fernández,Cèsar;Mateu,Carles;Planes,Jordi:Twitter讨论分析的加权论证(2017)
  5. 《计算模型的第一次辩论》(2017年《国际赛琳娜竞赛:计算结果分析》)
  6. 《有效估计概率框架》(the Arguments of the probability);Paringagio extensions of the probability;Paringagio extensions of the probability,2016;Paringagio extensions of Paringasi,2016年)
  7. Anthony Hunter:抽象论证中攻击的概率限定(2014)
  8. Nofal,Samer;Atkinson,Katie;Dunne,Paul E.:偏好语义下的参数系统决策问题算法(2014)
  9. Amgoud,Leila;Devred,Caroline:作为约束满足问题的论证框架(2013)
  10. Arieli,Ofer;Caminada,Martin W.A.:基于QBF的抽象论证语义形式化(2013)
  11. Anthony Hunter:不确定逻辑论证建模的概率方法(2013)
  12. 廖北水:论元语义的增量计算:基于分解的方法(2013)
  13. 廖碧水;黄华新:论证的部分语义:基本性质与实证(2013)
  14. Baroni,Pietro;Cerutti,Federico;Giacomin,Massimiliano;Guida,Giovanni:AFRA:带递归攻击的论证框架(2011)
  15. Bistarelli,Stefano;Pirolandi,Daniele;Santini,Francesco:用软约束求解加权论证框架(2011)
  16. 廖北水;黄华新:论证的部分语义学(2011)
  17. Nieves,Juan Carlos;Osorio,Mauricio;Zepeda,Claudia:生成相关逻辑编程语义的模式及其在论证理论中的应用(2011)
  18. Egly,Uwe;Gaggl,Sarah Alice;Woltran,Stefan:Aspatix:使用答案集编程实现论证框架(2008)ioport公司