{"title":"The Functional Dependence Relation on Hypergraphs of Secrets","authors":"Sara Miner More, Pavel Naumov","doi":"10.1007/978-3-642-22359-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-22359-4_3","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":"116758677","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":"Games, Norms and Strategic Notions in Information Flow Security","authors":"R. V. D. Meyden","doi":"10.1007/978-3-642-14977-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_2","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124627161","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}
D. D'Aprile, Laura Giordano, Valentina Gliozzi, A. Martelli, G. Pozzato, D. T. Dupré
{"title":"Verifying Business Process Compliance by Reasoning about Actions","authors":"D. D'Aprile, Laura Giordano, Valentina Gliozzi, A. Martelli, G. Pozzato, D. T. Dupré","doi":"10.1007/978-3-642-14977-1_10","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_10","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126269495","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":"From Organisation Specification to Normative Programming in Multi-Agent Organisations","authors":"J. F. Hübner, O. Boissier, Rafael Heitor Bordini","doi":"10.1007/978-3-642-14977-1_11","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_11","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133640089","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":"Finding Uniform Strategies for Multi-agent Systems","authors":"J. Calta, D. Shkatov, H. Schlingloff","doi":"10.1007/978-3-642-14977-1_12","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_12","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121100431","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":"Combining Logics in Simple Type Theory","authors":"Christoph Benzmüller","doi":"10.1007/978-3-642-14977-1_6","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_6","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128442671","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":"An Agent Language with Destructive Assignment and Model-Theoretic Semantics","authors":"R. Kowalski, F. Sadri","doi":"10.1007/978-3-642-14977-1_16","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_16","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122700652","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":"Exploring the Boundary of Half Positionality","authors":"A. Bianco, M. Faella, F. Mogavero, A. Murano","doi":"10.1007/978-3-642-14977-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_14","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123108771","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":"Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes","authors":"P. A. Góngora, Eric Ufferman, F. H. Quiroz","doi":"10.1007/978-3-642-14977-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_8","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127843579","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 Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages","authors":"S. Costantini, Arianna Tocchio","doi":"10.1007/978-3-642-14977-1_18","DOIUrl":"https://doi.org/10.1007/978-3-642-14977-1_18","url":null,"abstract":"","PeriodicalId":145374,"journal":{"name":"Computational Logic in Multi-Agent Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122587743","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}