XSB公司

XSB是一个适用于Unix和Windows的逻辑编程和演绎数据库系统。XSB序言。它正在多个机构开发,包括Stony Brook大学计算机科学系、里斯本新大学(Universidade Nova de Lisboa)、XSB Inc.和Concertive Knowlege Systems,Inc。


zbMATH中的参考文献(参考 137篇文章,1标准件)

显示137个结果中的1到20个。
按年份排序(引用)

1 2 ... 5 6 7 下一个

  1. Constantini,Stefania:关于认知逻辑程序中的认知否定和世界观(2019)
  2. Areias,Miguel;Rocha,Ricardo:用于隐式和显式并行表式评估的表空间设计(2018)
  3. Yandian,advanced Datas;和Carlo Shndie,2018;Carlo Shundio,advanced Datas;和
  4. 沃伦自上而下综合评估(2018年)
  5. Riguzzi,Fabrizio;Cota,Giuseppe;Bellodi,Elena;Zese,Riccardo:cplint中的因果推理(2017)
  6. Sato,Taisuke:数据日志评估的线性代数方法(2017)
  7. Unel,Gulay;Toman,David:《基于自动机的决策过程的逻辑编程方法》(2017)
  8. Costantini,Stefania;Formisano,Andrea:基于资源的答案集语义中的查询回答(2016)
  9. Drabent,Włodzimierz:逻辑程序的正确性和完整性(2016)
  10. Unel,Gulay:用逻辑编程对一元二阶逻辑进行增量推理(2016)
  11. Vandenbroucke,Alexander;Piróg,Maciej;Desouter,Benoit;Schrijvers,Tom:Tabling with sound answer Consumption(2016年)
  12. Bruynooghe,Maurice;Blockeel,Hendrik;Bogaerts,Bart;De Cat,Broes;De Pooter,Stef;Jansen,Joachim;Labarre,Anthony;Ramon,Jan;Denecker,Marc;Verwer,Sicco:谓词逻辑作为建模语言:用IDP3建模和解决一些机器学习和数据挖掘问题(2015)
  13. Desoert,Benoit;Van Dooren,Marko;Schrijvers,Tom:《作为带分隔控制的库的表列》(2015)
  14. Greerro,Esteban;Nieves,Juan Carlos;Lindgren,Helena:基于语义的参数构造:答案集编程方法(2015)
  15. Stulova,Natalia;Morales,JoséF.;Hermenegildo,Manuel V.:通过不引人注目的属性缓存进行实际运行时检查(2015)
  16. Analyti,Anastasia;Damásio,Carlos V.;Antoniou,Grigoris;Pachoulakis,Ioannis:为什么RDF的出处信息,规则和否定(2014)
  17. 曼塔德利斯,西奥弗雷斯托斯;罗查,里卡多;穆拉,保罗:表格,合理的术语,和创造最终在一起!(2014年)
  18. Riguzzi,Fabrizio;Swift,Terrance:用有限三值模型终止逻辑程序评估(2014)
  19. Sato,Taisuke;Meyer,Philipp:循环解释图的无限概率计算(2014)
  20. Tom Schrijvers;Demoen,Bart;Triska,Markus;Desoert,Benoit:\ textscTor:带可挂接析取的模块化搜索(2014)

1 2 ... 5 6 7 下一个