:facetid:toc:\"db/conf/clima/clima2011.bht\"OK:facetid:toc:db/conf/clima/clima2011.bhtThomas ÅgotnesNatasha AlechinaReasoning about Joint Action and Coalitional Ability in K n with Intersection.CLIMA139-1562011Conference and Workshop Papersclosedconf/clima/AgotnesA1110.1007/978-3-642-22359-4_11https://doi.org/10.1007/978-3-642-22359-4_11https://dblp.org/rec/conf/clima/AgotnesA11URL#4648446Marco Alberti 0001Ana Sofia GomesRicardo Gonçalves 0001João Leite 0001Martin SlotaNormative Systems Represented as Hybrid Knowledge Bases.CLIMA330-3462011Conference and Workshop Papersclosedconf/clima/AlbertiGGLS1110.1007/978-3-642-22359-4_23https://doi.org/10.1007/978-3-642-22359-4_23https://dblp.org/rec/conf/clima/AlbertiGGLS11URL#4648447Mathieu BeirlaenChristian StraßerA Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.CLIMA312-3292011Conference and Workshop Papersclosedconf/clima/BeirlaenS1110.1007/978-3-642-22359-4_22https://doi.org/10.1007/978-3-642-22359-4_22https://dblp.org/rec/conf/clima/BeirlaenS11URL#4648448Jan M. BroersenProbabilistic Action and Deontic Logic - (Invited Talk).CLIMA293-2942011Conference and Workshop Papersclosedconf/clima/Broersen1110.1007/978-3-642-22359-4_20https://doi.org/10.1007/978-3-642-22359-4_20https://dblp.org/rec/conf/clima/Broersen11URL#4648449Jan CaltaDmitry ShkatovSynthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information.CLIMA122-1382011Conference and Workshop Papersclosedconf/clima/CaltaS1110.1007/978-3-642-22359-4_10https://doi.org/10.1007/978-3-642-22359-4_10https://dblp.org/rec/conf/clima/CaltaS11URL#4648450Taolue ChenMarta Z. KwiatkowskaDavid Parker 0001Aistis SimaitisVerifying Team Formation Protocols with Probabilistic Model Checking.CLIMA190-2072011Conference and Workshop Papersclosedconf/clima/ChenKPS1110.1007/978-3-642-22359-4_14https://doi.org/10.1007/978-3-642-22359-4_14https://dblp.org/rec/conf/clima/ChenKPS11URL#4648451Domenico CorapiDaniel SykesKatsumi InoueAlessandra RussoProbabilistic Rule Learning in Nonmonotonic Domains.CLIMA243-2582011Conference and Workshop Papersclosedconf/clima/CorapiSIR1110.1007/978-3-642-22359-4_17https://doi.org/10.1007/978-3-642-22359-4_17https://dblp.org/rec/conf/clima/CorapiSIR11URL#4648452Robert DemolombeTransitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic.CLIMA13-282011Conference and Workshop Papersclosedconf/clima/Demolombe1110.1007/978-3-642-22359-4_2https://doi.org/10.1007/978-3-642-22359-4_2https://dblp.org/rec/conf/clima/Demolombe11URL#4648453Hans van DitmarschDavid Fernández-DuqueWiebe van der HoekOn the Definability of Simulability and Bisimilarity by Finite Epistemic Models.CLIMA74-872011Conference and Workshop Papersclosedconf/clima/DitmarschDH1110.1007/978-3-642-22359-4_6https://doi.org/10.1007/978-3-642-22359-4_6https://dblp.org/rec/conf/clima/DitmarschDH11URL#4648454Hans van DitmarschFernando Soler-ToscanoThree Steps.CLIMA41-572011Conference and Workshop Papersclosedconf/clima/DitmarschS1110.1007/978-3-642-22359-4_4https://doi.org/10.1007/978-3-642-22359-4_4https://dblp.org/rec/conf/clima/DitmarschS11URL#4648455Jan van EijckA Geometric Look at Manipulation.CLIMA92-1042011Conference and Workshop Papersclosedconf/clima/Eijck1110.1007/978-3-642-22359-4_8https://doi.org/10.1007/978-3-642-22359-4_8https://dblp.org/rec/conf/clima/Eijck11URL#4648456Ulle EndrissApplications of Logic in Social Choice Theory - (Invited Talk).CLIMA88-912011Conference and Workshop Papersclosedconf/clima/Endriss1110.1007/978-3-642-22359-4_7https://doi.org/10.1007/978-3-642-22359-4_7https://dblp.org/rec/conf/clima/Endriss11URL#4648457Alfredo GabaldonMaking Golog Norm Compliant.CLIMA275-2922011Conference and Workshop Papersclosedconf/clima/Gabaldon1110.1007/978-3-642-22359-4_19https://doi.org/10.1007/978-3-642-22359-4_19https://dblp.org/rec/conf/clima/Gabaldon11URL#4648458Guido GovernatoriAntonino RotoloJustice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.CLIMA364-3822011Conference and Workshop Papersclosedconf/clima/GovernatoriR1110.1007/978-3-642-22359-4_25https://doi.org/10.1007/978-3-642-22359-4_25https://dblp.org/rec/conf/clima/GovernatoriR11URL#4648459Andreas HerzigEmiliano LoriniNicolas TroquardA Dynamic Logic of Institutional Actions.CLIMA295-3112011Conference and Workshop Papersclosedconf/clima/HerzigLT1110.1007/978-3-642-22359-4_21https://doi.org/10.1007/978-3-642-22359-4_21https://dblp.org/rec/conf/clima/HerzigLT11URL#4648460Özgür KafaliPaolo TorroniSocial Commitment Delegation and Monitoring.CLIMA171-1892011Conference and Workshop Papersclosedconf/clima/KafaliT1110.1007/978-3-642-22359-4_13https://doi.org/10.1007/978-3-642-22359-4_13https://dblp.org/rec/conf/clima/KafaliT11URL#4648461Özgür KafaliFrancesca ToniPaolo TorroniReasoning about Exceptions to Contracts.CLIMA225-2422011Conference and Workshop Papersclosedconf/clima/KafaliTT1110.1007/978-3-642-22359-4_16https://doi.org/10.1007/978-3-642-22359-4_16https://dblp.org/rec/conf/clima/KafaliTT11URL#4648462Tiago de LimaAlternating-Time Temporal Announcement Logic.CLIMA105-1212011Conference and Workshop Papersclosedconf/clima/Lima1110.1007/978-3-642-22359-4_9https://doi.org/10.1007/978-3-642-22359-4_9https://dblp.org/rec/conf/clima/Lima11URL#4648463Emiliano LoriniLaurent PerrusselJean-Marc ThéveninA Modal Framework for Relating Belief and Signed Information.CLIMA58-732011Conference and Workshop Papersclosedconf/clima/LoriniPT1110.1007/978-3-642-22359-4_5https://doi.org/10.1007/978-3-642-22359-4_5https://dblp.org/rec/conf/clima/LoriniPT11URL#4648464Sara Miner MorePavel NaumovThe Functional Dependence Relation on Hypergraphs of Secrets.CLIMA29-402011Conference and Workshop Papersclosedconf/clima/MoreN1110.1007/978-3-642-22359-4_3https://doi.org/10.1007/978-3-642-22359-4_3https://dblp.org/rec/conf/clima/MoreN11URL#4648465Nir OrenWamberto Weber VasconcelosFelipe MeneguzziMichael LuckActing on Norm Constrained Plans.CLIMA347-3632011Conference and Workshop Papersclosedconf/clima/OrenVML1110.1007/978-3-642-22359-4_24https://doi.org/10.1007/978-3-642-22359-4_24https://dblp.org/rec/conf/clima/OrenVML11URL#4648466Simon ParsonsYuqing Tang 0001Kai CaiElizabeth SklarPeter McBurneySome Thoughts on Using Argumentation to Handle Trust - (Invited Talk).CLIMA1-122011Conference and Workshop Papersclosedconf/clima/ParsonsTCSM1110.1007/978-3-642-22359-4_1https://doi.org/10.1007/978-3-642-22359-4_1https://dblp.org/rec/conf/clima/ParsonsTCSM11URL#4648467Daniele PorelloUlle EndrissOntology Merging as Social Choice.CLIMA157-1702011Conference and Workshop Papersclosedconf/clima/PorelloE1110.1007/978-3-642-22359-4_12https://doi.org/10.1007/978-3-642-22359-4_12https://dblp.org/rec/conf/clima/PorelloE11URL#4648468Samy SáJoão F. L. AlcântaraAbduction-Based Search for Cooperative Answers.CLIMA208-2242011Conference and Workshop Papersclosedconf/clima/SaA1110.1007/978-3-642-22359-4_15https://doi.org/10.1007/978-3-642-22359-4_15https://dblp.org/rec/conf/clima/SaA11URL#4648469Richard Stocker 0001Maarten SierhuisLouise A. DennisClare DixonMichael Fisher 0001A Formal Semantics for Brahms.CLIMA259-2742011Conference and Workshop Papersclosedconf/clima/StockerSDDF1110.1007/978-3-642-22359-4_18https://doi.org/10.1007/978-3-642-22359-4_18https://dblp.org/rec/conf/clima/StockerSDDF11URL#4648470João Leite 0001Paolo TorroniThomas ÅgotnesGuido BoellaLeon van der TorreComputational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. ProceedingsCLIMALecture Notes in Computer Science6814Springer2011Editorshipconf/clima/201110.1007/978-3-642-22359-4https://doi.org/10.1007/978-3-642-22359-4https://dblp.org/rec/conf/clima/2011URL#4766585