Back
  1. Home
  2. Profile of Leon VAN DER TORRE (Unilu)
Profil

VAN DER TORRE Leon

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
Boella, Guido (64)
BOELLA, Guido  (46)
Villata, Serena (38)
GABBAY, Dov M.  (21)
PARENT, Xavier  (19)
Main Referenced Keywords
Formal argumentation (7); abstract argumentation (6); Deontic Logic (6); Normative reasoning (6); Semantics (5);
Main Referenced Disciplines
Computer science (261)
Engineering, computing & technology: Multidisciplinary, general & others (2)
Law, criminology & political science: Multidisciplinary, general & others (2)
Philosophy & ethics (1)
Social law (1)

Publications (total 267)

The most downloaded
1781 downloads
Humphreys, L., Santos, C., Di Caro, L., Boella, G., Robaldo, L., & van der Torre, L. (2015). Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation. In Proceedings of the 28th International Conference on Legal Knowledge and Information Systems. https://hdl.handle.net/10993/26579

The most cited

228 citations (Scopus®)

Parent, X., & van der Torre, L. (2009). Input/output logics. Abstract book of 9th De Morgan Workshop on Deontic Logic. doi:10.1023/A:1004748624537 https://hdl.handle.net/10993/26428

YU, L., Caren Al Anaissy, LI, X., Vesic, S., & VAN DER TORRE, L. (2023). A Principle-Based Analysis of Bipolar Argumentation Semantics. In Lecture Notes in Computer Science ((LNAI,volume 14281)). Springer. doi:10.1007/978-3-031-43619-2_15
Peer reviewed

KNOKS, A., & VAN DER TORRE, L. (2023). Reason-based detachment. In Joint Proceedings of the 3rd International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI, and Law. London, United Kingdom: College Publications.
Peer reviewed

DONG, H., VAN DER TORRE, L., MARKOVICH, R., Dragan Doder, Marc van Zee, & LI, X. (2023). Rights and Practical Reasoning in Deontic Logic. In J. Maranhão, C. Peterson, C. Straßer, ... L. VAN DER TORRE, Deontic Logic and Normative Systems 16th International Conference, DEON 2023. Trois-Rivières, Canada: Deontic Logic and Normative Systems 16th International Conference, DEON 2023.
Peer reviewed

Liao, B., PARDO VENTURA, P., Slavkovik, M., & VAN DER TORRE, L. (2023). The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation. Journal of Artificial Intelligence Research, 77, 737 - 792. doi:10.1613/jair.1.14368
Peer Reviewed verified by ORBi

Chen, C., PARDO VENTURA, P., VAN DER TORRE, L., & YU, L. (2023). Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. In L. Jieting, P. PARDO VENTURA, ... A. Herzig (Ed.), Logic and Argumentation - 5th International Conference, CLAR 2023, Proceedings (pp. 61-83). Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-40875-5_5
Peer reviewed

van der Torre, L., & Parent, X. (2022). Detachment in Normative Systems: Examples, Inference Patterns, Properties. IfCoLog Journal of Logics and Their Applications, 9 (4), 1019-1062.
Peer reviewed

Arisaka, R., Dauphin, J., Satoh, K., & van der Torre, L. (2022). Multi-agent Argumentation and Dialogue. IfCoLog Journal of Logics and Their Applications, 9 (4), 853-886.
Peer reviewed

Dong, H., Liao, B., Markovich, R., & van der Torre, L. (2022). Defeasible Deontic Logic: Arguing about Permission and Obligation. IfCoLog Journal of Logics and Their Applications, 9 (4), 957-1018.
Peer reviewed

Maranhão, J., Casini, G., Pigozzi, G., & van der Torre, L. (2022). Normative Change: An AGM Approach. IfCoLog Journal of Logics and Their Applications, 9 (4), 787-852.
Peer reviewed

Dvorak, W., Rienstra, T., van der Torre, L., & Woltran, S. (2022). Non-Admissibility in abstract argumentation. Frontiers in Artificial Intelligence and Applications, 353, 128-139. doi:10.3233/FAIA220147
Peer reviewed

Guillaume, M., Cramer, M., van der Torre, L., & Schiltz, C. (2022). Reasoning on conflicting information: An empirical study of Formal Argumentation. PLoS ONE, 17 (8 August). doi:10.1371/journal.pone.0273225
Peer Reviewed verified by ORBi

Dauphin, J., Rienstra, T., & van der Torre, L. (2021). New Weak Admissibility Semantics for Abstract Argumentation. In International Conference on Logic and Argumentation (pp. 112--126).
Peer reviewed

Markovich, R., Najjar, A., & van der Torre, L. (2021). New-Generation AIs Reasoning about Norms and Values. In Logics for New-Generation AI 2021.

Qiao, L., Shen, Y., Yu, L., Liao, B., & van der Torre, L. (2021). Arguing coalitions in abstract argumentation. In B. Liao, J. Luo, ... L. van der Torre, Logics for New-Generation AI 2021. London, United Kingdom: College Publications.
Peer reviewed

Yu, L., Chen, D., Qiao, L., Shen, Y., & van der Torre, L. (2021). A Principle-based Analysis of Abstract Agent Argumentation Semantics. In M. Bienvenu, G. Lakemeyer, ... E. Erdem, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 (pp. 629–639). IJCAI Organization. doi:10.24963/kr.2021/60
Peer reviewed

Calvaresi, D., Ciatto, G., Najjar, A., Aydogan, R., van der Torre, L., Omicini, A., & Schumacher, M. (2021). Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge. In D. Calvaresi, A. Najjar, M. Winikoff, ... K. Främling, Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers (pp. 331-343). Springer. doi:10.1007/978-3-030-82017-6_20
Peer reviewed

Chen, J., Liao, B., & van der Torre, L. (2021). Base Argumentation as an Abstraction of Deductive Argumentation. In P. Baroni, C. Benzmüller, ... Y. N. Wáng, Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (pp. 468-476). Springer. doi:10.1007/978-3-030-89391-0_26
Peer reviewed

Dong, H., Markovich, R., & van der Torre, L. (2021). Towards AI Logic for Social Reasoning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/49906.

Humpreys, L., Boella, G., van der Torre, L., Robaldo, L., Di Caro, L., Ghanavati, S., & Muthuri, R. (2021). Populating legal ontologies using semantic role labeling. Artificial Intelligence and Law, 29 (2), 171-211. doi:10.1007/s10506-020-09271-3
Peer Reviewed verified by ORBi

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Yu, L., Markovich, R., & van der Torre, L. (2020). Interpretations of Support Among Arguments. In Proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020) (pp. 194-203). doi:10.3233/FAIA200863
Peer reviewed

Dauphin, J., Rienstra, T., & van der Torre, L. (2020). A Principle-Based Analysis of Weakly Admissible Semantics. In Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020 (pp. 167--178). IOS Press. doi:10.3233/FAIA200502
Peer reviewed

Gabbay, D. M., Horne, R. J., Mauw, S., & van der Torre, L. (2020). Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. In Graphical Models for Security - 7th International Workshop. doi:10.1007/978-3-030-62230-5_8
Peer reviewed

Yu, L., Markovich, R., & van der Torre, L. (2020). Interpretation of Support among Arguments. Legal Knowledge and Information Systems – Frontiers in Artificial Intelligence and Application Series. doi:10.3233/FAIA200863
Peer reviewed

Dong, H., Markovich, R., & van der Torre, L. (2020). Developing AI Logic for Social Reasoning. Journal of Zhejiang University.
Peer reviewed

Long, G. A., Santos, C., Rapp, L., Markovich, R., & van der Torre, L. (2020). Artificial Intelligence in Space. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/46692.

Benzmüller, C., Parent, X., & van der Torre, L. (2020). Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence and Law, 287, 103348. doi:10.1016/j.artint.2020.103348
Peer reviewed

van Zee, M., Doder, D., van der Torre, L., Dastani, M., Icard, T., & Pacuit, E. (2020). Intention as commitment toward time. Artificial Intelligence and Law, 283, 103270. doi:10.1016/j.artint.2020.103270
Peer reviewed

Libal, T., van der Torre, L., Gabbay, D. M., & Pascucci, M. (2020). A bimodal simulation of defeasibility in thenormative domain. In CEUR Workshop Proceedings.
Peer reviewed

Dong, H., Liao, B., Markovich, R., & van der Torre, L. (2019). From Classical to Non-monotonic Deontic Logic Using ASPIC+. In Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (pp. 71--85). doi:10.1007/978-3-662-60292-8\_6
Peer reviewed

Dauphin, J., Cramer, M., & van der Torre, L. (2019). A dynamic approach for combining abstract argumentation semantics. In Dynamics, Uncertainty and Reasoning (pp. 21--43). Springer.
Peer reviewed

Cramer, M., & van der Torre, L. (2019). SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. In Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019 (pp. 24--35).
Peer reviewed

Gabbay, D. M., Cramer, M., Dauphin, J., Farjami, A., Rivlin, L., & van der Torre, L. (2019). Machine Argumentation. Can We Replace Taxi Drivers by Robots? In Natural Argument, A tribute to John Woods. College Publications.
Peer reviewed

Gabbay, D. M., Parent, X., & van der Torre, L. (2019). A geometrical view of I/O logic.

Parent, X., & van der Torre, L. (2018). Introduction to Deontic Logic and Normative Systems. London, United Kingdom: College Publications.

Dauphin, J., Cramer, M., & van der Torre, L. (2018). A Dynamic Approach for Combining Abstract Argumentation Semantics – Technical Report. University of Luxembourg.

Bouvry, P., Bisdorff, R., Schommer, C., Sorger, U., Theobald, M., & van der Torre, L. (2018). Proceedings - 2017 ILILAS Distinguished Lectures. Luxembourg, Luxembourg: University of Luxembourg.

Dignum, V., Baldoni, M., Baroglio, C., Caon, M., Chatila, R., Dennis, L. A., Génova, G., Haim, G., Kließ, M. S., López-Sánchez, M., Micalizio, R., Pavón, J., Slavkovik, M., Smakman, M., Steenbergen, M. V., Tedeschi, S., van der Torre, L., Villata, S., & Wildt, T. D. (2018). Ethics by Design: Necessity or Curse? In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society AIES 2018, New Orleans, LA, USA, February 02-03, 2018. doi:10.1145/3278721.3278745
Peer reviewed

Calafiore, A., Boella, G., & van der Torre, L. (2018). From Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data. In 21st International Conference on Knowledge Engineering and Knowledge Management.
Peer reviewed

Pinto Costa, A., Charpiot, L., Rodriguez Lera, F. J., Ziafati, P., Nazarikhorram, A., van der Torre, L., & Steffgen, G. (2018). More Attention and Less Repetitive and Stereotyped Behaviors using a Robot with Children with Autism. In 27th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2018, Nanjing, China, August 27-31, 2018. doi:10.1109/ROMAN.2018.8525747
Peer reviewed

Liao, B., Slavkovik, M., & van der Torre, L. (2018). Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. In AAAI/ACM Artificial Intelligence, Ethics and Society.
Peer reviewed

Pinto Costa, A., Charpiot, L., Lera, F., Ziafati, P., Nazarikhorram, A., van der Torre, L., & Steffgen, G. (2018). A comparison between a person and a robot in the attention, imitation, and repetitive and stereotypical behaviors of children with autism spectrum disorder [Paper presentation]. Workshop on Social human-robot interaction of human-care service robots at the Human Robot Interaction (HRI2018).

Pigozzi, G., & van der Torre, L. (2018). Arguing about constitutive and regulative norms. Journal of Applied Non-Classical Logics, 28 (2-3), 189--217. doi:10.1080/11663081.2018.1487242
Peer reviewed

Liao, B., Oren, N., van der Torre, L., & Villata, S. (2018). Prioritized norms in formal argumentation. Journal of Logic and Computation. doi:10.1093/logcom/exy009
Peer reviewed

Parent, X., & van der Torre, L. (2018). Input/output logics with a consistency check. In G. Pigozzi, J. Broersen (Ed.), C. Condoravdi (Ed.), ... S. Nair (Ed.), Deontic Logic and Normative Systems (DEON 2018). London, United Kingdom: College Publications.
Peer reviewed

Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. In Computational Models of Argument.
Peer reviewed

Kaci, S., van der Torre, L., & Villata, S. (2018). Preference in Abstract Argumentation. In Computational Models of Argument.
Peer reviewed

Liao, B., & van der Torre, L. (2018). Representation Equivalences among Argumentation Frameworks. In Computational Models of Argument. IOS Press.
Peer reviewed

Benzmüller, C., Parent, X., & van der Torre, L. (2018). A Deontic Logic Reasoning Infrastructure. In Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (pp. 60-69). Springer. doi:10.1007/978-3-319-94418-0_6
Peer reviewed

Rienstra, T., Thimm, M., Liao, B., & van der Torre, L. (2018). Probabilistic Abstract Argumentation Based on SCC Decomposability. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona 30 October - 2 November 2018.
Peer reviewed

Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks - Technical Report. University of Luxembourg.

Gabbay, D. M., Giacomin, M., Liao, B., & van der Torre, L. (2018). Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Dagstuhl Manifestos, 7 (1), 69--95. doi:10.4230/DagMan.7.1.69
Peer reviewed

van der Torre, L., Rienstra, T., & Gabbay, D. M. (2018). Argumentation as Exogenous Coordination. In It's All About Coordination (pp. 208-223). Springer.
Peer reviewed

Pigozzi, G., & van der Torre, L. (2017). Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective. IfCoLog Journal of Logics and Their Applications, 2929-2993.
Peer reviewed

Parent, X., & van der Torre, L. (December 2017). Detachment in Normative Systems: Examples, inference Patterns, Properties. IfCoLog Journal of Logics and Their Applications, 4 (9), 2295-3039.
Peer reviewed

Benzmüller, C., Farjami, A., Parent, X., & van der Torre, L. (06 July 2017). Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL [Paper presentation]. Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), Belgrade, Serbia.

Parent, X., & van der Torre, L. (2017). The pragmatic oddity in a norm-based semantics. In G. Governatori (Ed.), 16th International Conference on Artificial Intelligence & Law (ICAIL-17). New York, United States: ACM.
Peer reviewed

Besold, T., Garcez, A. D. A., Stenning, K., van der Torre, L., & van Lambalgen, M. (2017). Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural Symbolic Computing as Examples. Minds and Machines. doi:10.1007/s11023-017-9428-3
Peer reviewed

Dastani, M., van der Torre, L., & Yorke-Smith, N. (March 2017). Commitments and interaction norms in organisations. Autonomous Agents & Multi-Agent Systems, 31 (2), 207-249. doi:10.1007/s10458-015-9321-5
Peer reviewed

Ziafati, P., Rodriguez Lera, F. J., Pinto Costa, A., Nazarikhorram, A., & van der Torre, L. (2017). ProCRob Architecture for Personalized Social Robotics [Paper presentation]. Workshop R4L @HRI 2017.

van der Torre, L., & Van Zee, M. (2017). Rational Enterprise Architecture. In Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. doi:10.1007/978-3-319-60042-0_2
Peer reviewed

An, B., Bazzan, A. L. C., Leite, J., Villata, S., & van der Torre, L. (2017). PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017 Proceedings [Paper presentation]. 20th International Conference on Principles and Practice of Multi-Agents Systems. doi:10.1007/978-3-319-69131-2

Peirera, C. D. C., Tettamanzi, A. G. B., Villata, S., Liao, B., Malerba, A., Rotolo, A., & van der Torre, L. (2017). Handling Norms in Multi-Agent System by Means of Formal Argumentation. IfCoLog Journal of Logics and Their Applications.
Peer reviewed

van der Torre, L., & Vesic, S. (2017). The Principle-Based Approach to Abstract Argumentation Semantics. IfCoLog Journal of Logics and Their Applications.
Peer reviewed

Lang, J., Pigozzi, G., Slavkovik, M., van der Torre, L., & Vesic, S. (2017). A partial taxonomy of judgment aggregation rules and their properties. Social Choice and Welfare, 48 (2), 327--356. doi:10.1007/s00355-016-1006-8
Peer reviewed

Liao, B., & van der Torre, L. (2017). Defense semantics of argumentation: encoding reasons for accepting arguments. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/33983.

Liao, B., Oren, N., van der Torre, L., & Villata, S. (2017). Prioritized Norms in Formal Argumentation. Journal of Logic and Computation, abs/1709.08034.
Peer reviewed

Boella, G., Pigozzi, G., & van der Torre, L. (December 2016). AGM Contraction and Revision of Rules. Journal of Logic, Language and Information, 25 (3), 273-297. doi:10.1007/s10849-016-9244-9
Peer reviewed

Santos, C., Rodriguez Doncel, V., Casanovas, P., & van der Torre, L. (2016). Modeling relevant legal information for consumer disputes. In EGOVIS 2016: Electronic Government and the Information Systems Perspective (pp. 150-165). Springer.
Peer reviewed

Ambrossio, D. A., Parent, X., & van der Torre, L. (2016). A Representation Theorem for Abstract Cumulative Aggregation. 978-2-87971-152-2/TR-SNT-2016-5.

van der Torre, L., Giacomin, M., Liao, B., & Gabbay, D. M. (2016). Present and Future of Formal Argumentation. Dagstuhl Reports. doi:10.4230/DagRep.5.8.74
Peer reviewed

van der Torre, L. (2016). Norms and Arguments. In Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016.
Peer reviewed

Liao, B., Oren, N., van der Torre, L., & Villata, S. (2016). Prioritized Norms and Defaults in Formal Argumentation. In Deontic Logic and Normative Systems (2016).
Peer reviewed

Santos, C., Pruski, C., da Silveira, M., Rodriguez-Doncel, V., Gangemi, A., van der Torre, L., & Casanovas, P. (2016). Complaint Ontology Pattern - COP. In Workshop on Ontology and Semantic Web Patterns, Kobe 18 October 2016.
Peer reviewed

Ambrossio, D. A., Parent, X., & van der Torre, L. (2016). Cumulative Aggregation. Deontic Logic and Normative Systems.
Peer reviewed

Boella, G., Di Caro, L., Humphreys, L., Robaldo, L., Rossi, P., & van der Torre, L. (2016). Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law. Artificial Intelligence and Law. doi:10.1007/s10506-016-9184-3
Peer reviewed

Ziafati, P., dastani, M., meyer, J.-J., van der Torre, L., & Voos, H. (October 2015). Retalis Language for Information Engineering in Autonomous Robot Software. IfCoLog Journal of Logics and their Applications, 2 (2), 85.
Peer reviewed

Humphreys, L., Santos, C., Di Caro, L., Boella, G., Robaldo, L., & van der Torre, L. (2015). Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation. In Proceedings of the 28th International Conference on Legal Knowledge and Information Systems.
Peer reviewed

Van Zee, M., Doder, D., Dastani, M., & van der Torre, L. (2015). Consistency Conditions for Beliefs and Intentions [Paper presentation]. the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning.

Colombo Tosatto, S., Kelsen, P., Ma, Q., el Kharbili, M., Governatori, G., & van der Torre, L. (2015). Algorithms for tractable compliance problems. Frontiers of Computer Science, 9 (1), 55-74. doi:10.1007/s11704-014-3239-y
Peer reviewed

Humphreys, L., Boella, G., Robaldo, L., Di Caro, L., Cupi, L., Ghanavati, S., Kiriinya, R. K. M., & van der Torre, L. (2015). Classifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling. In The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015.
Peer reviewed

Van Zee, M., Doder, D., Dastani, M., & van der Torre, L. (2015). AGM Revision of Beliefs about Action and Time. In Proceedings of the International Joint Conference on Artificial Intelligence.
Peer reviewed

Ziafati, P., Elrakaiby, Y., van der Torre, L., Voos, H., Dastani, M., Meyer, J.-J., & Van Zee, M. (2014). Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. In AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015.
Peer reviewed

Parent, X., & van der Torre, L. (2014). Aggregative Deontic Detachment for Normative Reasoning. In KR&R.
Peer reviewed

Van Zee, M., Dastani, M., & van der Torre, L. (2014). Collective Intention Revision from a Database Perspective [Paper presentation]. The Collective Intentionality IX Conference.

van der Torre, L., Baroni, P., Giacomin, M., & Liao, B. (2014). Encompassing Uncertainty in Argumentation Schemes. Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014.
Peer reviewed

Boella, G., Humphreys, L., Muthuri, R., van der Torre, L., & Rossi, P. (2014). A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice. In Seventh IEEE Workshop on Requirements Engineering and Law. doi:10.1109/RELAW.2014.6893476
Peer reviewed

Parent, X., van der Torre, L., & Gabbay, D. M. (2014). Intuitionistic basis for IOL. In S. O. Hansson (Ed.), David Makinson's outsanding contribution to non-classical logic. Springer.
Peer reviewed

van der Torre, L., Ahmed, J., Governatori, G., & Villata, S. (2014). Social Interaction Based Audience Segregation for Online Social Networks. Proceedings of the European Conference on Social Intelligence.
Peer reviewed

van der Torre, L., & Villata, S. (2014). An ASPIC-based legal argumentation framework for deontic reasoning. Computational Models of Argument. doi:10.3233/978-1-61499-436-7-421
Peer reviewed

van der Torre, L., & Parent, X. (2014). Sing and Dance! In Sing and Dance!Springer. doi:10.1007/978-3-319-08615-6_12
Peer reviewed

Sun, X., & van der Torre, L. (2014). Combining Regulative and Constitutive Norms in Input/Output Logic. In 12th International Conference on Deontic Logic and Normative Systems.
Peer reviewed

Baroni, P., Boella, G., Cerutti, F., Giacomin, M., & van der Torre, L. (2014). On the Input/Output behavior of argumentation frameworks. Artificial Intelligence and Law. doi:10.1016/j.artint.2014.08.004
Peer reviewed

Sun, X., Gabbay, D. M., Robaldo, L., van der Torre, L., & Baniasadi, Z. (2014). Toward a Linguistic Interpretation of Deontic Paradoxes. In 12th International Conference Deontic Logic and Normative Systems.
Peer reviewed

Caire, P., van der Torre, L., & Villata, S. (2013). Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies. In 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8.
Peer reviewed

Caire, P., van der Torre, L., & Villata, S. (2013). Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies. In AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28.
Peer reviewed

Parent, X., & van der Torre, L. (2013). Input/output logic. In L. van der Torre, D. M. Gabbay, J. Horty, ... R. van der Meyden (Eds.), Handbook of Deontic Logic. London, United Kingdom: College Publications.
Peer reviewed

Caire, P., van der Torre, L., & Villata, S. (2013). Argumentation Theoretic Foundations for Abstract Dependence Networks. International Conference on Agreement Technologies, proceedings in Springer LNCS.
Peer reviewed

Ziafati, P., Voos, H., van der Torre, L., Dastani, M., & Meyer, J.-J. (06 May 2013). A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software [Poster presentation]. ICRA 2013 Eighth Workshop on Software Development and Integration in Robotics (SDIR VIII@ICRA), Karlsruhe, Germany.

Colombo Tosatto, S., El Kharbili, M., Governatori, G., Kelsen, P., Ma, Q., & van der Torre, L. (2013). Algorithms for Basic Compliance Problems. In 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013 (pp. 2-7). doi:10.1109/ICSTW.2013.6
Peer reviewed

Ziafati, P., Dastani, M., Meyer, J.-J., & van der Torre, L. (2013). Event-processing in Autonomous Robot Programming. In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (pp. 95--102). Richland, SC, Unknown/unspecified: International Foundation for Autonomous Agents and Multiagent Systems.
Peer reviewed

Kontarinis, D., Bonzon, E., Maudet, N., Perotti, A., van der Torre, L., & Villata, S. (2013). Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. In CLIMA. Springer. doi:10.1007/978-3-642-40624-9_4
Peer reviewed

Boella, G., Tosatto, S. C., Ghanavati, S., Hulstijn, J., Humphreys, L., & van der Torre, L. (2013). Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution. In AICOL. Springer. doi:10.1007/978-3-662-45960-7_10
Peer reviewed

Broersen, J., Cranefield, S., Elrakaiby, Y., Gabbay, D. M., Grossi, D., Lorini, E., Parent, X., van der Torre, L., Tummolini, L., Turrini, P., & Schwarzentruber, F. (2013). Normative Reasoning and Consequence. In Normative Multi-Agent Systems (pp. 33-70). Springer Netherlands.
Peer reviewed

Booth, R., Kaci, S., Rienstra, T., & van der Torre, L. (2013). A logical theory about dynamics in abstract argumentation [Paper presentation]. 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013).

Boella, G., Janssen, M., Joris, H., Humphreys, L., & van der Torre, L. (2013). Managing legal interpretation in regulatory compliance. In XIV International Conference on Artificial Intelligence and Law.
Peer reviewed

Booth, R., Kaci, S., Rienstra, T., & van der Torre, L. (2013). Monotonic and non-monotonic inference for abstract argumentation. In Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013.
Peer reviewed

Booth, R., Kaci, S., Rienstra, T., & van der Torre, L. (2013). A logical theory about dynamics in abstract argumentation. In Scalable Uncertainty Management - 7th International Conference, SUM 2013. Springer. doi:10.1007/978-3-642-40381-1_12
Peer reviewed

Gabbay, D., Horty, J., Parent, X., van der Meyden, R., & van der Torre, L. (Eds.). (2013). Handbook of Deontic logic and Normative Systems. London, United Kingdom: College Publication.

Booth, R., Kaci, S., Rienstra, T., & van der Torre, L. (2013). A logical theory about dynamics in abstract argumentation [Paper presentation]. 24th Benelux Conference on Artificial Intelligence (BNAIC 2012).

Ziafati, P., Dastani, M., Meyer, J.-J., & van der Torre, L. (2013). Agent Programming Languages Requirements for Programming Autonomous Robots. In M. Dastani, J. Hübner, ... B. Logan (Eds.), Programming Multi-Agent Systems (pp. 35-53). Springer Berlin Heidelberg. doi:10.1007/978-3-642-38700-5_3
Peer reviewed

Boella, G., Caire, P., van der Torre, L., & Villata, S. (2012). Dependence Networks for Agreement Technologies. AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies, 109-110.
Peer reviewed

Colombo Tosatto, S., Boella, G., van der Torre, L., & Villata, S. (2012). Abstract Normative Systems: Semantics and Proof Theory. In PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE (pp. 358-368).
Peer reviewed

Boella, G., Humphreys, L., Martin, M., Rossi, P., & van der Torre, L. (2012). Eunomos, a Legal Document and Knowledge Management System to Build Legal Services. In M. Palmirani, U. Pagallo, P. Casanovas, ... G. Sartor (Eds.), AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents (pp. 131-146). Berlin - Heidelberg, Unknown/unspecified: Springer. doi:10.1007/978-3-642-35731-2_9
Peer reviewed

Booth, R., Kaci, S., Rienstra, T., & van der Torre, L. (2012). Conditional acceptance functions. In 4th International Conference on Computational Models of Argument (COMMA 2012) (pp. 470-477). doi:10.3233/978-1-61499-111-3-470
Peer reviewed

Dastani, M., van der Torre, L., & Yorke-Smith, N. (2012). A programming approach to monitoring communication in an organisational environment. In AAMAS 2012 (pp. 1373-1374).
Peer reviewed

Baroni, P., Boella, G., Cerutti, F., Giacomin, M., van der Torre, L., & Villata, S. (2012). On Input/Output Argumentation Frameworks. In Proceedings of COMMA (pp. 358-365). IOS Press. doi:10.3233/978-1-61499-111-3-358
Peer reviewed

van der Torre, L. (2012). Logics for Security and Privacy. In 2012 (pp. 1-7). Springer. doi:10.1007/978-3-642-31540-4_1
Peer reviewed

Ziafati, P., Dastani, M., Meyer, J.-J., & van der Torre, L. (2012). Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract) [Paper presentation]. BNAIC, Maastricht, Netherlands.

Colombo Tosatto, S., Boella, G., van der Torre, L., & Villata, S. (2012). Visualizing Normative Systems: an Abstract Approach. In T. Agotnes, J. Broersen, ... D. Elgesem (Eds.), Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings (pp. 16-30). Springer. doi:10.1007/978-3-642-31570-1_2
Peer reviewed

van der Torre, L., & Boella, G. (2012). Reasoning for Agreement Technologies. In ECAI 2012 (pp. 895-896). doi:10.3233/978-1-61499-098-7-895
Peer reviewed

Marosin, D., Proper, A. H., & van der Torre, L. (2012). Changing Agreements: Intention Reconsideration based on Assumptions and Reasons. Proceedings of the First International Conference on Agreement Technologies, AT 2012, 296-297.
Peer reviewed

Perotti, A., Boella, G., Colombo Tosatto, S., d’Avila Garcez, A. S., Genovese, V., & van der Torre, L. (2012). Learning and Reasoning about Norms using Neural-Symbolic Systems. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (pp. 1023-1030).
Peer reviewed

Leite, J., Son, T. C., Torroni, P., van der Torre, L., & Woltran, S. (2012). Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. In Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV.
Peer reviewed

Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2012). Modelling defeasible and prioritized support in bipolar argumentation. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 163-197. doi:10.1007/s10472-012-9317-7
Peer reviewed

Boella, G., Hulstijn, J., Humphreys, L., Janssen, M., & van der Torre, L. (2012). Towards Legal Knowledge Management Systems for Regulatory Compliance. In IX Conference of the Italian Chapter of AIS (pp. 1-8).
Peer reviewed

Fisher, M., van der Torre, L., Dastani, M., & Governantori, G. (2012). Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII. In Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII.
Peer reviewed

Turrini, P., Parent, X., van der Torre, L., & Colombo Tosatto, S. (2012). Contrary-To-Duties in Games. In Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (pp. 329-348). Springer.
Peer reviewed

Broersen, J., Gabbay, D. M., & van der Torre, L. (2012). Discussion Paper: Changing Norms Is Changing Obligation Change. In Deontic Logic in Computer Science (pp. 199-214). Springer.
Peer reviewed

Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2012). A logic of argumentation for specification and verification of abstract argumentation frameworks. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 199-230. doi:10.1007/s10472-012-9318-6
Peer reviewed

Andrighetto, G., Governatori, G., Noriega, P., & van der Torre, L. (2012). Normative Multi-Agent Systems. Dagstuhl Reports, 2 (3), 23-49.
Peer reviewed

Boella, G., di Caro, L., Humphreys, L., Robaldo, L., & van der Torre, L. (2012). NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge. In Language Resources and Evaluation (LREC) (pp. 3672-3678). European Language Resources Association (ELRA).
Peer reviewed

Vesic, S., & van der Torre, L. (2012). Beyond Maxi-Consistent Argumentation Operators. In 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 (pp. 424-436). doi:10.1007/978-3-642-33353-8_33
Peer reviewed

Garcia Becerro, F., Sousa, S., Slavkovik, M., & van der Torre, L. (2012). Selecting judgment aggregation rules for NAO robots: an experimental approach. In Selecting judgment aggregation rules for NAO robots: an experimental approach (pp. 1403-1404).
Peer reviewed

Dastani, M., van der Torre, L., & York-Smith, N. (2012). Monitoring Interaction in Organisations. Proceedings of the 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN@AAMAS 2012).
Peer reviewed

Rienstra, T., Perotti, A., Villata, S., & van der Torre, L. (16 July 2011). Multi-sorted Argumentation. Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 7132, 215-231. doi:10.1007/978-3-642-29184-5_14
Peer reviewed

Lang, J., Pigozzi, G., Slavkovik, M., & van der Torre, L. (12 July 2011). Judgment aggregation rules based on minimization. Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11), XIII, 238–246. doi:10.1145/2000378.2000407
Peer reviewed

Caire, P., Alcalde, B., van der Torre, L., & Genon, N. (2011). Towards Temporal Conviviality Measures. Benelux Conference on Artificial Intelligence, 14-25.
Peer reviewed

Boella, G., Colombo Tosatto, S., d'Avila Garcez, A., Genovese, V., Ienco, D., & van der Torre, L. (2011). Neural Symbolic Architecture for Normative Agents. In In Proceedings of The Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). May, 2011.
Peer reviewed

Boella, G., Pigozzi, G., Slavkovik, M., & van der Torre, L. (2011). A Satisficing Agreements Model. Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT). doi:10.1109/WI-IAT.2011.232
Peer reviewed

Boella, G., Colombo Tosatto, S., d'Avila Garcez, A., Genovese, V., & van der Torre, L. (2011). Embedding Normative Reasoning into Neural Symbolic Systems. In Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning.
Peer reviewed

van der Meyden, R., & van der Torre, L. (2011). Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). Journal of Applied Logic, 9 (2), 81–82. doi:10.1016/j.jal.2011.02.001
Peer Reviewed verified by ORBi

Boella, G., Gabbay, D. M., Perotti, A., van der Torre, L., & Villata, S. (2011). Argumentative Agents Negotiating on Potential Attacks. In KES-AMSTA (pp. 280–290). Springer. doi:10.1007/978-3-642-22000-5\_30
Peer reviewed

Aucher, G., Barker, S., Boella, G., Genovese, V., & van der Torre, L. (2011). Dynamics in Delegation and Revocation Schemes: A Logical Approach. In DBSec (pp. 90–105). Springer. doi:10.1007/978-3-642-22348-8\_9
Peer reviewed

Ganesan, V., Slavkovik, M., Sousa, S., & van der Torre, L. (2011). Judgment Aggregation for Cooperative Anchoring on the NAO Robots. Works-in-progress track - 3rd International Conference on Social Robotics.
Peer reviewed

Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2011). Arguing about the Trustworthiness of the Information Sources. In ECSQARU (pp. 74–85). Springer. doi:10.1007/978-3-642-22152-1\_7
Peer reviewed

Rotolo, A., & van der Torre, L. (2011). Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems. In RuleML Europe (pp. 52–66). Springer. doi:10.1007/978-3-642-22546-8\_6
Peer reviewed

Villata, S., Boella, G., & van der Torre, L. (2011). Attack Semantics for Abstract Argumentation. In Attack Semantics for Abstract Argumentation (pp. 406–413). IJCAI/AAAI.
Peer reviewed

Aucher, G., Boella, G., & van der Torre, L. (2011). A dynamic logic for privacy compliance. Artificial Intelligence and Law, 187-231. doi:10.1007/s10506-011-9114-3
Peer reviewed

Caire, P., Alcalde, B., van der Torre, L., & Sombattheera, C. (2011). Conviviality Measures. Proceedings of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), 895-902.
Peer reviewed

Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2010). Arguing about Trust in Multiagent Systems. Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 236–243.
Peer reviewed

Boella, G., Governatori, G., Rotolo, A., & van der Torre, L. (2010). A Logical Understanding of Legal Interpretation. KR 2010, 1-1.
Peer reviewed

Aucher, G., Boella, G., & van der Torre, L. (2010). Privacy Policies with Modal Logic: The Dynamic Turn. DEON, 196–213. doi:10.1007/978-3-642-14183-6_15
Peer reviewed

Boella, G., Gabbay, D. M., van der Torre, L., & Villata, S. (2010). Support in Abstract Argumentation. Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), 40–51. doi:10.3233/978-1-60750-619-5-111
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2010). Trust in Abstract Argumentation. Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10). doi:10.3233/978-1-60750-619-5-111
Peer reviewed

Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2010). Higher-Order Coalition Logic. Bibliothèque(s): Revue de l'Association des Bibliothécaires de France, 555–560. doi:10.3233/978-1-60750-606-5-555
Peer reviewed

van der Torre, L. (2010). Deontic Redundancy: A Fundamental Challenge for Deontic Logic. DEON, 11–32. doi:10.1007/978-3-642-14183-6_4
Peer reviewed

Genovese, V., Rispoli, D., Gabbay, D. M., & van der Torre, L. (2010). Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving. STAIRS 2010, 114-126. doi:10.3233/978-1-60750-676-8-114
Peer reviewed

Caire, P., & van der Torre, L. (2010). Convivial ambient technologies: Requirements, ontology, and design. Computer Journal, 53 (8), 1229–1256. doi:10.1093/comjnl/bxp012
Peer Reviewed verified by ORBi

Boella, G., Pigozzi, G., Slavkovik, M., & van der Torre, L. (2010). Group Intentions are Social Choice with Commitment. Proceedings of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10), 115–133. doi:10.1007/978-3-642-21268-0_9
Peer reviewed

Boella, G., Pigozzi, G., & van der Torre, L. (2009). Five guidelines for normative multiagent systems. In Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems. IOS Press. doi:10.3233/978-1-60750-082-7-21
Peer reviewed

Boella, G., Sauro, L., & van der Torre, L. (20 May 2009). Algorithms for finding coalitions exploiting a new reciprocity condition. Logic Journal of the IGPL, 17 (3), 273–297. doi:10.1093/jigpal/jzp008
Peer reviewed

Caire, P., & van der Torre, L. (2009). Temporal Dependence Networks for the Design of Convivial Multiagent Systems. Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1317–1318.
Peer reviewed

Caire, P., & van der Torre, L. (2009). The Design of Convivial Multiagent Systems. In Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, April 6-9, 2009 at the Heriot-Watt University, Edinburgh (Scotland).
Peer reviewed

Boella, G., Broersen, J., van der Torre, L., & Villata, S. (2009). Representing Excuses in Social Dependence Networks. In AI*IA. Springer. doi:10.1007/978-3-642-10291-2_37
Peer reviewed

Boella, G., Hulstijn, J., & van der Torre, L. (2009). Social network semantics for agent communication. In Social network semantics for agent communication (pp. 1215–1216). IFAAMAS.
Peer reviewed

Boella, G., Gabbay, D. M., van der Torre, L., & Villata, S. (2009). Meta-Argumentation part 1. Studia Logica. doi:10.1007/s11225-009-9213-2
Peer reviewed

Sauro, L., van der Torre, L., & Villata, S. (2009). Dependency in Cooperative Boolean Games. In Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings (pp. 1–10). Springer. doi:10.1007/978-3-642-01665-3_1
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2009). Analyzing Cooperation in Iterative Social Network Design. Journal of Universal Computer Science, 15 (13). doi:10.3217/jucs-015-13-2676
Peer Reviewed verified by ORBi

Boella, G., Broersen, J., van der Torre, L., & Villata, S. (2009). A Normative Multiagent Approach to Requirements Engineering. In Postproceedings COIN@AAMAS 2009. Springer.
Peer reviewed

Boella, G., Kaci, S., & van der Torre, L. (2009). Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings (pp. 107–118). Springer. doi:10.1007/978-3-642-02906-6_11
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2009). Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics. Proceedings of COIN.
Peer reviewed

Boella, G., Pigozzi, G., & van der Torre, L. (2009). Normative framework for normative system change. In Normative framework for normative system change (pp. 169–176). IFAAMAS.
Peer reviewed

Boella, G., & van der Torre, L. (2009). The Interplay between Relationships, Roles and Objects. In Proceedings of FSEN09. Springer. doi:10.1007/978-3-642-11623-0_24
Peer reviewed

Pigozzi, G., Slavkovik, M., & van der Torre, L. (2009). A complete conclusion-based procedure for judgment aggregation. In Proceedings of the First International Conference on Algorithmic Decision Theory (ADT) (pp. 1–13). Springer Verlag. doi:10.1007/978-3-642-04428-1_1
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2009). Four measures for the dynamics of coalitions in social networks. In Four measures for the dynamics of coalitions in social networks (pp. 361–362). ACM. doi:10.1145/1557914.1557989
Peer reviewed

Baldoni, M., Boella, G., Genovese, V., Grenna, R., Mugnaini, A., & van der Torre, L. (2009). A Middleware for modeling Organizations and Roles in Jade. Proceedings of PROMAS. doi:10.1007/978-3-642-14843-9_7
Peer reviewed

Boella, G., Pereira, C. D. C., Pigozzi, G., Tettamanzi, A., & van der Torre, L. (2009). The role of goals in belief selection. Logic Journal of the IGPL. doi:10.1093/jigpal/jzp038
Peer reviewed

Parent, X., & van der Torre, L. (2009). Input/output logics. Abstract book of 9th De Morgan Workshop on Deontic Logic. doi:10.1023/A:1004748624537
Peer reviewed

Boella, G., Genovese, V., van der Torre, L., & Villata, S. (2009). Checking Consistency in role oriented Dependence Networks. BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 27 - 34.

Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2009). Fibred security language. Studia Logica, 395-436. doi:10.1007/s11225-009-9201-6

Boella, G., van der Torre, L., & Villata, S. (2009). On the Acceptability of Meta-Arguments. Proceedings of IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 259-262. doi:10.1109/WI-IAT.2009.159
Peer reviewed

Boella, G., Caire, P., & van der Torre, L. (2009). Norm Negotiation in Online Multi-Player Games. Knowledge & Information Systems, 18 (2), 137–156. doi:10.1007/s10115-008-0162-2
Peer reviewed

Boella, G., Pigozzi, G., & van der Torre, L. (2009). Normative systems in computer science. Ten guidelines for normative multiagent systems. Normative Multi-agent Systems.
Peer reviewed

Caire, P., & van der Torre, L. (2009). A Conviviality Measure for Early Requirement Phase of Multiagent System Design. Normative Multi-agent Systems.
Peer reviewed

Caire, P., Villata, S., Boella, G., & van der Torre, L. (2008). Conviviality masks in multiagent systems. In Conviviality Masks in Multiagent Systems (pp. 1265–1268). IFAAMAS.
Peer reviewed

Pigozzi, G., Slavkovik, M., & van der Torre, L. (2008). Conclusion-based procedure for judgment aggregation satisfying premise independence. Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008, 35.
Peer reviewed

Kaci, S., & van der Torre, L. (2008). Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms. Annals of Operations Research, 163 (1), 89–114. doi:10.1007/s10479-008-0331-4
Peer reviewed

Boella, G., & van der Torre, L. (2008). Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic, 6 (2), 152–171. doi:10.1016/j.jal.2007.06.006
Peer Reviewed verified by ORBi

Boella, G., Broersen, J., & van der Torre, L. (2008). Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (pp. 86–97). Springer. doi:10.1007/978-3-540-89674-6_12
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2008). Social Viewpoints for Arguing about Coalitions. In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (pp. 66–77). Springer. doi:10.1007/978-3-540-89674-6_10
Peer reviewed

Lang, J., & van der Torre, L. (2008). From belief change to preference change. Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008). doi:10.3233/978-1-58603-891-5-351
Peer reviewed

Pigozzi, G., & van der Torre, L. (2008). From belief change to norm change. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, 51–52.
Peer reviewed

Rotolo, A., Boella, G., Governatori, G., Hulstijn, J., Riveret, R., & van der Torre, L. (2008). Time and Defeasibility in FIPA ACL Semantics. Proceedings of WLIAMAS 2008. doi:10.1109/WIIAT.2008.275
Peer reviewed

Baldoni, M., Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2008). How to Program Organizations and Roles in the JADE Framework. In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (pp. 25–36). Springer. doi:10.1007/978-3-540-87805-6_4
Peer reviewed

Boella, G., Pereira, C. D. C., Tettamanzi, A., & van der Torre, L. (2008). Making Others Believe What They Want. In Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream (pp. 215–224). Springer. doi:10.1007/978-0-387-09695-7_21
Peer reviewed

Broersen, J., & van der Torre, L. (2008). Conditional norms and dyadic obligations. Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008). doi:10.3233/978-1-58603-891-5-883
Peer reviewed

Grossi, D., Gabbay, D. M., & van der Torre, L. (2008). A Normative View on The Blocks World. Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08), 128–142.
Peer reviewed

Genovese, V., Grenna, R., van der Torre, L., & Baldoni, M. (2008). Adding Organizations and Roles as Primitives to JADE Framework. Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08, 95–111.
Peer reviewed

Kaci, S., & van der Torre, L. (2008). Preference-based argumentation: Arguments supporting multiple values. International Journal of Approximate Reasoning, 48 (3), 730–751. doi:10.1016/j.ijar.2007.07.005
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2008). Changing Institutional Goals and Beliefs of Autonomous Agents. In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (pp. 78–85). Springer. doi:10.1007/978-3-540-89674-6
Peer reviewed

Pigozzi, G., Slavkovik, M., & van der Torre, L. (2008). Independence in judgment aggregation. Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08. doi:10.3233/978-1-61499-419-0-1055
Peer reviewed

Barbini, P., Boella, G., Rossi, P.-C., & van der Torre, L. (2008). E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms. Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008).
Peer reviewed

Zhou, Y., van der Torre, L., & Zhang, Y. (2008). Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity. Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1, 413–420.
Peer reviewed

Boella, G., van der Torre, L., & Verhagen, H. (2008). Introduction to the special issue on normative multiagent systems. Autonomous Agents & Multi-Agent Systems, 17 (1), 1–10. doi:10.1007/s10458-008-9047-8
Peer reviewed

Boella, G., van der Torre, L., & Villata, S. (2008). Self Adaptive Coalitions in Multiagent Systems. Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), 461–462. doi:10.1109/SASO.2008.63
Peer reviewed

Boella, G., & van der Torre, L. (2008). Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law, 16 (1), 53–71. doi:10.1007/s10506-007-9059-8
Peer reviewed

Pigozzi, G., Slavkovik, M., & van der Torre, L. (2008). Desirable Tie-breaking Rules in Collective Decision Making. Annales du LAMSADE, 171–174.
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2007). Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. In Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (pp. 149–164). Springer. doi:10.1007/978-3-540-71956-4_9
Peer reviewed

Pigozzi, G., & van der Torre, L. (2007). Premise Independence in Judgment Aggregation. In Formal Models of Belief Change in Rational Agents. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI).
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2007). Relationships Meet Their Roles in Object Oriented Programming. In International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (pp. 440–448). Springer. doi:10.1007/978-3-540-75698-9_32
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2007). Interaction between Objects in powerJava. Journal of Object Technology, 6 (2). doi:10.5381/jot.2007.6.2.a1
Peer Reviewed verified by ORBi

Kaci, S., van der Torre, L., & Weydert, E. (2007). On the Acceptability of Incompatible Arguments. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings (pp. 247–258). Springer. doi:10.1007/978-3-540-75256-1_24
Peer reviewed

Boella, G., Sauro, L., & van der Torre, L. (2007). From Social Power to Social Importance. Web Intelligence and Agent Systems Journal, (5), 393–404.
Peer Reviewed verified by ORBi

Boella, G., Hulstijn, J., Governatori, G., Riveret, R., Rotolo, A., & van der Torre, L. (2007). FIPA Communicative Acts in Defeasible Logic. Proceedings of NRAC'07.
Peer reviewed

Boella, G., & van der Torre, L. (2007). A Game-Theoretic Approach to Normative Multi-Agent Systems. Normative Multi-agent Systems.
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2007). Adding Roles to Relationship Patterns. Proceedings of WOA07.
Peer reviewed

Broersen, J., & van der Torre, L. (2007). Reasoning About Norms, Obligations, Time and Agents. In PRIMA. Springer. doi:10.1007/978-3-642-01639-4_15
Peer reviewed

Arbab, F., de Boer, F. S., Bonsangue, M., Lankhorst, M. M., Proper, H. A., & van der Torre, L. (2007). Integrating Architectural Models. Enterprise Modelling and Information Systems Architectures, 1 (2), 0–57.
Peer Reviewed verified by ORBi

Bosse, T., Jonker, C. M., Los, S. A., van der Torre, L., & Treur, J. (2007). Formal analysis of trace conditioning. Cognitive Systems Research, 8 (1), 36–47. doi:10.1016/j.cogsys.2005.08.001
Peer Reviewed verified by ORBi

Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2007). Merging Roles in Coordination and in Agent Deliberation. In PRIMA. Springer. doi:10.1007/978-3-642-01639-4_6
Peer reviewed

Boella, G., & van der Torre, L. (2007). Power in Norm Negotiation. In Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 – June 1, 2007, Proceedings (pp. 436–446). Springer. doi:10.1007/978-3-540-72830-6_45
Peer reviewed

Hansen, J., Pigozzi, G., & van der Torre, L. (2007). Ten Philosophical Problems in Deontic Logic. Normative Multi-agent Systems.
Peer reviewed

Boella, G., & van der Torre, L. (2007). Norm negotiation in multiagent systems. International Journal of Cooperative Information Systems, 16 (2). doi:10.1142/S0218843007001585
Peer Reviewed verified by ORBi

van der Torre, L., & Boella, G. (2007). An Attacker Model for Normative Multi-agent Systems. In Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings (pp. 42–51). Springer.
Peer reviewed

Dastani, M., Governatori, G., Rotolo, A., Song, I., & van der Torre, L. (2007). Contextual Agent Deliberation in Defeasible Logic. In PRIMA. Springer. doi:10.1007/978-3-642-01639-4_9
Peer reviewed

Baldoni, M., Boella, G., Genovese, V., & van der Torre, L. (2007). Roles in Coordination and in Agent Deliberation: A Merger of Concepts. Proceedings of AWESOME07.
Peer reviewed

Boella, G., Damiano, R., Hulstijn, J., & van der Torre, L. (2007). Distinguishing Propositional and Action Commitment in Agent Communication. Proceedings of CMNA'07.
Peer reviewed

Boella, G., Pereira, C. D. C., Pigozzi, G., Tettamanzi, A., & van der Torre, L. (2007). Choosing Your Beliefs. Normative Multi-agent Systems.
Peer reviewed

Boella, G., Pereira, C. D. C., Pigozzi, G., Tettamanzi, A., & van der Torre, L. (2007). What You should Believe. Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007).
Peer reviewed

Boella, G., Damiano, R., Hulstijn, J., & van der Torre, L. (2007). A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles. Applied Ontology, (2), 217–265.
Peer reviewed

van der Torre, L., & Boella, G. (2007). The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law, 15 (3), 201–221. doi:10.1007/s10506-007-9030-8
Peer reviewed

Booth, R., Kaci, S., & van der Torre, L. (2006). Merging Rules: Preliminary Version [Paper presentation]. Proceedings of the NMR'06.

Boella, G., & van der Torre, L. (2006). A Foundational Ontology of Organizations and Roles. In Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06) (pp. 78–88). springer. doi:10.1007/11961536_6
Peer reviewed

Boella, G., & van der Torre, L. (2006). Delegation of Power in Normative Multiagent Systems. In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (pp. 36–52). Springer. doi:10.1007/11786849_6
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005 (pp. 57–75). Springer. doi:10.1007/11678823_4
Peer reviewed

Boella, G., & van der Torre, L. (2006). Constitutive Norms in the Design of Normative Multiagent Systems. In Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI) (pp. 303–319). Springer. doi:10.1007/11750734_17
Peer reviewed

Garion, C., & van der Torre, L. (2006). Design By Contract Deontic Design Language for Multiagent Systems. In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (pp. 170–182). Springer. doi:10.1007/11775331_12
Peer reviewed

Boella, G., & van der Torre, L. (2006). A Logical Architecture of a Normative System. In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (pp. 24–35). Springer. doi:10.1007/11786849_5
Peer reviewed

Boella, G., & van der Torre, L. (2006). Game-Theoretic Foundations for Norms. In Procs. of Artificial Intelligence Studies (pp. 39–51).
Peer reviewed

Bosse, T., Jonker, C., Los, S., van der Torre, L., & Treur, J. (2006). Formalisation and Analysis of the Temporal Dynamics of Conditioning. In Agent-Oriented Software Engineering VI (pp. 54–68). springer. doi:10.1007/11752660_5
Peer reviewed

Boella, G., & van der Torre, L. (2006). An architecture of a normative system. ACM. doi:10.1145/1160633.1160671

van der Torre, L., Lankhorst, M., ter Doest, H., Campschroer, J., & Arbab, F. (2006). Landscape Maps for Enterprise Architectures. In Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings (pp. 351–366). Springer. doi:10.1007/11767138_24
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). Roles as a Coordination Construct: Introducing powerJava. Electronic Notes in Theoretical Computer Science, 150 (1), 9–29. doi:10.1016/j.entcs.2005.12.021
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). Modelling the Interaction Between Objects: Roles as Affordances. In Knowledge Science, Engineering and Management, First International Conference, KSEM 2006 (pp. 42–54). Springer. doi:10.1007/11811220_5
Peer reviewed

Boella, G., Damiano, R., Hulstijn, J., & van der Torre, L. (2006). ACL Semantics between Social Commitments and Mental Attitudes. Springer. doi:10.1007/978-3-540-68143-4_3

Boella, G., Hulstijn, J., & van der Torre, L. (2006). A Logic of Abstract Argumentation. In Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers (pp. 29–41). Springer. doi:10.1007/11794578_2
Peer reviewed

Kaci, S., van der Torre, L., & Weydert, E. (2006). Acyclic Argumentation: Attack = Conflict + Preference. In Acyclic Argumentation: Attack = Conflict + Preference (pp. 725–726). IOS Press.
Peer reviewed

Boella, G., Hulstijn, J., Tan, Y., & van der Torre, L. (2006). Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation. In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (pp. 114–126). Springer. doi:10.1007/11775331_8
Peer reviewed

Boella, G., & van der Torre, L. (2006). Coordination and Organization: Definitions, Examples and Future Research Directions. Electronic Notes in Theoretical Computer Science, 150 (3), 3–20. doi:10.1016/j.entcs.2006.03.002
Peer reviewed

Stam, A., Jacob, J., de Boer, F. S., Bonsangue, M., & van der Torre, L. (2006). Using XML Transformations for Enterprise Architectures. In Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (pp. 42–56). Springer. doi:10.1007/11925040_4
Peer reviewed

Kaci, S., & van der Torre, L. (2006). Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. In Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings. Springer. doi:10.1007/11786849_14
Peer reviewed

Boella, G., & van der Torre, L. (2006). Organizations in Artificial Social Systems. In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (pp. 198–210). Springer. doi:10.1007/11775331_14
Peer reviewed

Kaci, S., & van der Torre, L. (2006). Merging Optimistic and Pessimistic Preferences. Proceedings of FUSION 2006. doi:10.1109/ICIF.2006.301738
Peer reviewed

Boella, G., Damiano, R., Hulstijn, J., & van der Torre, L. (2006). Role-Based Semantics for Agent Communication: Embedding of the `Mental Attitudes' and `Social Commitments' Semantics. In Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06) (pp. 688–690). ACM. doi:10.1145/1160633.1160756
Peer reviewed

Kaci, S., & van der Torre, L. (2006). Preference reasoning for argumentation: non-monotonicity and algorithms. Proceedings of the NMR'06.
Peer reviewed

Boella, G., & van der Torre, L. (2006). Preface. Electronic Notes in Theoretical Computer Science, 150 (3), 1–2. doi:10.1016/j.entcs.2006.03.001
Peer reviewed

Boella, G., van der Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational and Mathematical Organization Theory, 12 (2-3), 71–79. doi:10.1007/s10588-006-9537-7
Peer Reviewed verified by ORBi

Boella, G., & van der Torre, L. (2006). A Game Theoretic Approach to Contracts in Multiagent Systems. IEEE Transactions on Systems, Man and Cybernetics. Part C, Applications and Reviews, 36 (1), 68–79. doi:10.1109/TSMCC.2005.860576
Peer Reviewed verified by ORBi

Boella, G., & van der Torre, L. (2006). Security Policies for Sharing Knowledge in Virtual Communities. IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans, 36 (3), 439–450. doi:10.1109/TSMCA.2006.871793
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli. Networks: Rivista di Filosofia del l'Intelligenza Artificiale e Scienze Cognitive, 6.
Peer reviewed

Boella, G., Sauro, L., & van der Torre, L. (2006). Strengthening Admissible Coalitions. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), 195–199.
Peer reviewed

Boella, G., & van der Torre, L. (2006). Fair Distribution of Collective Obligations. Proceedings of the 17th European Conference on Artificial Intelligence(ECAI'06), 721–722.
Peer reviewed

Boella, G., & van der Torre, L. (2006). Count-As Conditionals, Classification and Context. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), 719–720.
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). powerJava: ontologically founded roles in object oriented programming language. Proceedings of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06), 1414–1418.
Peer reviewed

Baldoni, M., Boella, G., & van der Torre, L. (2006). Interaction among objects via roles: sessions and affordances in powerJava. Proceedings of Principles and Practice of Programming in Java (PPPJ'06), 188–193.
Peer reviewed

Boella, G., Hulstijn, J., & van der Torre, L. (2006). The Roles of Roles in Agent Communication Languages. Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), 381–384. doi:10.1109/IAT.2006.119
Peer reviewed

Contact ORBilu