| [67] | Majority-preserving judgment aggregation rules (Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre, Srdjan Vesic), In CoRR, volume abs/1502.05888, 2015.
[bib] [pdf] |
| [66] | Algorithms for tractable compliance problems (S. Colombo Tosatto, P. Kelsen, Q. Ma, M. el Kharbili, G. Governatori, L. van der Torre), In , Higher Education Press and Springer, 2015.
[bib] |
| [65] | Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII) (João Leite, Paolo Torroni, Thomas \AAgotnes, Guido Boella, Leendert W. N. van der Torre), In J. Log. Comput., volume 24, 2014.
[bib] [pdf] [doi] |
| [64] | Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII) (Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori), In J. Log. Comput., volume 24, 2014.
[bib] [pdf] [doi] |
| [63] | Abduction and Dialogical Proof in Argumentation and Logic Programming (Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In CoRR, volume abs/1407.3896, 2014.
[bib] [pdf] |
| [62] | On the Input/Output behavior of argumentation frameworks (P. Baroni, G. Boella, F. Cerutti, M. Giacomin, L. van der Torre), In , Elsevier Science, 2014.
[bib] |
| [61] | Argumentation Theoretic Foundations for Abstract Dependence Networks (P. Caire, L. van der Torre, S. Villata), In , 2013.
[bib] |
| [60] | Normative Multi-Agent Systems (Dagstuhl Seminar 12111) (Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre), In Dagstuhl Reports, volume 2, 2012.
[bib] |
| [59] | Dependence Networks for Agreement Technologies (G. Boella, P. Caire, L. van der Torre, S. Villata), In , CEUR, 2012.
[bib] |
| [58] | Modelling defeasible and prioritized support in bipolar argumentation (S. Villata, G. Boella, D. M. Gabbay, L. van der Torre), In , Springer Science & Business Media B.V., 2012.
[bib] |
| [57] | A logic of argumentation for specification and verification of abstract argumentation frameworks (S. Villata, G. Boella, D. M. Gabbay, L. van der Torre), In , Springer, 2012.
[bib] |
| [56] | Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008) (Ron van der Meyden, Leon van der Torre), In J. Applied Logic, volume 9, 2011.
[bib] [pdf] |
| [55] | Time and defeasibility in FIPA ACL semantics (Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre), In J. Applied Logic, volume 9, 2011.
[bib] [pdf] |
| [54] | A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011.
[bib] [pdf] |
| [53] | The role of goals in belief selection (Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre), In Logic Journal of the IGPL, volume 18, 2010.
[bib] [pdf] |
| [52] | Convivial Ambient Technologies: Requirements, Ontology and Design (Patrice Caire, Leendert van der Torre), In Comput. J., volume 53, 2010.
[bib] [pdf] |
| [51] | Fibred Security Language (Guido Boella, Dov Gabbay, Valerio Genovese, Leendert van der Torre), In Studia Logica, volume 92, 2009.
[bib] [pdf] |
| [50] | Preface for Studia Logica Special Issue (2) (Dov M. Gabbay, Leendert van der Torre), In Studia Logica, volume 93, 2009.
[bib] [pdf] |
| [49] | Meta-Argumentation Modelling I: Methodology and Techniques (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Studia Logica, volume 93, 2009.
[bib] [pdf] |
| [48] | Algorithms for finding coalitions exploiting a new reciprocity condition (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In Logic Journal of the IGPL, volume 17, 2009.
[bib] [pdf] |
| [47] | Convivial ambient technologies: Requirements, ontology, and design (Patrice Caire, Leendert van der Torre), In The Computer Journal, volume 3, 2009.
[bib] [pdf] |
| [46] | Norm Negotiation in Online Multi-Player Games (Guido Boella, Patrice Caire, Leendert van der Torre), In Knowledge Information System Journal, volume 18, 2009.
[bib] [pdf] |
| [45] | Analyzing Cooperation in Iterative Social Network Design (Guido Boella, Leendert van der Torre, Serena Villata), In Journal of Universal Computer, volume 15(13), 2009.
[bib] [pdf] |
| [44] | Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms (Souhila Kaci, Leendert van der Torre), In Annals of Operations Research, volume 163, 2008.
[bib] [pdf] |
| [43] | Substantive and procedural norms in normative multiagent systems (Guido Boella, Leendert van der Torre), In J. Applied Logic, volume 6, 2008.
[bib] [pdf] |