| [24] | Combining Regulative and Constitutive Norms in Input/Output Logic (X. Sun, L. van der Torre), 2014.
[bib] |
| [23] | A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice (G. Boella, L. Humphreys, R. Muthuri, L. van der Torre, P. Rossi), 2014.
[bib] |
| [22] | Intuitionistic basis for IOL (X. Parent, L. van der Torre, D. M. Gabbay), Springer, 2014.
[bib] |
| [21] | Reasoning on Robot Knowledge from Discrete and Asynchronous Observations (P. Ziafati, Y. Elrakaiby, L. van der Torre, H. Voos, M. Dastani, J.-J. Meyer, M. Van Zee), 2014.
[bib] |
| [20] | Managing legal interpretation in regulatory compliance (G. Boella, M. Janssen, H. Joris, L. Humphreys, L. van der Torre), 2013.
[bib] |
| [19] | A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software (P. Ziafati, H. Voos, L. van der Torre, M. Dastani, J.-J. Meyer), 2013.
[bib] |
| [18] | Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies. (P. Caire, L. van der Torre, S. Villata), 2013.
[bib] |
| [17] | Event-processing in Autonomous Robot Programming (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), International Foundation for Autonomous Agents and Multiagent Systems, 2013.
[bib] [pdf] |
| [16] | Agent Programming Languages Requirements for Programming Autonomous Robots (P. Ziafati, M. Dastani, J.-J. Meyer, L. van der Torre), Springer Berlin Heidelberg, 2013.
[bib] [pdf] |
| [15] | Normative Reasoning and Consequence (J. Broersen, S. Cranefield, Y. Elrakaiby, D. M. Gabbay, D. Grossi, E. Lorini, X. Parent, L. van der Torre, L. Tummolini, P. Turrini, F. Schwarzentruber), Springer Netherlands, 2013.
[bib] |
| [14] | Input/output logic (X. Parent, L. van der Torre), College Publications, 2013.
[bib] |
| [13] | Algorithms for Basic Compliance Problems (S. Colombo Tosatto, M. El Kharbili, G. Governatori, P. Kelsen, Q. Ma, L. van der Torre), 2013.
[bib] |
| [12] | Monotonic and non-monotonic inference for abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013.
[bib] |
| [11] | A logical theory about dynamics in abstract argumentation (R. Booth, S. Kaci, T. Rienstra, L. van der Torre), 2013.
[bib] |
| [10] | NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge (G. Boella, L. di Caro, L. Humphreys, L. Robaldo, L. van der Torre), European Language Resources Association (ELRA), 2012.
[bib] [pdf] |
| [9] | 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] |
| [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] |