发布求助
文献互助 智能选刊 最新文献

J. Appl. Log.最新文献

筛选
英文 中文
A study on anomaly detection ensembles 异常检测集成系统的研究
J. Appl. Log. Pub Date : 2017-05-01 DOI: 10.1016/j.jal.2016.12.002
Alvin Chiang, Esther David, Yuh-Jye Lee, G. Leshem, Yi-Ren Yeh
{"title":"A study on anomaly detection ensembles","authors":"Alvin Chiang, Esther David, Yuh-Jye Lee, G. Leshem, Yi-Ren Yeh","doi":"10.1016/j.jal.2016.12.002","DOIUrl":"https://doi.org/10.1016/j.jal.2016.12.002","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"119582383","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Bridging Curry and Church's typing style 连接Curry和Church的打字风格
J. Appl. Log. Pub Date : 2016-11-01 DOI: 10.1016/j.jal.2016.05.008
Fairouz Kamareddine, J. Seldin, J. Wells
{"title":"Bridging Curry and Church's typing style","authors":"Fairouz Kamareddine, J. Seldin, J. Wells","doi":"10.1016/j.jal.2016.05.008","DOIUrl":"https://doi.org/10.1016/j.jal.2016.05.008","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"30 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117472079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Hoop twist-structures 箍twist-structures
J. Appl. Log. Pub Date : 2016-11-01 DOI: 10.1016/j.jal.2016.05.006
S. Ghorbani
{"title":"Hoop twist-structures","authors":"S. Ghorbani","doi":"10.1016/j.jal.2016.05.006","DOIUrl":"https://doi.org/10.1016/j.jal.2016.05.006","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120257670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Reasoning about negligibility and proximity in the set of all hyperreals 在所有超实数集合中关于可忽略性和接近性的推理
J. Appl. Log. Pub Date : 2016-07-01 DOI: 10.1016/j.jal.2016.04.002
P. Balbiani
{"title":"Reasoning about negligibility and proximity in the set of all hyperreals","authors":"P. Balbiani","doi":"10.1016/j.jal.2016.04.002","DOIUrl":"https://doi.org/10.1016/j.jal.2016.04.002","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120730322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Revisiting da Costa logic 重温达科斯塔的逻辑
J. Appl. Log. Pub Date : 2016-07-01 DOI: 10.1016/j.jal.2016.02.004
Mauricio Osorio, Verónica Borja Macías, J. R. A. Ramírez
{"title":"Revisiting da Costa logic","authors":"Mauricio Osorio, Verónica Borja Macías, J. R. A. Ramírez","doi":"10.1016/j.jal.2016.02.004","DOIUrl":"https://doi.org/10.1016/j.jal.2016.02.004","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"119784905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
The left adjoint of Spec from a category of lattice-ordered groups 格序群的一类中Spec的左伴随
J. Appl. Log. Pub Date : 2016-05-01 DOI: 10.1016/j.jal.2015.11.001
J. L. Castiglioni, H. J. S. Martín
{"title":"The left adjoint of Spec from a category of lattice-ordered groups","authors":"J. L. Castiglioni, H. J. S. Martín","doi":"10.1016/j.jal.2015.11.001","DOIUrl":"https://doi.org/10.1016/j.jal.2015.11.001","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"119020403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Proof theory and mathematical meaning of paraconsistent C-systems 副相容c系统的证明理论及其数学意义
J. Appl. Log. Pub Date : 2011-09-01 DOI: 10.1016/j.jal.2011.04.001
P. Gentilini
{"title":"Proof theory and mathematical meaning of paraconsistent C-systems","authors":"P. Gentilini","doi":"10.1016/j.jal.2011.04.001","DOIUrl":"https://doi.org/10.1016/j.jal.2011.04.001","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"119921726","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Intuitionistic hybrid logic 直觉混合逻辑
J. Appl. Log. Pub Date : 2006-09-01 DOI: 10.1007/978-94-007-0002-4_8
T. Braüner, Valeria C V de Paiva
{"title":"Intuitionistic hybrid logic","authors":"T. Braüner, Valeria C V de Paiva","doi":"10.1007/978-94-007-0002-4_8","DOIUrl":"https://doi.org/10.1007/978-94-007-0002-4_8","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116547245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 49
Addressing Moral Problems Through Practical Reasoning 通过实际推理解决道德问题
J. Appl. Log. Pub Date : 2006-07-12 DOI: 10.1007/11786849_4
Katie Atkinson, Trevor J. M. Bench-Capon
{"title":"Addressing Moral Problems Through Practical Reasoning","authors":"Katie Atkinson, Trevor J. M. Bench-Capon","doi":"10.1007/11786849_4","DOIUrl":"https://doi.org/10.1007/11786849_4","url":null,"abstract":"","PeriodicalId":225672,"journal":{"name":"J. Appl. Log.","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126182995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 46
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信