{"title":"A Dynamic Logic of Institutional Actions","authors":"A. Herzig, E. Lorini, N. Troquard","doi":"10.1007/978-3-642-22359-4_21","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_21","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126165593","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}
{"title":"Applications of Logic in Social Choice Theory - (Invited Talk)","authors":"U. Endriss","doi":"10.1007/978-3-642-22359-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_7","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128396983","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}
Taolue Chen, M. Kwiatkowska, D. Parker, A. Simaitis
{"title":"Verifying Team Formation Protocols with Probabilistic Model Checking","authors":"Taolue Chen, M. Kwiatkowska, D. Parker, A. Simaitis","doi":"10.1007/978-3-642-22359-4_14","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_14","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127999438","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}
{"title":"Three Steps","authors":"H. V. Ditmarsch, F. Soler-Toscano","doi":"10.1007/978-3-642-22359-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_4","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130257755","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}
Domenico Corapi, Daniel Sykes, Katsumi Inoue, A. Russo
{"title":"Probabilistic Rule Learning in Nonmonotonic Domains","authors":"Domenico Corapi, Daniel Sykes, Katsumi Inoue, A. Russo","doi":"10.1007/978-3-642-22359-4_17","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_17","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130678897","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}
{"title":"A Modal Framework for Relating Belief and Signed Information","authors":"E. Lorini, Laurent Perrussel, J. Thévenin","doi":"10.1007/978-3-642-22359-4_5","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_5","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122482630","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}
{"title":"Social Commitment Delegation and Monitoring","authors":"Özgür Kafali, Paolo Torroni","doi":"10.1007/978-3-642-22359-4_13","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_13","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130815250","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}
S. Parsons, Y. Tang, Kai Cai, E. Sklar, P. McBurney
{"title":"Some Thoughts on Using Argumentation to Handle Trust - (Invited Talk)","authors":"S. Parsons, Y. Tang, Kai Cai, E. Sklar, P. McBurney","doi":"10.1007/978-3-642-22359-4_1","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_1","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132896324","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}
{"title":"On the Definability of Simulability and Bisimilarity by Finite Epistemic Models","authors":"H. V. Ditmarsch, D. Fernández-Duque, W. Hoek","doi":"10.1007/978-3-642-22359-4_6","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_6","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114314178","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}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：