Journal: Journal of Logic and Computation

Volume 24, Issue 6

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