Leendert W. N. van der Torre

ORCID

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 43

Top Venues

Publications

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287 (2020)
George Anthony Gal, Cristiana Santos, Lucien Rapp, Réka Markovich, Leendert W. N. van der Torre
Artificial intelligence in space. CoRR (2020)
Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as Commitment toward Time. CoRR (2020)
Livio Robaldo, Leendert W. N. van der Torre
Introduction to Legal AI. FLAP 6 (5) (2019)
Beishui Liao, Marija Slavkovik, Leendert W. N. van der Torre
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. AIES (2019)
Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
. LORI (2019)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR (2019)
Marcos Cramer, Leendert W. N. van der Torre
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. CoRR (2019)
Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay
Argumentation as Exogenous Coordination. It's All About Coordination (2018)
Beishui Liao, Marija Slavkovik, Leendert W. N. van der Torre
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. CoRR (2018)
Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR (2018)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
A Deontic Logic Reasoning Infrastructure. CiE (2018)
Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre
A Dynamic Approach for Combining Abstract Argumentation Semantics. CLAR (2018)
Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre
Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. COMMA (2018)
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Dagstuhl Manifestos 7 (1) (2018)
Xavier Parent, Leendert W. N. van der Torre
I/O Logics with a Consistency Check. DEON (2018)
Souhila Kaci, Leendert W. N. van der Torre, Serena Villata
Preference in Abstract Argumentation. COMMA (2018)
Beishui Liao, Leendert W. N. van der Torre
Representation Equivalences Among Argumentation Frameworks. COMMA (2018)
Andreia P. Costa, Louise Charpiot, Francisco J. Rodríguez Lera, Pouyan Ziafati, Aida Nazarikhorram, Leendert W. N. van der Torre, Georges Steffgen
More Attention and Less Repetitive and Stereotyped Behaviors using a Robot with Children with Autism. RO-MAN (2018)
Leendert W. N. van der Torre, Marc van Zee
Rational Enterprise Architecture. IEA/AIE (1) (2017)
Xavier Parent, Leendert W. N. van der Torre
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 4 (9) (2017)
Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. Minds Mach. 27 (1) (2017)
Gabriella Pigozzi, Leendert W. N. van der Torre
Editorial. FLAP 4 (9) (2017)
Cristiana Santos, Pompeu Casanovas, Víctor Rodríguez-Doncel, Leendert W. N. van der Torre
Reuse and Reengineering of Non-ontological Resources in the Legal Domain. AICOL (2017)
Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert W. N. van der Torre
Combining fuzzy logic and formal argumentation for legal interpretation. ICAIL (2017)
Gabriella Pigozzi, Leendert W. N. van der Torre
Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective. FLAP 4 (9) (2017)
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith
Commitments and interaction norms in organisations. Auton. Agents Multi Agent Syst. 31 (2) (2017)
Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A). AICOL (2017)
Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata
Prioritized Norms in Formal Argumentation. CoRR (2017)
Beishui Liao, Leendert W. N. van der Torre
Defense semantics of argumentation: encoding reasons for accepting arguments. CoRR (2017)
Xavier Parent, Leendert W. N. van der Torre
The pragmatic oddity in norm-based deontic logics. ICAIL (2017)
Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. CoRR (2017)
Célia da Costa Pereira, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Andrea G. B. Tettamanzi, Leendert W. N. van der Torre, Serena Villata
Handling Norms in Multi-agent Systems by Means of Formal Argumentation. FLAP 4 (9) (2017)
Leendert W. N. van der Torre
Norms and Arguments. CLAR (2016)
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith
Commitments and Interaction Norms in Organisations: JAAMAS Extended Abstract. AAMAS (2016)
Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre
Cumulative aggregation. DEON (2016)
Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata
Prioritized Norms and Defaults in Formal Argumentation. DEON (2016)
Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre, Srdjan Vesic
Majority-preserving judgment aggregation rules. CoRR (2015)
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9 (1) (2015)
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). Dagstuhl Reports 5 (8) (2015)
Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert W. N. van der Torre
Consistency Conditions for Beliefs and Intentions. AAAI Spring Symposia (2015)
Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre
Persistence and Monotony Properties of Argumentation Semantics. TAFA (2015)
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre
AGM Revision of Beliefs about Action and Time. IJCAI (2015)
Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. DEON (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. CoRR (2014)
Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). J. Log. Comput. 24 (6) (2014)
Guido Boella, Llio Humphreys, Robert Muthuri, Piercarlo Rossi, Leendert W. N. van der Torre
A critical analysis of legal requirements engineering from the perspective of legal practice. RELAW (2014)
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia (2014)
João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. 24 (6) (2014)
Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata
On the Input/Output behavior of argumentation frameworks. Artif. Intell. 217 (2014)
Xavier Parent, Leendert W. N. van der Torre
"Sing and Dance!" - Input/Output Logics without Weakening. DEON (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI (2014)
Leendert W. N. van der Torre, Serena Villata
An ASPIC-based legal argumentation framework for deontic reasoning. COMMA (2014)
Sepideh Ghanavati, Llio Humphreys, Guido Boella, Luigi Di Caro, Livio Robaldo, Leendert W. N. van der Torre
Compliance with Multiple Regulations. ER (2014)
Xin Sun, Leendert W. N. van der Torre
Combining Constitutive and Regulative Norms in Input/Output Logic. DEON (2014)
Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata
Social Interaction Based Audience Segregation for Online Social Networks. ECSI (2014)
Diana Marosin, Leendert W. N. van der Torre
Changing Commitments Based on Reasons and Assumptions. COIN@AAMAS/PRIMA (2013)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Monotonic and Nonmonotonic Inference for Abstract Argumentation. FLAIRS Conference (2013)
Leendert W. N. van der Torre, Yao-Hua Tan
An Update Semantics for Defeasible Obligations CoRR (2013)
Guido Boella, Silvano Colombo Tosatto, Sepideh Ghanavati, Joris Hulstijn, Llio Humphreys, Robert Muthuri, André Rifaut, Leendert W. N. van der Torre
Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution. AICOL (2013)
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
Algorithms for Basic Compliance Problems. ICST Workshops (2013)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
A Logical Theory about Dynamics in Abstract Argumentation. SUM (2013)
Patrice Caire, Leendert W. N. van der Torre, Serena Villata
Argumentation Theoretic Foundations for Abstract Dependence Networks. AT (2013)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
A socio-cognitive model of trust using argumentation theory. Int. J. Approx. Reason. 54 (4) (2013)
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
Event-processing in autonomous robot programming. AAMAS (2013)
Alessio Antonini, Cecilia Blengino, Guido Boella, Leendert W. N. van der Torre
The Construction of Models and Roles in Normative Systems. AICOL (2013)
Guido Boella, Marijn Janssen, Joris Hulstijn, Llio Humphreys, Leendert W. N. van der Torre
Managing legal interpretation in regulatory compliance. ICAIL (2013)
Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata
On Input/Output Argumentation Frameworks. COMMA (2012)
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith
A programming approach to monitoring communication in an organisational environment. AAMAS (2012)
Srdjan Vesic, Leendert W. N. van der Torre
Beyond Maxi-Consistent Argumentation Operators. JELIA (2012)
Diana Marosin, Henderik Alex Proper, Leendert W. N. van der Torre
Changing Agreements: Intention Reconsideration based on Assumptions and Reasons. AT (2012)
Guido Boella, Patrice Caire, Leendert W. N. van der Torre, Serena Villata
Dependence Networks for Agreement Technologies. AT (2012)
Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
Discussion Paper: Changing Norms Is Changing Obligation Change. DEON (2012)
Vijayalakshmi Ganesan, Sergio Sousa, Marija Slavkovik, Leendert W. N. van der Torre
Selecting judgment aggregation rules for NAO robots: an experimental approach. AAMAS (2012)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
Modelling defeasible and prioritized support in bipolar argumentation. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Joris Hulstijn
A logic of argumentation for specification and verification of abstract argumentation frameworks. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Conditional Acceptance Functions. COMMA (2012)
Leendert W. N. van der Torre
Logics for Security and Privacy. DBSec (2012)
Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata
Visualizing Normative Systems: An Abstract Approach. DEON (2012)
Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre
Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS (2012)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre
Learning and reasoning about norms using neural-symbolic systems. AAMAS (2012)
Guido Boella, Leendert W. N. van der Torre
Reasoning for Agreement Technologies. ECAI (2012)
Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith
Monitoring Interaction in Organisations. COIN@AAMAS (2012)
Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto
Contrary-To-Duties in Games. Logic Programs, Norms and Action (2012)
Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata
Abstract Normative Systems: Semantics and Proof Theory. KR (2012)
Serena Villata, Guido Boella, Leendert W. N. van der Torre
Attack Semantics for Abstract Argumentation. IJCAI (2011)
Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata
Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA (2011)
Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata
Conditional Labelling for Abstract Argumentation. TAFA (2011)
Antonino Rotolo, Leendert W. N. van der Torre
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems. RuleML Europe (2011)
Jan M. Broersen, Leendert W. N. van der Torre
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ESSLLI (2011)
Guido Boella, Llio Humphreys, Marco Martin, Piercarlo Rossi, Leendert W. N. van der Torre
Eunomos, a Legal Document and Knowledge Management System to Build Legal Services. AICOL (2011)
Patrice Caire, Baptiste Alcalde, Leendert W. N. van der Torre, Chattrakul Sombattheera
Conviviality measures. AAMAS (2011)
Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre
Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec (2011)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
Arguing about the Trustworthiness of the Information Sources. ECSQARU (2011)
Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert W. N. van der Torre
Multi-sorted Argumentation. TAFA (2011)
Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre
Judgment aggregation rules based on minimization. TARK (2011)
Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre
A Satisficing Agreements Model. Web Intelligence/IAT Workshops (2011)
Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre
A dynamic logic for privacy compliance. Artif. Intell. Law 19 (2-3) (2011)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre
Neural symbolic architecture for normative agents. AAMAS (2011)
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre
Time and defeasibility in FIPA ACL semantics. J. Appl. Log. 9 (4) (2011)

Leendert W. N. van der Torre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leendert W. N. van der Torre