×

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]

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
Full Text: DOI