1141 | -- | 1144 | João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert van der Torre. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII) |
1145 | -- | 1178 | Tiago De Lima. Alternating-time temporal dynamic epistemic logic |
1179 | -- | 1207 | Mathieu Beirlaen, Christian Straßer. Non-monotonic reasoning with normative conflicts in multi-agent deontic logic |
1209 | -- | 1227 | Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. On the definability of simulation and bisimulation in epistemic logic |
1229 | -- | 1249 | Daniele Porello, Ulle Endriss. Ontology merging as social choice: judgment aggregation under the open world assumption |
1251 | -- | 1252 | Michael Fisher, Leendert van der Torre, Mehdi Dastani, Guido Governatori. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII) |
1253 | -- | 1277 | Dov M. Gabbay, Odinaldo Rodrigues. An equational approach to the merging of argumentation networks |
1279 | -- | 1311 | Matthias Knorr, Martin Slota, João Leite, Martin Homola. What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems |
1313 | -- | 1339 | Emiliano Lorini, Dominique Longin, Eunate Mayor. A logical analysis of responsibility attribution: emotions, individuals and collectives |
1341 | -- | 1363 | Frank Dignum, Virginia Dignum. A formal semantics for agent (re)organization |