Leendert van der Torre - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 148

2023

Deontic Equilibrium Logic with eXplicit NegationPedro Cabalar, Agata Ciabattoni, Leendert van der Torre. jelia 2023: 498-514 [doi]

Weakest Link in Formal Argumentation: Lookahead and Principle-Based AnalysisChen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu. phoenix 2023: 61-83 [doi]

Normative Reasoning for AI (Dagstuhl Seminar 23151)Agata Ciabattoni, John F. Horty, Marija Slavkovik 0001, Leendert van der Torre, Aleks Knoks. dagstuhl-reports, 13(4):1-23, 2023. [doi]

An argumentation semantics for rational human evaluation of argumentsMarcos Cramer, Leendert van der Torre. frai, 6, February 2023. [doi]

Rights and Practical Reasoning in Deontic LogicHuimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee. deon 2023: 1-19

Space and Artificial Intelligence (Dagstuhl Seminar 23461)Saso Dzeroski, Holger H. Hoos, Bertrand Le Saux, Leendert van der Torre, Ana Kostovska. dagstuhl-reports, 13(11):72-102, 2023. [doi]

What Should I Do and Why?Joris Hulstijn, Leendert van der Torre. deon 2023: 335-336

Reason-Based DetachmentAleks Knoks, Leendert van der Torre. deon 2023: 339-340

The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and ArgumentationBeishui Liao, Pere Pardo, Marija Slavkovik 0001, Leendert van der Torre. jair, 77:737-792, 2023. [doi]

Arguing About Choosing a Normative System: Conflict of LawsKees van Berkel 0002, Réka Markovich, Christian Straßer, Leendert van der Torre. jurix 2023: 73-82 [doi]

Exploration des sémantiques d'argumentation bipolaire : une analyse basée sur les principesLiuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre. jiaf 2023: 39-41 [doi]

A Principle-Based Analysis of Bipolar Argumentation SemanticsLiuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre. jelia 2023: 209-224 [doi]

2022

2021

Base Argumentation as an Abstraction of Deductive ArgumentationJinsheng Chen, Beishui Liao, Leendert van der Torre. phoenix 2021: 468-476 [doi]

New Weak Admissibility Semantics for Abstract ArgumentationJérémie Dauphin, Tjitze Rienstra, Leendert van der Torre. phoenix 2021: 112-126 [doi]

Populating legal ontologies using semantic role labelingLlio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri. ail, 29(2):171-211, 2021. [doi]

Input/Output Logic With a Consistency Check - the Case of PermissionMaya Olszewski, Xavier Parent, Leendert van der Torre. deon 2021: 358-375

If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper ModalityKees van Berkel 0002, Dov M. Gabbay, Leendert van der Torre. deon 2021: 36-55

A Principle-based Analysis of Abstract Agent Argumentation SemanticsLiuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre. kr 2021: 629-640 [doi]

2020

2014

On the Input/Output behavior of argumentation frameworksPietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, Serena Villata. ai, 217:144-197, 2014. [doi]

A critical analysis of legal requirements engineering from the perspective of legal practiceGuido Boella, Llio Humphreys, Robert Muthuri, Piercarlo Rossi, Leendert van der Torre. RE 2014: 14-21 [doi]

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)Michael Fisher, Leendert van der Torre, Mehdi Dastani, Guido Governatori. logcom, 24(6):1251-1252, 2014. [doi]

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners ScenarioDov M. Gabbay, Livio Robaldo, Xin Sun, Leendert van der Torre, Zohreh Baniasadi. deon 2014: 108-123 [doi]

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert van der Torre. logcom, 24(6):1141-1144, 2014. [doi]

"Sing and Dance!" - Input/Output Logics without WeakeningXavier Parent, Leendert van der Torre. deon 2014: 149-165 [doi]

Combining Constitutive and Regulative Norms in Input/Output LogicXin Sun, Leendert van der Torre. deon 2014: 241-257 [doi]

An ASPIC-based legal argumentation framework for deontic reasoningLeendert van der Torre, Serena Villata. comma 2014: 421-432 [doi]

2013

The Construction of Models and Roles in Normative SystemsAlessio Antonini, Cecilia Blengino, Guido Boella, Leendert van der Torre. aicol 2014: 115-129 [doi]

Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management SolutionGuido Boella, Silvano Colombo Tosatto, Sepideh Ghanavati, Joris Hulstijn, Llio Humphreys, Robert Muthuri, André Rifaut, Leendert van der Torre. aicol 2014: 130-144 [doi]

Managing legal interpretation in regulatory complianceGuido Boella, Marijn Janssen, Joris Hulstijn, Llio Humphreys, Leendert van der Torre. icail 2013: 23-32 [doi]

Monotonic and Nonmonotonic Inference for Abstract ArgumentationRichard Booth, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre. flairs 2013: [doi]

A Logical Theory about Dynamics in Abstract ArgumentationRichard Booth, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre. sum 2013: 148-161 [doi]

Argumentation Theoretic Foundations for Abstract Dependence NetworksPatrice Caire, Leendert van der Torre, Serena Villata. at 2013: 180-194 [doi]

Changing Commitments Based on Reasons and AssumptionsDiana Marosin, Leendert van der Torre. atal 2014: 291-310 [doi]

Algorithms for Basic Compliance ProblemsSilvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma 0002, Leendert van der Torre. icst 2013: 2-7 [doi]

A socio-cognitive model of trust using argumentation theorySerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre. ijar, 54(4):541-559, 2013. [doi]

Event-processing in autonomous robot programmingPouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre. atal 2013: 95-102 [doi]

2012

Reasoning for Agreement TechnologiesGuido Boella, Leendert van der Torre. ecai 2012: 895-896 [doi]

Learning and reasoning about norms using neural-symbolic systemsGuido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert van der Torre. atal 2012: 1023-1030 [doi]

Discussion Paper: Changing Norms Is Changing Obligation ChangeJan Broersen, Dov M. Gabbay, Leendert van der Torre. deon 2012: 199-214 [doi]

A programming approach to monitoring communication in an organisational environmentMehdi Dastani, Leendert van der Torre, Neil Yorke-Smith. atal 2012: 1373-1374 [doi]

Monitoring Interaction in OrganisationsMehdi Dastani, Leendert van der Torre, Neil Yorke-Smith. atal 2013: 17-34 [doi]

Selecting judgment aggregation rules for NAO robots: an experimental approachVijayalakshmi Ganesan, Sergio Sousa, Marija Slavkovik, Leendert van der Torre. atal 2012: 1403-1404 [doi]

Changing Agreements: Intention Reconsideration based on Assumptions and ReasonsDiana Marosin, Henderik Alex Proper, Leendert van der Torre. at 2012: 262-263 [doi]

Visualizing Normative Systems: An Abstract ApproachSilvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata. deon 2012: 16-30 [doi]

Abstract Normative Systems: Semantics and Proof TheorySilvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata. kr 2012: [doi]

Contrary-To-Duties in GamesPaolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto. BIRTHDAY 2012: 329-348 [doi]

Logics for Security and PrivacyLeendert van der Torre. dbsec 2012: 1-7 [doi]

Beyond Maxi-Consistent Argumentation OperatorsSrdjan Vesic, Leendert van der Torre. jelia 2012: 424-436 [doi]

Modelling defeasible and prioritized support in bipolar argumentationSerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre. AMAI, 66(1-4):163-197, 2012. [doi]

A logic of argumentation for specification and verification of abstract argumentation frameworksSerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre, Joris Hulstijn. AMAI, 66(1-4):199-230, 2012. [doi]

Agent Programming Languages Requirements for Programming Autonomous RobotsPouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert van der Torre. promas 2013: 35-53 [doi]

2011

A dynamic logic for privacy complianceGuillaume Aucher, Guido Boella, Leendert van der Torre. ail, 19(2-3):187-231, 2011. [doi]

Dynamics in Delegation and Revocation Schemes: A Logical ApproachGuillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre. dbsec 2011: 90-105 [doi]

Time and defeasibility in FIPA ACL semanticsGuido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre. japll, 9(4):274-288, 2011. [doi]

A Satisficing Agreements ModelGuido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre. iat 2011: 5-8 [doi]

Argumentative Agents Negotiating on Potential AttacksGuido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata. kesamsta 2011: 280-290 [doi]

Eunomos, a Legal Document and Knowledge Management System to Build Legal ServicesGuido Boella, Llio Humphreys, Marco Martin, Piercarlo Rossi, Leendert van der Torre. aicol 2012: 131-146 [doi]

Neural symbolic architecture for normative agentsGuido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre. atal 2011: 1203-1204 [doi]

Conditional Labelling for Abstract ArgumentationGuido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata. tafa 2012: 232-248 [doi]

Ten Problems of Deontic Logic and Normative Reasoning in Computer ScienceJan Broersen, Leendert van der Torre. esslli 2012: 55-88 [doi]

Conviviality measuresPatrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera. atal 2011: 895-902 [doi]

Judgment aggregation rules based on minimizationJérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre. tark 2011: 238-246 [doi]

Multi-sorted ArgumentationTjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre. tafa 2012: 215-231 [doi]

Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent SystemsAntonino Rotolo, Leendert van der Torre. ruleml 2011: 52-66 [doi]

Arguing about the Trustworthiness of the Information SourcesSerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre. ecsqaru 2011: 74-85 [doi]

Attack Semantics for Abstract ArgumentationSerena Villata, Guido Boella, Leendert van der Torre. IJCAI 2011: 406-413 [doi]

2010

Privacy Policies with Modal Logic: The Dynamic TurnGuillaume Aucher, Guido Boella, Leendert van der Torre. deon 2010: 196-213 [doi]

The role of goals in belief selectionGuido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre. igpl, 18(4):559-578, 2010. [doi]

Group Intention Is Social Choice with CommitmentGuido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre. atal 2011: 152-171 [doi]

Higher-Order Coalition LogicGuido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre. ecai 2010: 555-560 [doi]

A Logical Understanding of Legal InterpretationGuido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre. kr 2010: [doi]

Convivial Ambient Technologies: Requirements, Ontology and DesignPatrice Caire, Leendert van der Torre. cj, 53(8):1229-1256, 2010. [doi]

Deontic Redundancy: A Fundamental Challenge for Deontic LogicLeendert van der Torre. deon 2010: 11-32 [doi]

2009

Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic LogicGuillaume Aucher, Guido Boella, Leendert van der Torre. jurix 2010: 150-161 [doi]

A Middleware for Modeling Organizations and Roles in JadeMatteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre. promas 2010: 100-117 [doi]

Fibred Security LanguageGuido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre. sLogica, 92(3):395-436, 2009. [doi]

Meta-Argumentation Modelling I: Methodology and TechniquesGuido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata. sLogica, 93(2-3):297-355, 2009. [doi]

Norm negotiation in online multi-player gamesGuido Boella, Patrice Caire, Leendert van der Torre. kais, 18(2):137-156, 2009. [doi]

Dynamics in argumentation with single extensions: attack refinement and the grounded extensionGuido Boella, Souhila Kaci, Leendert van der Torre. atal 2009: 1213-1214 [doi]

Five Guidelines for Normative Multiagent SystemsGuido Boella, Gabriella Pigozzi, Leendert van der Torre. jurix 2009: 21-30 [doi]

::::Lex Minus Dixit Quam Voluit::::, ::::Lex Magis:::::::: Dixit Quam Voluit::::: A Formal Study on Legal Compliance and InterpretationGuido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre. jurix 2010: 162-183 [doi]

Normative framework for normative system changeGuido Boella, Gabriella Pigozzi, Leendert van der Torre. atal 2009: 169-176 [doi]

Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version)Guido Boella, Souhila Kaci, Leendert van der Torre. argmas 2010: 150-159 [doi]

Social network semantics for agent communicationGuido Boella, Joris Hulstijn, Leendert van der Torre. atal 2009: 1215-1216 [doi]

Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded ExtensionGuido Boella, Souhila Kaci, Leendert van der Torre. ecsqaru 2009: 107-118 [doi]

Conditional Dependence Networks in Requirements EngineeringGuido Boella, Leendert van der Torre, Serena Villata. atal 2010: 3-18 [doi]

Representing Excuses in Social Dependence NetworksGuido Boella, Jan Broersen, Leendert van der Torre, Serena Villata. aiia 2009: 365-374 [doi]

Temporal dependence networks for the design of convivial multiagent systemsPatrice Caire, Leendert van der Torre. atal 2009: 1317-1318 [doi]

Preface for Studia Logica Special Issue (2)Dov M. Gabbay, Leendert van der Torre. sLogica, 93(2-3):105-108, 2009. [doi]

Dependency in Cooperative Boolean GamesLuigi Sauro, Leendert van der Torre, Serena Villata. kesamsta 2009: 1-10 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Leendert van der Torre'

Viewing Publication 1 - 100 from 148

2023

2022

2021

2020

2014

2013

2012

2011

2010

2009

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Leendert van der Torre'

Viewing Publication 1 - 100 from 148

2023

2022

2021

2020

2014

2013

2012

2011

2010

2009

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1