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

International Conference on Theorem Proving with Analytic Tableaux and Related Methods最新文献

筛选
英文 中文
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation 用基对逼近法反证分离逻辑中的归纳蕴涵
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_20
J. Brotherston, Nikos Gorogiannis
{"title":"Disproving Inductive Entailments in Separation Logic via Base Pair Approximation","authors":"J. Brotherston, Nikos Gorogiannis","doi":"10.1007/978-3-319-24312-2_20","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_20","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122221857","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
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method 广义定性时空推理:复杂性与表法
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_5
Michael Sioutis, Jean-François Condotta, Y. Salhi, Bertrand Mazure
{"title":"Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method","authors":"Michael Sioutis, Jean-François Condotta, Y. Salhi, Bertrand Mazure","doi":"10.1007/978-3-319-24312-2_5","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_5","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"6 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128732617","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
Ordered Resolution for Coalition Logic 联盟逻辑的有序解析
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_12
U. Hustadt, Paul Gainer, C. Dixon, C. Nalon, Lan Zhang
{"title":"Ordered Resolution for Coalition Logic","authors":"U. Hustadt, Paul Gainer, C. Dixon, C. Nalon, Lan Zhang","doi":"10.1007/978-3-319-24312-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_12","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125460582","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
The Proof Certifier Checkers 证明证书检查器
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2015-09-21 DOI: 10.1007/978-3-319-24312-2_14
Zakaria Chihani, Tomer Libal, Giselle Reis
{"title":"The Proof Certifier Checkers","authors":"Zakaria Chihani, Tomer Libal, Giselle Reis","doi":"10.1007/978-3-319-24312-2_14","DOIUrl":"https://doi.org/10.1007/978-3-319-24312-2_14","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123565511","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}
引用次数: 22
Witness Runs for Counter Machines - (Abstract) 见证运行的计数器-(摘要)
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_1
Clark W. Barrett, Stephane Demri, Morgan Deters
{"title":"Witness Runs for Counter Machines - (Abstract)","authors":"Clark W. Barrett, Stephane Demri, Morgan Deters","doi":"10.1007/978-3-642-40537-2_1","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_1","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122188924","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
Hypersequent and Labelled Calculi for Intermediate Logics 中间逻辑的超序和标记演算
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_9
A. Ciabattoni, P. Maffezioli, Lara Spendier
{"title":"Hypersequent and Labelled Calculi for Intermediate Logics","authors":"A. Ciabattoni, P. Maffezioli, Lara Spendier","doi":"10.1007/978-3-642-40537-2_9","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_9","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"3 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121799461","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}
引用次数: 27
Prefixed Tableau Systems for Logic of Proofs and Provability 证明和可证明逻辑的前缀表系统
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_18
Hidenori Kurokawa
{"title":"Prefixed Tableau Systems for Logic of Proofs and Provability","authors":"Hidenori Kurokawa","doi":"10.1007/978-3-642-40537-2_18","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_18","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132117596","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
Schemata of Formulæ in the Theory of Arrays 数组理论中的公式图式
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_20
N. Peltier
{"title":"Schemata of Formulæ in the Theory of Arrays","authors":"N. Peltier","doi":"10.1007/978-3-642-40537-2_20","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_20","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130514491","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
TAFA - A Tool for Admissibility in Finite Algebras 有限代数可容许性的一个工具
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_21
Christoph Röthlisberger
{"title":"TAFA - A Tool for Admissibility in Finite Algebras","authors":"Christoph Röthlisberger","doi":"10.1007/978-3-642-40537-2_21","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_21","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114553323","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
Intelligent Tableau Algorithm for DL Reasoning 用于深度学习推理的智能表算法
International Conference on Theorem Proving with Analytic Tableaux and Related Methods Pub Date : 2013-09-16 DOI: 10.1007/978-3-642-40537-2_23
Ming Zuo, V. Haarslev
{"title":"Intelligent Tableau Algorithm for DL Reasoning","authors":"Ming Zuo, V. Haarslev","doi":"10.1007/978-3-642-40537-2_23","DOIUrl":"https://doi.org/10.1007/978-3-642-40537-2_23","url":null,"abstract":"","PeriodicalId":288146,"journal":{"name":"International Conference on Theorem Proving with Analytic Tableaux and Related Methods","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125614622","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
首页 上一页 下一页 尾页
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学术官方微信