| [11] | Eunomos, a Legal Document and Knowledge Management System to Build Legal Services (G. Boella, L. Humphreys, M. Martin, P. Rossi, L. van der Torre), Springer, 2012.
[bib] [pdf] |
| [10] | 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] |
| [9] | 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] |
| [8] | Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), 2012.
[bib] |
| [7] | Normative Multi-Agent Systems (G. Andrighetto, G. Governatori, P. Noriega, L. van der Torre), 2012.
[bib] |
| [6] | A programming approach to monitoring communication in an organisational environment (M. Dastani, L. van der Torre, N. Yorke-Smith), 2012.
[bib] |
| [5] | Visualizing Normative Systems: an Abstract Approach (S. Colombo Tosatto, G. Boella, L. van der Torre, S. Villata), Springer, 2012.
[bib] |
| [4] | Learning and Reasoning about Norms using Neural-Symbolic Systems (A. Perotti, G. Boella, S. Colombo Tosatto, A. S. d\text'Avila Garcez, V. Genovese, L. van der Torre), 2012.
[bib] |
| [3] | Abstract Normative Systems: Semantics and Proof Theory (S. Colombo Tosatto, G. Boella, L. van der Torre, S. Villata), 2012.
[bib] |
| [2] | Contrary-To-Duties in Games (P. Turrini, X. Parent, L. van der Torre, S. Colombo Tosatto), Springer, 2012.
[bib] |
| [1] | Conditional acceptance functions (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2012.
[bib] |