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

Model Checking and Artificial Intelligence最新文献

筛选
英文 中文
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers 模型检验与人工智能，第5届国际研讨会，MoChArt 2008, Patras，希腊，2008年7月21日。修订的精选和特邀论文
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5
D. Peled, M. Wooldridge
{"title":"Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers","authors":"D. Peled, M. Wooldridge","doi":"10.1007/978-3-642-00431-5","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125629991","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
Model Checking Strategic Equilibria 模型检查策略均衡
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_11
N. Troquard, W. Hoek, M. Wooldridge
{"title":"Model Checking Strategic Equilibria","authors":"N. Troquard, W. Hoek, M. Wooldridge","doi":"10.1007/978-3-642-00431-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_11","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123653905","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}
引用次数: 9
Model Checking Driven Heuristic Search for Correct Programs 正确程序的模型检查驱动启发式搜索
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_8
Gal Katz, D. Peled
{"title":"Model Checking Driven Heuristic Search for Correct Programs","authors":"Gal Katz, D. Peled","doi":"10.1007/978-3-642-00431-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_8","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130741247","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
Scaling Search with Pattern Databases 使用模式数据库缩放搜索
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_4
S. Edelkamp, S. Jabbar, Peter Kissmann
{"title":"Scaling Search with Pattern Databases","authors":"S. Edelkamp, S. Jabbar, Peter Kissmann","doi":"10.1007/978-3-642-00431-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_4","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127171679","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
Solving µ-Calculus Parity Games by Symbolic Planning 用符号规划求解微微积分奇偶博弈
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_2
Marco Bakera, S. Edelkamp, Peter Kissmann, Clemens D. Renner
{"title":"Solving µ-Calculus Parity Games by Symbolic Planning","authors":"Marco Bakera, S. Edelkamp, Peter Kissmann, Clemens D. Renner","doi":"10.1007/978-3-642-00431-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_2","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129367651","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}
引用次数: 20
Verifying Time and Communication Costs of Rule-Based Reasoners 验证基于规则推理器的时间和通信成本
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_1
N. Alechina, B. Logan, N. H. Nga, A. Rakib
{"title":"Verifying Time and Communication Costs of Rule-Based Reasoners","authors":"N. Alechina, B. Logan, N. H. Nga, A. Rakib","doi":"10.1007/978-3-642-00431-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_1","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"226 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121184803","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}
引用次数: 13
Experimental Evaluation of a Planning Language Suitable for Formal Verification 一种适合形式验证的规划语言的实验评价
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_9
Radu I. Siminiceanu, R. Butler, C. Muñoz
{"title":"Experimental Evaluation of a Planning Language Suitable for Formal Verification","authors":"Radu I. Siminiceanu, R. Butler, C. Muñoz","doi":"10.1007/978-3-642-00431-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_9","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124070724","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}
引用次数: 9
Survey on Directed Model Checking 定向模型校核研究综述
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_5
S. Edelkamp, Viktor Schuppan, D. Bosnacki, Anton Wijs, A. Fehnker, Husain Aljazzar
{"title":"Survey on Directed Model Checking","authors":"S. Edelkamp, Viktor Schuppan, D. Bosnacki, Anton Wijs, A. Fehnker, Husain Aljazzar","doi":"10.1007/978-3-642-00431-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_5","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126356680","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}
引用次数: 50
Verifying Robocup Teams 验证机器人世界杯参赛队伍
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_3
Clara Benac Earle, Lars-Åke Fredlund, J. A. Iglesias, Agapito Ledezma
{"title":"Verifying Robocup Teams","authors":"Clara Benac Earle, Lars-Åke Fredlund, J. A. Iglesias, Agapito Ledezma","doi":"10.1007/978-3-642-00431-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_3","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114319949","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}
引用次数: 9
Automated Testing of Planning Models 计划模型的自动化测试
Model Checking and Artificial Intelligence Pub Date : 2009-02-25 DOI: 10.1007/978-3-642-00431-5_6
K. Havelund, Alex Groce, G. Holzmann, Rajeev Joshi, Margaret H. Smith
{"title":"Automated Testing of Planning Models","authors":"K. Havelund, Alex Groce, G. Holzmann, Rajeev Joshi, Margaret H. Smith","doi":"10.1007/978-3-642-00431-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-00431-5_6","url":null,"abstract":"","PeriodicalId":165267,"journal":{"name":"Model Checking and Artificial Intelligence","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128869385","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
首页 上一页 下一页 尾页
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学术官方微信