洛特雷

LoTREC:逻辑TabLoux研究工程伙伴。在本文中,我们描述了一个通用的TabLoux系统建立模型或计数器模型,并测试公式的可满足性在模态和描述逻辑。这个系统叫做LoTCRe2.0。它的特点是一种高级语言的表规则和策略。它的目的是覆盖所有基于克里普克语义的逻辑。它在Java中实现,并以用户友好的图形界面为特征。它可以被用作可能世界语义和基于TabLoux的证明方法的学习系统。


ZBMaCT中的参考文献(24篇文章中引用)

显示结果1至20的24。
按年份排序(引文
  1. 穆尼奥斯·维拉斯科、埃米利奥、Pelegr、梅塞德斯、Sala、彼得洛、SiavigCo、GueDo、Stan、Ionel Eduard:关于粗区间时态逻辑(2019)
  2. Nalon,Cluuudia.帕丁森,Dirk:一个基于优先逻辑的解析演算(2018)
  3. 法拉利,毛罗;菲奥伦蒂尼,CAMILO;Fiorino,GuIDO:JTabWb:实现终止序列和TabLoue计算器的Java框架(2017)
  4. ZoHaar,Yoni;Zamansky,安娜:GAN2SAT:一种确定纯解析序列的可推导性的自动化工具(2016)
  5. Fari·N·德尔·Cerro,路易斯;赫兹,安德烈亚斯;Su,Ezgi Iraz:捕捉模态逻辑中的平衡模型(2014)
  6. Gasquet,奥利维尔;赫尔茨格,安德烈亚斯;说,比拉尔;施瓦辛托伯,弗兰·萨伊斯:克里普克的世界。模态逻辑的TabLoux(2014)导论
  7. Bresolin,Davide;Della Monica,达里奥;蒙塔纳里,安吉洛;SiaViCo,Gudio:一个有限线性序上右命题邻域逻辑的TabLoE系统:一个实现(2013)
  8. Geli Ska Pialek,乔安娜;Munooz VelasCO,埃米利奥;Mora Bonilla,安吉尔:模态逻辑K(2012)的关系对偶表决策过程
  9. 奥歇,纪尧姆;Maubert,巴斯蒂安;施瓦辛托伯,弗兰-奥伊斯:Del序列的TabLouu方法和NExpTimes完备性(2011)
  10. Mora,A;穆Nooz VelasCO,E;Gali Ska Pialek,J:实现模态逻辑K(2011)的关系定理证明器
  11. 施密特,Renate A.;Tishkovsky,德米特里:表格结石的自动合成(2011)
  12. Schwarzentruber,弗兰·奥斯:LoopRebug(2011)
  13. Tishkovsky,德米特里;施密特,Renate A.;Khodadadi,穆罕默德:\TrackMeTel:一个逻辑独立推理机的表格证明器(2011)
  14. Baral,C;GelFoy,G;Pontelli,E.;儿子,T.:逻辑知识发现模型及其应用的逻辑程序设计:一个案例研究(2010)
  15. Bresolin,Davide;Goranko,瓦伦丁;蒙大拿,安吉洛;Sala,彼得洛:密级序下子区间结构逻辑的表(2010)
  16. van Valkenhoef,Gert;范德法特,埃尔斯克;维尔布鲁格,RiNek:OOPS:一个(S5N)教育设置证明者(2010)伊波尔特
  17. 阿巴特,彼得洛;Goee,Rajee: TabLeo工作台(2009)
  18. 霍伦,比亚恩;约翰森,Einar Broch;瓦勒,阿里尔德:莫德(2009)一阶连接演算的证明探索
  19. GORE,RajeEV;阮,Linh Anh:具有全局缓存的ExpTimeTabLayx,用于具有传递角色、反向角色和角色层次结构的描述逻辑(2007)
  20. FrimiSo,安德列;Nicolosi Asmundo,玛丽安娜:命题非经典逻辑的有效关系演绎系统(2006)