Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.) Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. (English) Zbl 1194.68025 Lecture Notes in Computer Science 6245. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-14976-4/pbk). xiv, 257 p. (2010). Show indexed articles as search result. The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1200.68004).Indexed articles:Ågotnes, Thomas, Group announcements: logic and games (abstract of invited talk), 9-13 [Zbl 1286.68408]Miner More, Sara; Naumov, Pavel, Hypergraphs of multiparty secrets, 15-32 [Zbl 1286.68422]Benzmüller, Christoph, Combining logics in simple type theory, 33-48 [Zbl 1286.03111]Ma, Jiefei; Broda, Krysia; Goebel, Randy; Hosobe, Hiroshi; Russo, Alessandra; Satoh, Ken, Speculative abductive reasoning for hierarchical agent systems, 49-64 [Zbl 1286.68440]Góngora, Pedro Arturo; Ufferman, Eric; Hernández-Quiroz, Francisco, Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes, 65-81 [Zbl 1286.68414]D’Aprile, Davide; Giordano, Laura; Gliozzi, Valentina; Martelli, Alberto; Pozzato, Gian Luca; Theseider Dupré, Daniele, Verifying business process compliance by reasoning about actions, 99-116 [Zbl 1286.68438]Calta, Jan; Shkatov, Dmitry; Schlingloff, Holger, Finding uniform strategies for multi-agent systems, 135-152 [Zbl 1286.68437]Ghosh, Sujata; Ramanujam, R.; Simon, Sunil, Playing extensive form games in parallel, 153-170 [Zbl 1286.68413]Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello, Exploring the boundary of half positionality, 171-185 [Zbl 1286.68409]Zvesper, Jonathan A.; Apt, Krzysztof R., Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets, 186-199 [Zbl 1286.03051]Kowalski, Robert; Sadri, Fariba, An agent language with destructive assignment and model-theoretic semantics, 200-218 [Zbl 1286.68417] Cited in 1 ReviewCited in 1 Document MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68T27 Logic in artificial intelligence 68T42 Agent technology and artificial intelligence 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1200.68004 PDFBibTeX XMLCite \textit{J. Dix} (ed.) et al., Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16--17, 2010. Proceedings. Berlin: Springer (2010; Zbl 1194.68025) Full Text: DOI