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

European Summer School in Logic, Language and Information最新文献

筛选
英文 中文
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science 计算机科学中道义逻辑和规范推理的十个问题
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_2
J. Broersen, Leendert van der Torre
{"title":"Ten Problems of Deontic Logic and Normative Reasoning in Computer Science","authors":"J. Broersen, Leendert van der Torre","doi":"10.1007/978-3-642-31485-8_2","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_2","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116823558","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}
引用次数: 19
Strategies in Games: A Logic-Automata Study 游戏策略:逻辑自动机研究
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_4
Sujata Ghosh, R. Ramanujam
{"title":"Strategies in Games: A Logic-Automata Study","authors":"Sujata Ghosh, R. Ramanujam","doi":"10.1007/978-3-642-31485-8_4","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_4","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126974124","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}
引用次数: 18
Introduction to Judgment Aggregation 判断聚合概论
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_5
Davide Grossi, G. Pigozzi
{"title":"Introduction to Judgment Aggregation","authors":"Davide Grossi, G. Pigozzi","doi":"10.1007/978-3-642-31485-8_5","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_5","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127497901","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
Proof Complexity of Non-classical Logics 非经典逻辑的证明复杂性
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_1
Olaf Beyersdorff
{"title":"Proof Complexity of Non-classical Logics","authors":"Olaf Beyersdorff","doi":"10.1007/978-3-642-31485-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_1","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128461681","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
Specification and Verification of Multi-Agent Systems 多智能体系统的规范与验证
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_6
W. Jamroga, W. Penczek
{"title":"Specification and Verification of Multi-Agent Systems","authors":"W. Jamroga, W. Penczek","doi":"10.1007/978-3-642-31485-8_6","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_6","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124815845","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}
引用次数: 37
A Short Introduction to Implicit Computational Complexity 隐式计算复杂性简介
European Summer School in Logic, Language and Information Pub Date : 2010-08-01 DOI: 10.1007/978-3-642-31485-8_3
Ugo Dal Lago
{"title":"A Short Introduction to Implicit Computational Complexity","authors":"Ugo Dal Lago","doi":"10.1007/978-3-642-31485-8_3","DOIUrl":"https://doi.org/10.1007/978-3-642-31485-8_3","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"314 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120942500","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}
引用次数: 29
A Perspective on Lindström Quantifiers and Oracles Lindström量词与神谕透视
European Summer School in Logic, Language and Information Pub Date : 1997-08-11 DOI: 10.1007/3-540-46583-9_3
I. A. Stewart
{"title":"A Perspective on Lindström Quantifiers and Oracles","authors":"I. A. Stewart","doi":"10.1007/3-540-46583-9_3","DOIUrl":"https://doi.org/10.1007/3-540-46583-9_3","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116099539","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
Generalized Quantifiers, an Introduction 广义量词导论
European Summer School in Logic, Language and Information Pub Date : 1997-08-11 DOI: 10.1007/3-540-46583-9_1
J. Väänänen
{"title":"Generalized Quantifiers, an Introduction","authors":"J. Väänänen","doi":"10.1007/3-540-46583-9_1","DOIUrl":"https://doi.org/10.1007/3-540-46583-9_1","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"7 12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124357163","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}
引用次数: 12
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers 解决广义量词的可定义性问题需要Ramsey理论
European Summer School in Logic, Language and Information Pub Date : 1997-08-11 DOI: 10.1007/3-540-46583-9_6
Kerkko Luosto
{"title":"Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers","authors":"Kerkko Luosto","doi":"10.1007/3-540-46583-9_6","DOIUrl":"https://doi.org/10.1007/3-540-46583-9_6","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133495083","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
Generalized Quantifiers in Logic Programs 逻辑程序中的广义量词
European Summer School in Logic, Language and Information Pub Date : 1997-08-11 DOI: 10.1007/3-540-46583-9_4
Thomas Eiter, G. Gottlob, H. Veith
{"title":"Generalized Quantifiers in Logic Programs","authors":"Thomas Eiter, G. Gottlob, H. Veith","doi":"10.1007/3-540-46583-9_4","DOIUrl":"https://doi.org/10.1007/3-540-46583-9_4","url":null,"abstract":"","PeriodicalId":226177,"journal":{"name":"European Summer School in Logic, Language and Information","volume":"270 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122660892","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
下一页 尾页
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学术官方微信