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

Artificial Intelligence and Symbolic Computation最新文献

筛选
英文 中文
Into the Infinite - Theory Exploration for Coinduction 对协归纳的无限理论探索
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_5
S. Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
{"title":"Into the Infinite - Theory Exploration for Coinduction","authors":"S. Einarsdóttir, Moa Johansson, Johannes Åman Pohjola","doi":"10.1007/978-3-319-99957-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_5","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129876362","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}
引用次数: 7
Machine Learning for Inductive Theorem Proving 归纳定理证明的机器学习
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_6
Yaqing Jiang, P. Papapanagiotou, Jacques D. Fleuriot
{"title":"Machine Learning for Inductive Theorem Proving","authors":"Yaqing Jiang, P. Papapanagiotou, Jacques D. Fleuriot","doi":"10.1007/978-3-319-99957-9_6","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_6","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127057209","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}
引用次数: 11
Formalizing Some "Small" Finite Models of Projective Geometry in Coq Coq中射影几何的一些“小”有限模型的形式化
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_4
David Braun, Nicolas Magaud, P. Schreck
{"title":"Formalizing Some \"Small\" Finite Models of Projective Geometry in Coq","authors":"David Braun, Nicolas Magaud, P. Schreck","doi":"10.1007/978-3-319-99957-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_4","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123589610","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
A Formal Proof of the Computation of Hermite Normal Form in a General Setting 一般情况下赫米特范式计算的形式化证明
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_3
Jose Divasón, J. Aransay
{"title":"A Formal Proof of the Computation of Hermite Normal Form in a General Setting","authors":"Jose Divasón, J. Aransay","doi":"10.1007/978-3-319-99957-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_3","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"232 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114276402","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
Towards an Automated Geometer 迈向自动化几何仪
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_15
F. Botana, Z. Kovács, T. Recio
{"title":"Towards an Automated Geometer","authors":"F. Botana, Z. Kovács, T. Recio","doi":"10.1007/978-3-319-99957-9_15","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_15","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122328147","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}
引用次数: 10
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving 结合状态空间生成和SAT求解确定扩展模态逻辑
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_8
M. Strecker
{"title":"Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving","authors":"M. Strecker","doi":"10.1007/978-3-319-99957-9_8","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_8","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"19 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116410312","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
LaTEX: A Linear Algebra Textbook System LaTEX:一个线性代数教材系统
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_14
Xiaoyu Chen, Hao Shuai, Dongming Wang, J. Yang
{"title":"LaTEX: A Linear Algebra Textbook System","authors":"Xiaoyu Chen, Hao Shuai, Dongming Wang, J. Yang","doi":"10.1007/978-3-319-99957-9_14","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_14","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122172208","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
Autocorrelation via Runs 运行自相关
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_13
I. Kotsireas, J. Yang
{"title":"Autocorrelation via Runs","authors":"I. Kotsireas, J. Yang","doi":"10.1007/978-3-319-99957-9_13","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_13","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131588278","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
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? 定性空间知识告诉折纸几何褶皱什么?
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_9
Fadoua Ghourabi, Kazuko Takahashi
{"title":"What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?","authors":"Fadoua Ghourabi, Kazuko Takahashi","doi":"10.1007/978-3-319-99957-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_9","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132993288","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
Discovering Geometry Theorems in Regular Polygons 发现正多边形的几何定理
Artificial Intelligence and Symbolic Computation Pub Date : 2018-09-16 DOI: 10.1007/978-3-319-99957-9_10
Z. Kovács
{"title":"Discovering Geometry Theorems in Regular Polygons","authors":"Z. Kovács","doi":"10.1007/978-3-319-99957-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-99957-9_10","url":null,"abstract":"","PeriodicalId":384487,"journal":{"name":"Artificial Intelligence and Symbolic Computation","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123504274","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}
引用次数: 5
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信