


Остановите войну!
for scientists:


default search action
Leon van der Torre
Leendert van der Torre – Leender van der Torre – Leendert W. N. van der Torre
Person information

- affiliation: University of Luxembourg, Computer Science and Communications Research Unit
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j73]Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre:
Normative Change: An AGM Approach. FLAP 9(4): 855-920 (2022) - [j72]Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre:
Multi-agent Argumentation and Dialogue. FLAP 9(4): 921-954 (2022) - [j71]Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre:
Defeasible Deontic Logic: Arguing about Permission and Obligation. FLAP 9(4): 1025-1086 (2022) - [j70]Leendert van der Torre, Xavier Parent:
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 9(4): 1087-1130 (2022) - [c260]Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran:
Non-Admissibility in Abstract Argumentation. COMMA 2022: 128-139 - 2021
- [j69]Llio Humphreys
, Guido Boella, Leendert van der Torre
, Livio Robaldo
, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri:
Populating legal ontologies using semantic role labeling. Artif. Intell. Law 29(2): 171-211 (2021) - [c259]Davide Calvaresi
, Giovanni Ciatto
, Amro Najjar
, Reyhan Aydogan
, Leon van der Torre
, Andrea Omicini
, Michael Schumacher
:
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge. EXTRAAMAS@AAMAS 2021: 331-343 - [c258]Jérémie Dauphin, Tjitze Rienstra, Leendert van der Torre
:
New Weak Admissibility Semantics for Abstract Argumentation. CLAR 2021: 112-126 - [c257]Jinsheng Chen, Beishui Liao, Leendert van der Torre
:
Base Argumentation as an Abstraction of Deductive Argumentation. CLAR 2021: 468-476 - [c256]Kees van Berkel, Dov M. Gabbay, Leendert van der Torre:
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. DEON 2021: 36-55 - [c255]Maya Olszewski, Xavier Parent, Leendert van der Torre:
Input/Output Logic With a Consistency Check - the Case of Permission. DEON 2021: 358-375 - [c254]Liuwen Yu
, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre:
A Principle-based Analysis of Abstract Agent Argumentation Semantics. KR 2021: 629-640 - [i31]Huimin Dong, Réka Markovich, Leendert van der Torre:
Towards AI Logic for Social Reasoning. CoRR abs/2110.04452 (2021) - 2020
- [j68]Marc van Zee, Dragan Doder, Leon van der Torre
, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as commitment toward time. Artif. Intell. 283: 103270 (2020) - [j67]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: 103348 (2020) - [j66]Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre
, Beishui Liao:
A principle-based robustness analysis of admissibility-based argumentation semantics. Argument Comput. 11(3): 305-339 (2020) - [c253]Jeremie Dauphin, Tjitze Rienstra, Leendert van der Torre
:
A Principle-Based Analysis of Weakly Admissible Semantics. COMMA 2020: 167-178 - [c252]Beishui Liao, Leendert van der Torre
:
Explanation Semantics for Abstract Argumentation. COMMA 2020: 271-282 - [c251]Dov M. Gabbay, Ross Horne
, Sjouke Mauw, Leendert van der Torre
:
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF 2020: 143-165 - [c250]Liuwen Yu, Réka Markovich, Leendert van der Torre
:
Interpretations of Support Among Arguments. JURIX 2020: 194-203 - [c249]Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay:
A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI 2020: 41-54 - [c248]Llio Humphreys, Guido Boella, Luigi Di Caro, Livio Robaldo, Leon van der Torre, Sepideh Ghanavati, Robert Muthuri:
Populating Legal Ontologies using Semantic Role Labeling. LREC 2020: 2157-2166 - [e12]Mehdi Dastani
, Huimin Dong
, Leon van der Torre
:
Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings. Lecture Notes in Computer Science 12061, Springer 2020, ISBN 978-3-030-44637-6 [contents] - [i30]Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as Commitment toward Time. CoRR abs/2004.08144 (2020) - [i29]George Anthony Gal, Cristiana Santos
, Lucien Rapp, Réka Markovich, Leendert W. N. van der Torre:
Artificial intelligence in space. CoRR abs/2006.12362 (2020)
2010 – 2019
- 2019
- [j65]Livio Robaldo, Leendert W. N. van der Torre:
Introduction to Legal AI. FLAP 6(5): 711-714 (2019) - [j64]Beishui Liao, Nir Oren
, Leender van der Torre
, Serena Villata:
Prioritized norms in formal argumentation. J. Log. Comput. 29(2): 215-240 (2019) - [c247]Beishui Liao, Marija Slavkovik, Leendert W. N. van der Torre
:
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. AIES 2019: 147-153 - [c246]Marcos Cramer, Leon van der Torre:
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. DKB/KIK@KI 2019: 24-35 - [c245]Huimin Dong
, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
:
From Classical to Non-monotonic Deontic Logic Using ASPIC+. LORI 2019: 71-85 - [i28]Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre:
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR abs/1903.10187 (2019) - [i27]Marcos Cramer, Leendert W. N. van der Torre:
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. CoRR abs/1908.08406 (2019) - [i26]Dov M. Gabbay, Xavier Parent, Leon van der Torre:
A geometrical view of I/O logic. CoRR abs/1911.12837 (2019) - 2018
- [j63]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): 69-95 (2018) - [j62]Gabriella Pigozzi, Leon van der Torre
:
Arguing about constitutive and regulative norms. J. Appl. Non Class. Logics 28(2-3): 189-217 (2018) - [c244]Virginia Dignum
, Matteo Baldoni, Cristina Baroglio, Maurizio Caon, Raja Chatila, Louise A. Dennis, Gonzalo Génova, Galit Haim, Malte S. Kließ, Maite López-Sánchez, Roberto Micalizio, Juan Pavón, Marija Slavkovik, Matthijs H. J. Smakman, Marlies van Steenbergen, Stefano Tedeschi
, Leon van der Torre, Serena Villata, Tristan de Wildt
:
Ethics by Design: Necessity or Curse? AIES 2018: 60-66 - [c243]Leendert W. N. van der Torre
, Tjitze Rienstra, Dov M. Gabbay:
Argumentation as Exogenous Coordination. It's All About Coordination 2018: 208-223 - [c242]Christoph Benzmüller
, Xavier Parent, Leendert W. N. van der Torre
:
A Deontic Logic Reasoning Infrastructure. CiE 2018: 60-69 - [c241]Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre
:
A Dynamic Approach for Combining Abstract Argumentation Semantics. CLAR 2018: 21-43 - [c240]Beishui Liao, Leendert W. N. van der Torre
:
Representation Equivalences Among Argumentation Frameworks. COMMA 2018: 21-28 - [c239]Souhila Kaci, Leendert W. N. van der Torre
, Serena Villata:
Preference in Abstract Argumentation. COMMA 2018: 405-412 - [c238]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: 437-444 - [c237]Xavier Parent, Leendert W. N. van der Torre:
I/O Logics with a Consistency Check. DEON 2018: 285-299 - [c236]Alessia Calafiore
, Guido Boella, Leender van der Torre
:
From Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data. EKAW 2018: 34-49 - [c235]Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre:
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR 2018: 168-177 - [c234]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: 534-539 - [i25]Beishui Liao, Marija Slavkovik, Leendert W. N. van der Torre:
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. CoRR abs/1812.04741 (2018) - 2017
- [j61]Mehdi Dastani, Leendert W. N. van der Torre
, Neil Yorke-Smith:
Commitments and interaction norms in organisations. Auton. Agents Multi Agent Syst. 31(2): 207-249 (2017) - [j60]Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre:
Editorial. FLAP 4(8) (2017) - [j59]Leon van der Torre, Srdjan Vesic:
The Principle-Based Approach to Abstract Argumentation Semantics. FLAP 4(8) (2017) - [j58]Gabriella Pigozzi, Leendert W. N. van der Torre:
Editorial. FLAP 4(9): 2927-2928 (2017) - [j57]Gabriella Pigozzi, Leendert W. N. van der Torre:
Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective. FLAP 4(9): 2929-2993 (2017) - [j56]Xavier Parent, Leendert W. N. van der Torre:
Detachment in Normative Systems: Examples, Inference Patterns, Properties. FLAP 4(9): 2995-3038 (2017) - [j55]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): 3039-3073 (2017) - [j54]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): 37-77 (2017) - [j53]Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leon van der Torre
, Srdjan Vesic:
A partial taxonomy of judgment aggregation rules and their properties. Soc. Choice Welf. 48(2): 327-356 (2017) - [c233]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: 350-364 - [c232]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: 427-442 - [c231]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: 49-58 - [c230]Xavier Parent, Leendert W. N. van der Torre
:
The pragmatic oddity in norm-based deontic logics. ICAIL 2017: 169-178 - [c229]Leendert W. N. van der Torre
, Marc van Zee:
Rational Enterprise Architecture. IEA/AIE (1) 2017: 9-18 - [p5]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Foundations. Enterprise Architecture at Work, 4th ed. 2017: 41-58 - [p4]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen:
Viewpoints and Visualisation. Enterprise Architecture at Work, 4th ed. 2017: 171-214 - [p3]Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre
, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea:
Architecture Analysis. Enterprise Architecture at Work, 4th ed. 2017: 215-252 - [p2]Hugo W. L. ter Doest, Diederik van Leeuwen, Peter Fennema, Leon van der Torre
, Andries W. Stam, Joost Jacob, Farhad Arbab:
Tool Support. Enterprise Architecture at Work, 4th ed. 2017: 277-299 - [e11]Bo An, Ana L. C. Bazzan, João Leite, Serena Villata, Leendert W. N. van der Torre:
PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621, Springer 2017, ISBN 978-3-319-69130-5 [contents] - [i24]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 abs/1701.05226 (2017) - [i23]Beishui Liao, Leendert W. N. van der Torre:
Defense semantics of argumentation: encoding reasons for accepting arguments. CoRR abs/1705.00303 (2017) - [i22]Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata:
Prioritized Norms in Formal Argumentation. CoRR abs/1709.08034 (2017) - 2016
- [j52]Guido Boella, Luigi Di Caro
, Llio Humphreys, Livio Robaldo
, Piercarlo Rossi, Leon van der Torre
:
Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law. Artif. Intell. Law 24(3): 245-283 (2016) - [j51]Guido Boella, Gabriella Pigozzi, Leon van der Torre
:
AGM Contraction and Revision of Rules. J. Log. Lang. Inf. 25(3-4): 273-297 (2016) - [c228]Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith:
Commitments and Interaction Norms in Organisations: JAAMAS Extended Abstract. AAMAS 2016: 1261-1262 - [c227]Leendert W. N. van der Torre:
Norms and Arguments. CLAR 2016: 5 - [c226]Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre:
Cumulative aggregation. DEON 2016: 1-15 - [c225]Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata:
Prioritized Norms and Defaults in Formal Argumentation. DEON 2016: 139-154 - [c224]Cristiana Santos, Víctor Rodríguez-Doncel
, Pompeu Casanovas
, Leon van der Torre
:
Modeling Relevant Legal Information for Consumer Disputes. EGOVIS 2016: 150-165 - [c223]Cristiana Santos, Cédric Pruski, Marcos Da Silveira, Víctor Rodríguez-Doncel, Aldo Gangemi, Leon van der Torre, Pompeu Casanovas:
Complaint Ontology Pattern - COP. WOP@ISWC 2016: 69-83 - 2015
- [j50]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): 55-74 (2015) - [j49]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos:
Retalis Language for Information Engineering in Autonomous Robot Software. FLAP 2(2): 65-126 (2015) - [c222]Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert W. N. van der Torre:
Consistency Conditions for Beliefs and Intentions. AAAI Spring Symposia 2015 - [c221]Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre:
AGM Revision of Beliefs about Action and Time. IJCAI 2015: 3250-3256 - [c220]Llio Humphreys, Cristiana Santos, Luigi Di Caro
, Guido Boella, Leon van der Torre
, Livio Robaldo
:
Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation. JURIX 2015: 41-49 - [c219]Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre
:
Persistence and Monotony Properties of Argumentation Semantics. TAFA 2015: 211-225 - [i21]Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre, Srdjan Vesic:
Majority-preserving judgment aggregation rules. CoRR abs/1502.05888 (2015) - [i20]Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata:
Normative Multi-Agent Systems (Dagstuhl Seminar 15131). Dagstuhl Reports 5(3): 162-176 (2015) - [i19]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): 74-89 (2015) - 2014
- [j48]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: 144-197 (2014) - [j47]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): 1141-1144 (2014) - [j46]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): 1251-1252 (2014) - [c218]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 - [c217]Pietro Baroni, Massimiliano Giacomin, Beishui Liao, Leon van der Torre:
Encompassing Uncertainty in Argumentation Schemes. ArgNLP 2014 - [c216]Leendert W. N. van der Torre
, Serena Villata:
An ASPIC-based legal argumentation framework for deontic reasoning. COMMA 2014: 421-432 - [c215]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: 108-123 - [c214]Xavier Parent, Leendert W. N. van der Torre
:
"Sing and Dance!" - Input/Output Logics without Weakening. DEON 2014: 149-165 - [c213]Xin Sun, Leendert W. N. van der Torre
:
Combining Constitutive and Regulative Norms in Input/Output Logic. DEON 2014: 241-257 - [c212]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: 117-122 - [c211]Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata:
Social Interaction Based Audience Segregation for Online Social Networks. ECSI 2014: 186-197 - [c210]Sepideh Ghanavati, Llio Humphreys, Guido Boella, Luigi Di Caro
, Livio Robaldo
, Leendert W. N. van der Torre
:
Compliance with Multiple Regulations. ER 2014: 415-422 - [c209]Xavier Parent, Leon van der Torre:
Aggregative Deontic Detachment for Normative Reasoning. KR 2014 - [c208]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: 14-21 - [e10]Nils Bulling, Leendert W. N. van der Torre
, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents] - [i18]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 abs/1407.3896 (2014) - 2013
- [j45]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): 541-559 (2013) - [c207]Alessio Antonini, Cecilia Blengino, Guido Boella, Leendert W. N. van der Torre:
The Construction of Models and Roles in Normative Systems. AICOL 2013: 115-129 - [c206]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: 130-144 - [c205]Patrice Caire, Leendert W. N. van der Torre
, Serena Villata:
Argumentation Theoretic Foundations for Abstract Dependence Networks. AT 2013: 180-194 - [c204]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Event-processing in autonomous robot programming. AAMAS 2013: 95-102 - [c203]Diana Marosin, Leendert W. N. van der Torre
:
Changing Commitments Based on Reasons and Assumptions. COIN@AAMAS/PRIMA 2013: 291-310 - [c202]Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet
, Alan Perotti, Leon van der Torre
, Serena Villata:
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. CLIMA 2013: 51-68 - [c201]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
Monotonic and Nonmonotonic Inference for Abstract Argumentation. FLAIRS 2013 - [c200]Guido Boella, Marijn Janssen
, Joris Hulstijn
, Llio Humphreys, Leendert W. N. van der Torre
:
Managing legal interpretation in regulatory compliance. ICAIL 2013: 23-32 - [c199]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: 2-7 - [c198]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
:
A Logical Theory about Dynamics in Abstract Argumentation. SUM 2013: 148-161 - [p1]Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby
, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber
:
Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70 - [e9]João Leite
, Tran Cao Son, Paolo Torroni
, Leon van der Torre
, Stefan Woltran:
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 [contents] - [e8]Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leendert W. N. van der Torre:
Normative Multi-Agent Systems. Dagstuhl Follow-Ups 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-51-4 [contents] - [i17]Leendert W. N. van der Torre, Yao-Hua Tan:
An Update Semantics for Defeasible Obligations. CoRR abs/1301.6743 (2013) - 2012
- [j44]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): 163-197 (2012) - [j43]