斯巴达克斯

斯巴达克斯:混合逻辑的一个表格证明器。斯巴达克斯是一个具有全局模式和自反和传递关系的混合多模态逻辑的一个表格证明器。Spartacus是第一个使用基于模式的块来终止的系统。为了获得具有竞争力的性能,Spartacus实现了许多优化技术,包括一种我们称之为延迟分支的新技术。我们评估了基于模式的分块和延迟分支对基本模态逻辑K的实际影响,并观察到这两种技术的高效性。


参考文献中的数学15条)

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

  1. 阿尔维亚诺,马里奥;巴萨基斯,索蒂里斯;Baryannis,George:模态逻辑S5在答案集编程中的可满足性(2021)
  2. Cialdea Mayer,Marta:一个处理名词、绑定词、及物性和关系层次的证明者(2020)
  3. 纳隆,克劳迪亚;赫斯特,乌尔里希;狄克逊,克莱尔:(\mathrmK\mathrmS\mathrmP)一个基于解析的定理证明器,用于(\mathsfK_nn):架构、精炼、策略和实验(2020)
  4. 拉涅兹,让-玛丽;丹尼尔,勒贝尔;迪利马,蒂亚戈;蒙特米拉尔,瓦伦丁:基于假设的方法来解决最小S5可满足性问题(2018)
  5. 布莱克本,帕特里克;波兰德,托马斯;布拉纳,托本;Jørgensen,Klaus Frovin:《塞利格曼式画面系统的完整性和终结性》(2017)
  6. 纳隆,克劳迪亚;赫斯特,乌尔里希;Dixon,Clare:(\mathrmK\mathrmS\mathrmP):一种基于分辨率的多模K校准程序(2016)
  7. 阿瑞斯,卡洛斯;Orbe,Ezequiel:对称阻塞(2015)
  8. 卡明斯基,马克;Smolka,Gert:混合动力PDL的目标导向决策程序(2014)
  9. 卡明斯基,马克;Tebbi,Tobias:Inkrast:通过对SAT的增量简化进行模态推理(2013)
  10. 卡明斯基,马克;施耐德,西格德;Smolka,Gert:带全局模式和角色层次的分级混合逻辑的终止表(2011)
  11. 马德拉,亚历山德拉;法里亚,何塞。;马丁斯,曼努埃尔A。;Barbosa,Luís.:反应系统的混合规范:制度方法(2011)
  12. 塞里托,塞雷内拉;Mayer,Marta Cialdea:混合逻辑表中名义等式的有效方法(2010)
  13. 玛尔塔,夏尔黛·梅尔;塞里托,塞雷内拉:希律与彼拉多:基本混合逻辑的两个表格证明(2010)
  14. 哥兹曼,丹尼尔;卡明斯基,马克;斯莫尔卡,格特:斯巴达克斯:混合逻辑的一个表格证明(2010)ioport公司
  15. 卡明斯基,马克;Smolka,Gert:带有不确定性的混合逻辑的终止表(2010)