default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeon 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
- 2025
[e14]Ryuta Arisaka
, Víctor Sánchez-Anguix, Sebastian Stein, Reyhan Aydogan, Leon van der Torre, Takayuki Ito:
PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings. Lecture Notes in Computer Science 15395, Springer 2025, ISBN 978-3-031-77366-2 [contents]- 2024
- [j77]Jinsheng Chen, Beishui Liao, Leendert van der Torre:
Bisimulation between base argumentation and premise-conclusion argumentation. Artif. Intell. 336: 104203 (2024) - [j76]Maya Olszewski, Xavier Parent, Leendert van der Torre:
Permissive and regulative norms in deontic logic. J. Log. Comput. 34(4): 728-763 (2024) - [c269]Beishui Liao, Leendert van der Torre:
Attack-Defense Semantics of Argumentation. COMMA 2024: 133-144 - 2023
- [j75]Marcos Cramer, Leendert van der Torre:
An argumentation semantics for rational human evaluation of arguments. Frontiers Artif. Intell. 6 (2023) - [j74]Beishui Liao, Pere Pardo, Marija Slavkovik, Leendert van der Torre:
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation. J. Artif. Intell. Res. 77: 737-792 (2023) - [c268]Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu:
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. CLAR 2023: 61-83 - [c267]Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee:
Rights and Practical Reasoning in Deontic Logic. DEON 2023: 1-19 - [c266]Joris Hulstijn, Leendert van der Torre:
What Should I Do and Why? DEON 2023: 335-336 - [c265]Aleks Knoks, Leendert van der Torre:
Reason-Based Detachment. DEON 2023: 339-340 - [c264]Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre:
A Principle-Based Analysis of Bipolar Argumentation Semantics. JELIA 2023: 209-224 - [c263]Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre:
Deontic Equilibrium Logic with eXplicit Negation. JELIA 2023: 498-514 - [c262]Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre:
Exploration des sémantiques d'argumentation bipolaire : une analyse basée sur les principes. JIAF 2023: 39-41 - [c261]Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre:
Arguing About Choosing a Normative System: Conflict of Laws. JURIX 2023: 73-82 - [e13]Juliano Maranhão, Clayton Peterson, Christian Straßer, Leendert van der Torre:
Deontic Logic and Normative Systems - 16th International Conference, DEON 2023, Trois-Rivières, QC, Canada, July 5-7, 2023. College Publications 2023 [contents] - [i34]Beishui Liao, Leendert van der Torre:
Defense semantics of argumentation: revisit. CoRR abs/2311.12207 (2023) - [i33]Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks:
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13(4): 1-23 (2023) - [i32]Saso Dzeroski, Holger H. Hoos, Bertrand Le Saux, Leendert van der Torre, Ana Kostovska:
Space and Artificial Intelligence (Dagstuhl Seminar 23461). Dagstuhl Reports 13(11): 72-102 (2023) - 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]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): 199-230 (2012) - [c197]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: 1023-1030 - [c196]Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith:
A programming approach to monitoring communication in an organisational environment. AAMAS 2012: 1373-1374 - [c195]Vijayalakshmi Ganesan, Sergio Sousa, Marija Slavkovik, Leendert W. N. van der Torre:
Selecting judgment aggregation rules for NAO robots: an experimental approach. AAMAS 2012: 1403-1404 - [c194]Guido Boella, Patrice Caire, Leendert W. N. van der Torre, Serena Villata:
Dependence Networks for Agreement Technologies. AT 2012: 109-110 - [c193]Diana Marosin, Henderik Alex Proper, Leendert W. N. van der Torre:
Changing Agreements: Intention Reconsideration based on Assumptions and Reasons. AT 2012: 262-263 - [c192]Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith:
Monitoring Interaction in Organisations. COIN@AAMAS 2012: 17-34 - [c191]Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto:
Contrary-To-Duties in Games. Logic Programs, Norms and Action 2012: 329-348 - [c190]Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata:
On Input/Output Argumentation Frameworks. COMMA 2012: 358-365 - [c189]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
Conditional Acceptance Functions. COMMA 2012: 470-477 - [c188]Leendert W. N. van der Torre:
Logics for Security and Privacy. DBSec 2012: 1-7 - [c187]Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Visualizing Normative Systems: An Abstract Approach. DEON 2012: 16-30 - [c186]Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre:
Discussion Paper: Changing Norms Is Changing Obligation Change. DEON 2012: 199-214 - [c185]Guido Boella, Leendert W. N. van der Torre:
Reasoning for Agreement Technologies. ECAI 2012: 895-896 - [c184]Srdjan Vesic, Leendert W. N. van der Torre:
Beyond Maxi-Consistent Argumentation Operators. JELIA 2012: 424-436 - [c183]Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Abstract Normative Systems: Semantics and Proof Theory. KR 2012 - [c182]Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Leon van der Torre:
NLP Challenges for Eunomos a Tool to Build and Manage Legal Knowledge. LREC 2012: 3672-3678 - [c181]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS 2012: 35-53 - [e7]Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori:
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7486, Springer 2012, ISBN 978-3-642-32896-1 [contents] - [i16]Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre:
Normative Multi-Agent Systems (Dagstuhl Seminar 12111). Dagstuhl Reports 2(3): 23-49 (2012) - 2011
- [j42]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
A dynamic logic for privacy compliance. Artif. Intell. Law 19(2-3): 187-231 (2011) - [j41]Ron van der Meyden, Leon van der Torre:
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). J. Appl. Log. 9(2): 81-82 (2011) - [j40]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): 274-288 (2011) - [c180]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: 131-146 - [c179]Patrice Caire, Baptiste Alcalde, Leendert W. N. van der Torre, Chattrakul Sombattheera:
Conviviality measures. AAMAS 2011: 895-902 - [c178]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: 1203-1204 - [c177]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: 90-105 - [c176]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre:
Arguing about the Trustworthiness of the Information Sources. ECSQARU 2011: 74-85 - [c175]Jan M. Broersen, Leendert W. N. van der Torre:
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ESSLLI 2011: 55-88 - [c174]Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre:
A Satisficing Agreements Model. Web Intelligence/IAT Workshops 2011: 5-8 - [c173]Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata:
Conditional Labelling for Abstract Argumentation. ICCSW 2011: 59-65 - [c172]Serena Villata, Guido Boella, Leendert W. N. van der Torre:
Attack Semantics for Abstract Argumentation. IJCAI 2011: 406-413 - [c171]Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata:
Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA 2011: 280-290 - [c170]Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre:
Embedding Normative Reasoning into Neural Symbolic Systems. NeSy 2011: 19-24 - [c169]Antonino Rotolo, Leendert W. N. van der Torre:
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems. RuleML Europe 2011: 52-66 - [c168]Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert W. N. van der Torre:
Multi-sorted Argumentation. TAFA 2011: 215-231 - [c167]Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata:
Conditional Labelling for Abstract Argumentation. TAFA 2011: 232-248 - [c166]Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre:
Judgment aggregation rules based on minimization. TARK 2011: 238-246 - [e6]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre:
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents] - 2010
- [j39]Patrice Caire, Leendert W. N. van der Torre:
Convivial Ambient Technologies: Requirements, Ontology and Design. Comput. J. 53(8): 1229-1256 (2010) - [j38]Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert W. N. van der Torre:
The role of goals in belief selection. Log. J. IGPL 18(4): 559-578 (2010) - [j37]Leendert W. N. van der Torre:
Violation games: a new foundation for deontic logic. J. Appl. Non Class. Logics 20(4): 457-477 (2010) - [c165]Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre:
Group Intention Is Social Choice with Commitment. COIN@AAMAS&MALLOW 2010: 152-171 - [c164]Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata:
Support in Abstract Argumentation. COMMA 2010: 111-122 - [c163]Leendert W. N. van der Torre:
Deontic Redundancy: A Fundamental Challenge for Deontic Logic. DEON 2010: 11-32 - [c162]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
Privacy Policies with Modal Logic: The Dynamic Turn. DEON 2010: 196-213 - [c161]Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Higher-Order Coalition Logic. ECAI 2010: 555-560 - [c160]Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
A Logical Understanding of Legal Interpretation. KR 2010 - [c159]Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre:
Group Intention = Social Choice + Commitment. MALLOW 2010 - [c158]Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre:
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126
2000 – 2009
- 2009
- [j36]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Algorithms for finding coalitions exploiting a new reciprocity condition. Log. J. IGPL 17(3): 273-297 (2009) - [j35]Guido Boella, Leon van der Torre, Serena Villata:
Analyzing Cooperation in Iterative Social Network Design. J. Univers. Comput. Sci. 15(13): 2676-2700 (2009) - [j34]Guido Boella, Patrice Caire, Leendert W. N. van der Torre:
Norm negotiation in online multi-player games. Knowl. Inf. Syst. 18(2): 137-156 (2009) - [j33]Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Fibred Security Language. Stud Logica 92(3): 395-436 (2009) - [j32]Dov M. Gabbay, Leendert W. N. van der Torre:
Preface for Studia Logica Special Issue (2). Stud Logica 93(2-3): 105-108 (2009) - [j31]Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata:
Meta-Argumentation Modelling I: Methodology and Techniques. Stud Logica 93(2-3): 297-355 (2009) - [c157]Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata:
Representing Excuses in Social Dependence Networks. AI*IA 2009: 365-374 - [c156]Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre:
A Complete Conclusion-Based Procedure for Judgment Aggregation. ADT 2009: 1-13 - [c155]Guido Boella, Souhila Kaci, Leendert W. N. van der Torre:
Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version). ArgMAS 2009: 150-159 - [c154]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Conditional Dependence Networks in Requirements Engineering. COIN@AAMAS&IJCAI&MALLOW 2009: 3-18 - [c153]Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre:
Normative framework for normative system change. AAMAS (1) 2009: 169-176 - [c152]Guido Boella, Souhila Kaci, Leendert W. N. van der Torre:
Dynamics in argumentation with single extensions: attack refinement and the grounded extension. AAMAS (2) 2009: 1213-1214 - [c151]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Social network semantics for agent communication. AAMAS (2) 2009: 1215-1216 - [c150]Patrice Caire, Leendert W. N. van der Torre:
Temporal dependence networks for the design of convivial multiagent systems. AAMAS (2) 2009: 1317-1318 - [c149]Guido Boella, Souhila Kaci, Leendert W. N. van der Torre:
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. ECSQARU 2009: 107-118 - [c148]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
The Interplay between Relationships, Roles and Objects. FSEN 2009: 402-415 - [c147]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Four measures for the dynamics of coalitions in social networks. Hypertext 2009: 361-362 - [c146]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Programming Normative Artifacts with Declarative Obligations and Prohibitions. IAT 2009: 145-152 - [c145]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
On the Acceptability of Meta-arguments. IAT 2009: 259-262 - [c144]Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre:
Five Guidelines for Normative Multiagent Systems. JURIX 2009: 21-30 - [c143]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. AICOL Workshops 2009: 150-161 - [c142]Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. AICOL Workshops 2009: 162-183 - [c141]Luigi Sauro, Leendert W. N. van der Torre, Serena Villata:
Dependency in Cooperative Boolean Games. KES-AMSTA 2009: 1-10 - [c140]Guido Boella, Leon van der Torre, Serena Villata:
Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics. MALLOW 2009 - [c139]Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre:
A Middleware for Modeling Organizations and Roles in Jade. PROMAS 2009: 100-117 - [i15]Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre:
Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems. Normative Multi-Agent Systems 2009 - [i14]Patrice Caire, Leendert W. N. van der Torre:
A Conviviality Measure for Early Requirement Phase. Normative Multi-Agent Systems 2009 - [i13]Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre:
FSL - Fibred Security Language. Normative Multi-Agent Systems 2009 - 2008
- [j30]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Introduction to the special issue on normative multiagent systems. Auton. Agents Multi Agent Syst. 17(1): 1-10 (2008) - [j29]Guido Boella, Leendert W. N. van der Torre:
Institutions with a hierarchy of authorities in distributed dynamic environments. Artif. Intell. Law 16(1): 53-71 (2008) - [j28]Souhila Kaci, Leendert W. N. van der Torre:
Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms. Ann. Oper. Res. 163(1): 89-114 (2008) - [j27]Souhila Kaci, Leendert W. N. van der Torre:
Preference-based argumentation: Arguments supporting multiple values. Int. J. Approx. Reason. 48(3): 730-751 (2008) - [j26]Guido Boella, Leendert W. N. van der Torre:
Substantive and procedural norms in normative multiagent systems. J. Appl. Log. 6(2): 152-171 (2008) - [c138]Yi Zhou, Leendert W. N. van der Torre, Yan Zhang:
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity. AAMAS (1) 2008: 413-420 - [c137]Patrice Caire, Serena Villata, Guido Boella, Leendert W. N. van der Torre:
Conviviality masks in multiagent systems. AAMAS (3) 2008: 1265-1268 - [c136]Jérôme Lang, Leendert W. N. van der Torre:
From Belief Change to Preference Change. ECAI 2008: 351-355 - [c135]Jan M. Broersen, Leendert W. N. van der Torre:
Conditional Norms and Dyadic Obligations in Time. ECAI 2008: 883-884 - [c134]Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre:
Time and Defeasibility in FIPA ACL Semantics. Web Intelligence/IAT Workshops 2008: 634-637 - [c133]Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert W. N. van der Torre:
Making Others Believe What They Want. IFIP AI 2008: 215-224 - [c132]Jérôme Lang, Leendert W. N. van der Torre:
Preference Change Triggered by Belief Change: A Principled Approach. LOFT 2008: 86-111 - [c131]Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
How to Program Organizations and Roles in the JADE Framework. MATES 2008: 25-36 - [c130]Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008: 95-111 - [c129]Davide Grossi, Dov M. Gabbay, Leendert W. N. van der Torre:
A Normative View on the Blocks World. NORMAS 2008: 128-142 - [c128]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Social Viewpoints for Arguing about Coalitions. PRIMA 2008: 66-77 - [c127]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Changing Institutional Goals and Beliefs of Autonomous Agents. PRIMA 2008: 78-85 - [c126]Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre:
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. PRIMA 2008: 86-97 - [c125]Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Self Adaptive Coalitions in Multiagent Systems. SASO 2008: 461-462 - [e5]Ron van der Meyden, Leendert W. N. van der Torre:
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5076, Springer 2008, ISBN 978-3-540-70524-6 [contents] - [i12]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Ten Challenges for Normative Multiagent Systems. Programming Multi-Agent Systems 2008 - [i11]Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre, Mauro Dorni, Andrea Mugnaini, Valerio Genovese:
Adding Organizations and Roles as Primitives to the JADE Framework. Programming Multi-Agent Systems 2008 - 2007
- [j25]Guido Boella, Leendert W. N. van der Torre:
The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles. Artif. Intell. Law 15(3): 201-221 (2007) - [j24]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Roles, an interdisciplinary perspective. Appl. Ontology 2(2): 81-88 (2007) - [j23]Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre:
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles. Appl. Ontology 2(3-4): 217-265 (2007) - [j22]Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur:
Formal analysis of trace conditioning. Cogn. Syst. Res. 8(1): 36-47 (2007) - [j21]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre:
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 2(1): 40-57 (2007) - [j20]Guido Boella, Leendert W. N. van der Torre:
Norm Negotiation in Multiagent Systems. Int. J. Cooperative Inf. Syst. 16(1): 97-122 (2007) - [j19]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Interaction between Objects in powerJava. J. Object Technol. 6(2): 5-30 (2007) - [j18]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
From social power to social importance. Web Intell. Agent Syst. 5(4): 393-404 (2007) - [c124]Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre:
Contextual deliberation of cognitive agents in defeasible logic. AAMAS 2007: 148 - [c123]Guido Boella, Leendert W. N. van der Torre:
An Attacker Model for Normative Multi-agent Systems. CEEMAS 2007: 42-51 - [c122]Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert:
On the Acceptability of Incompatible Arguments. ECSQARU 2007: 247-258 - [c121]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Relationships Meet Their Roles in Object Oriented Programming. FSEN 2007: 440-448 - [c120]Guido Boella, Leendert W. N. van der Torre:
Power in Norm Negotiation. KES-AMSTA 2007: 436-446 - [c119]Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
Merging Roles in Coordination and in Agent Deliberation. PRIMA 2007: 62-73 - [c118]Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre:
Contextual Agent Deliberation in Defeasible Logic. PRIMA 2007: 98-109 - [c117]Jan M. Broersen, Leendert W. N. van der Torre:
Reasoning about Norms, Obligations, Time and Agents. PRIMA 2007: 171-182 - [c116]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Adding Roles to Relationship Patterns. WOA 2007: 112-125 - [e4]Guido Boella, Mehdi Dastani, Andrea Omicini, Leon van der Torre, Ivana Cerná, Isabelle Linden:
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006. Electronic Notes in Theoretical Computer Science 181, Elsevier 2007 [contents] - [e3]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Normative Multi-agent Systems, 18.03. - 23.03.2007. Dagstuhl Seminar Proceedings 07122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i10]Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert W. N. van der Torre:
Choosing Your Beliefs. Normative Multi-agent Systems 2007 - [i9]Guido Boella, Leendert W. N. van der Torre:
A Game-Theoretic Approach to Normative Multi-Agent Systems. Normative Multi-agent Systems 2007 - [i8]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Introduction to Normative Multiagent Systems. Normative Multi-agent Systems 2007 - [i7]Guido Boella, Harko Verhagen, Leendert W. N. van der Torre:
07122 Abstracts Collection - Normative Multi-agent Systems. Normative Multi-agent Systems 2007 - [i6]Jan M. Broersen, Leendert W. N. van der Torre:
What an Agent Ought To Do. Normative Multi-agent Systems 2007 - [i5]Jörg Hansen, Gabriella Pigozzi, Leendert W. N. van der Torre:
Ten Philosophical Problems in Deontic Logic. Normative Multi-agent Systems 2007 - [i4]Jérôme Lang, Leendert W. N. van der Torre:
From belief change to preference change. Formal Models of Belief Change in Rational Agents 2007 - [i3]David Makinson, Leendert W. N. van der Torre:
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. Normative Multi-agent Systems 2007 - [i2]Gabriella Pigozzi, Leendert W. N. van der Torre:
Premise Independence in Judgment Aggregation. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j17]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Introduction to normative multiagent systems. Comput. Math. Organ. Theory 12(2-3): 71-79 (2006) - [j16]Cristiano Castelfranchi, Paul Davidsson, André Meyer, Maria Fasli, Jan Odelstad, Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
List of reviewers. Comput. Math. Organ. Theory 12(2-3): 277 (2006) - [j15]Guido Boella, Leendert W. N. van der Torre:
A game theoretic approach to contracts in multiagent systems. IEEE Trans. Syst. Man Cybern. Part C 36(1): 68-79 (2006) - [j14]Guido Boella, Leendert W. N. van der Torre:
Security policies for sharing knowledge in virtual communities. IEEE Trans. Syst. Man Cybern. Part A 36(3): 439-450 (2006) - [c115]Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre:
ACL Semantics Between Social Commitments and Mental Attitudes. AC 2006: 30-44 - [c114]Guido Boella, Leendert W. N. van der Torre:
An architecture of a normative system: counts-as conditionals, obligations and permissions. AAMAS 2006: 229-231 - [c113]Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre:
Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics. AAMAS 2006: 688-690 - [c112]Leendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab:
Landscape Maps for Enterprise Architectures. CAiSE 2006: 351-366 - [c111]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006 - [c110]Guido Boella, Leendert W. N. van der Torre:
A Foundational Ontology of Organizations and Roles. DALT 2006: 78-88 - [c109]Guido Boella, Leendert W. N. van der Torre:
A Logical Architecture of a Normative System. DEON 2006: 24-35 - [c108]Guido Boella, Leendert W. N. van der Torre:
Delegation of Power in Normative Multiagent Systems. DEON 2006: 36-52 - [c107]Souhila Kaci, Leendert W. N. van der Torre:
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. DEON 2006: 161-174 - [c106]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Strengthening Admissible Coalitions. ECAI 2006: 195-199 - [c105]Guido Boella, Leendert W. N. van der Torre:
Count-As Conditionals, Classification and Context. ECAI 2006: 719-720 - [c104]Guido Boella, Leendert W. N. van der Torre:
Fair Distribution of Collective Obligations. ECAI 2006: 721-722 - [c103]Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert:
Acyclic Argumentation: Attack = Conflict + Preference. ECAI 2006: 725-726 - [c102]Souhila Kaci, Leendert W. N. van der Torre:
Merging Optimistic and Pessimistic Preferences. FUSION 2006: 1-8 - [c101]Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre:
The Roles of Roles in Agent Communication Languages. IAT 2006: 381-384 - [c100]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Modelling the Interaction Between Objects: Roles as Affordances. KSEM 2006: 42-54 - [c99]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Interaction among objects via roles: sessions and affordances in Java. PPPJ 2006: 188-193 - [c98]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. PROMAS 2006: 149-164 - [c97]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
powerJava: ontologically founded roles in object oriented programming languages. SAC 2006: 1414-1418 - [c96]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Importing Agent-like Interaction in Object Orientation. WOA 2006 - [c95]Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden:
Preface. CoOrg/MTCoord@COORDINATION 2006: 1-3 - [e2]Guido Boella, Leendert van der Torre:
Proceedings of the First International Workshop on Coordination and Organisation, CoOrg@COORDINATION 2005, Namur, Belgium, April 23, 2005. Electronic Notes in Theoretical Computer Science 150(3), Elsevier 2006 [contents] - [e1]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. OASIcs 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j13]Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre:
How to decide what to do? Eur. J. Oper. Res. 160(3): 762-784 (2005) - [j12]Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
Beliefs, obligations, intentions, and desires as components in an agent architecture. Int. J. Intell. Syst. 20(9): 893-919 (2005) - [c94]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Argumentation for Access Control. AI*IA 2005: 86-97 - [c93]Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur:
Formalisation and Analysis of the Temporal Dynamics of Conditioning. AOSE 2005: 54-68 - [c92]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
A Logic of Abstract Argumentation. ArgMAS 2005: 29-41 - [c91]Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert W. N. van der Torre:
Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation. AAMAS Workshops 2005: 114-126 - [c90]Christophe Garion, Leendert W. N. van der Torre:
Design by Contract Deontic Design Language for Multiagent Systems. AAMAS Workshops 2005: 170-182 - [c89]Guido Boella, Leendert W. N. van der Torre:
Organizations in Artificial Social Systems. AAMAS Workshops 2005: 198-210 - [c88]Guido Boella, Leendert W. N. van der Torre:
Enforceable social laws. AAMAS 2005: 682-689 - [c87]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Reducing coalition structures via agreement specification. AAMAS 2005: 1187-1188 - [c86]Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Preferences of Agents in Defeasible Logic. Australian Conference on Artificial Intelligence 2005: 695-704 - [c85]Joris Hulstijn, Leendert W. N. van der Torre:
Analyzing Control Trust in Normative Multiagent Systems. Bled eConference 2005: 6 - [c84]Jan M. Broersen, Leendert W. N. van der Torre:
Semantic Analysis of Chisholm's Paradox. BNAIC 2005: 28-34 - [c83]Guido Boella, Leendert W. N. van der Torre:
Constitutive Norms in the Design of Normative Multiagent Systems. CLIMA 2005: 303-319 - [c82]Souhila Kaci, Leendert W. N. van der Torre:
Algorithms for a Nonmonotonic Logic of Preferences. ECSQARU 2005: 281-292 - [c81]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Virtual Organizations as Normative Multiagent Systems. HICSS 2005 - [c80]Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML. HICSS 2005 - [c79]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages. IAT 2005: 358-364 - [c78]Guido Boella, Leendert W. N. van der Torre:
Role-based Rights in Arti.cial Social Systems. IAT 2005: 516-519 - [c77]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Admissible Agreements among Goal-directed Agents. IAT 2005: 543-554 - [c76]Guido Boella, Leendert W. N. van der Torre:
Permission and Authorization in Normative Multiagent Systems. ICAIL 2005: 236-237 - [c75]Guido Boella, Leendert W. N. van der Torre:
A Non-monotonic Logic for Specifying and Querying Preferences. IJCAI 2005: 1549-1550 - [c74]Guido Boella, Leendert W. N. van der Torre:
The Evolution of Artificial Social Systems. IJCAI 2005: 1655-1556 - [c73]Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre:
Change impact analysis of enterprise architectures. IRI 2005: 177-181 - [c72]Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Programming Cognitive Agents in Defeasible Logic. LPAR 2005: 621-636 - [c71]Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Introduction to Normative Multiagent Systems. NORMAS 2005: 1-7 - [c70]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. PROMAS 2005: 57-75 - [c69]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Argument Games for Interactive Access Control. Web Intelligence 2005: 751-754 - [c68]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Social roles, from agents back to objects. WOA 2005: 164-170 - [c67]Guido Boella, Leendert W. N. van der Torre:
Preface. CoOrg@COORDINATION 2005: 1-2 - [c66]Guido Boella, Leendert W. N. van der Torre:
Coordination and Organization: Definitions, Examples and Future Research Directions. CoOrg@COORDINATION 2005: 3-20 - [c65]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Roles as a Coordination Construct: Introducing powerJava. MTCoord@COORDINATION 2005: 9-29 - [c64]Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Interaction in Normative Multi-Agent Systems. FInCo@ETAPS 2005: 135-162 - 2004
- [j11]Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre:
Concepts For Modeling Enterprise Architectures. Int. J. Cooperative Inf. Syst. 13(3): 257-287 (2004) - [c63]Guido Boella, Leendert W. N. van der Torre:
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations. ICEC 2004: 130-137 - [c62]Guido Boella, Leendert W. N. van der Torre:
Permission and Authorization in Policies for Virtual Communities of Agents. AP2PC 2004: 86-97 - [c61]Guido Boella, Leendert W. N. van der Torre:
Normative Multiagent Systems and Trust Dynamics. Trusting Agents for Trusting Electronic Societies 2004: 1-17 - [c60]Mehdi Dastani, Leendert W. N. van der Torre:
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans. AAMAS 2004: 706-713 - [c59]Guido Boella, Leendert W. N. van der Torre:
Contracts as Legal Institutions in Organizations of Autonomous Agents. AAMAS 2004: 948-955 - [c58]Guido Boella, Leendert W. N. van der Torre:
Groups as Agents with Mental Attitudes. AAMAS 2004: 964-971 - [c57]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Social Viewpoints on Multiagent Systems. AAMAS 2004: 1358-1359 - [c56]Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre:
Inferring Trust. CLIMA 2004: 144-160 - [c55]Guido Boella, Leendert W. N. van der Torre:
Delta: The Social Delegation Cycle. DEON 2004: 29-42 - [c54]Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen:
Specifying Multiagent Organizations. DEON 2004: 243-257 - [c53]Guido Boella, Leendert W. N. van der Torre:
Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents. ECAI 2004: 13-17 - [c52]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
An Abstraction from Power to Coalition Structures. ECAI 2004: 965-966 - [c51]Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre:
A Logical Viewpoint on Architectures. EDOC 2004: 73-83 - [c50]Guido Boella, Leendert W. N. van der Torre:
Organizations as Socially Constructed Agents in the Agent Oriented Paradigm. ESAW 2004: 1-13 - [c49]Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Power and Dependence Relations in Groups of Agents. IAT 2004: 246-252 - [c48]Guido Boella, Leendert W. N. van der Torre:
Fulfilling or Violating Obligations in Normative Multiagent Systems. IAT 2004: 483-486 - [c47]Guido Boella, Leendert W. N. van der Torre:
Game Specification in Normative Multiagent System: The Trias Politica. IAT 2004: 504-508 - [c46]Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures. ISoLA 2004: 42-56 - [c45]Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73 - [c44]Mehdi Dastani, Leendert W. N. van der Torre:
Games for Cognitive Agents. JELIA 2004: 5-17 - [c43]Guido Boella, Leendert W. N. van der Torre:
Regulative and Constitutive Norms in Normative Multiagent Systems. KR 2004: 255-266 - [c42]Joris Hulstijn, Leendert W. N. van der Torre:
Combining goal generation and planning in an argumentation framework. NMR 2004: 212-218 - [c41]Guido Boella, Leendert W. N. van der Torre:
Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents. Web Intelligence 2004: 690-693 - [c40]Guido Boella, Leendert W. N. van der Torre:
Organizations as Socially Constructed Agents in the Agent Oriented Paradigm. WOA 2004: 93-99 - 2003
- [j10]Jan M. Broersen, Leendert W. N. van der Torre:
What an Agent Ought To Do. Artif. Intell. Law 11(1): 45-61 (2003) - [j9]Leendert W. N. van der Torre:
Contextual Deontic Logic: Normative Agents, Violations and Independence. Ann. Math. Artif. Intell. 37(1-2): 33-63 (2003) - [j8]David Makinson, Leendert W. N. van der Torre:
Permission from an Input/Output Perspective. J. Philos. Log. 32(4): 391-416 (2003) - [c39]Guido Boella, Leendert W. N. van der Torre:
Obligations as Social Constructs. AI*IA 2003: 27-38 - [c38]Guido Boella, Leendert W. N. van der Torre:
Attributing mental attitudes to normative systems. AAMAS 2003: 942-943 - [c37]Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten:
Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39 - [c36]Guido Boella, Leendert W. N. van der Torre:
Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents. IAT 2003: 329-335 - [c35]Guido Boella, Leendert W. N. van der Torre:
Rational Norm Creation. ICAIL 2003: 81-82 - [c34]Guido Boella, Leendert W. N. van der Torre:
Permissions and Obligations in Hierarchical Normative Systems. ICAIL 2003: 109-118 - [c33]Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert:
Hidden Uncertainty in the Logical Representation of Desires. IJCAI 2003: 685-690 - [c32]Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
BDIOCTL: Obligations and the Specification of Agent Behavior. IJCAI 2003: 1389-1390 - [c31]Guido Boella, Leendert W. N. van der Torre:
Decentralized Control: Obligations and Permissions in Virtual Communities of Agents. ISMIS 2003: 618-622 - [c30]Guido Boella, Leendert W. N. van der Torre:
Local Policies for the Control of Virtual Communities. Web Intelligence 2003: 161-167 - [c29]Guido Boella, Leendert W. N. van der Torre:
Policy Management for Virtual Communities of Agents. WOA 2003: 57-64 - 2002
- [j7]Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert:
Utilitarian Desires. Auton. Agents Multi Agent Syst. 5(3): 329-363 (2002) - [j6]Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
Realistic desires. J. Appl. Non Class. Logics 12(2): 287-308 (2002) - [c28]Jan M. Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre:
Trust and Commitment in Dynamic Logic. EurAsia-ICT 2002: 677-684 - [c27]Mehdi Dastani, Leendert W. N. van der Torre:
Specifying the Merging of Desires into Goals in the Context of Beliefs. EurAsia-ICT 2002: 824-831 - [c26]Mehdi Dastani, Leendert W. N. van der Torre:
An Extension of BDICTL with Functional Dependencies and Components. LPAR 2002: 115-129 - [c25]Mehdi Dastani, Leendert W. N. van der Torre:
What is a joint goal? Games with beliefs and defeasible desires. NMR 2002: 33-40 - [c24]Mehdi Dastani, Leendert W. N. van der Torre:
What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures. RASTA 2002: 210-227 - [i1]Mehdi Dastani, Leendert W. N. van der Torre:
What is a Joint Goal? Games with Beliefs and Defeasible Desires. CoRR cs.MA/0207022 (2002) - 2001
- [j5]Leendert W. N. van der Torre, Emil Weydert:
Parameters for Utilitarian Desires in a Qualitative Decision Theory. Appl. Intell. 14(3): 285-301 (2001) - [j4]David Makinson, Leendert W. N. van der Torre:
Constraints for Input/Output Logics. J. Philos. Log. 30(2): 155-185 (2001) - [c23]Jan M. Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre:
The BOID architecture: conflicts between beliefs, obligations, intentions and desires. Agents 2001: 9-16 - [c22]Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre:
Negotiation protocols and dialogue games. Agents 2001: 180-181 - [c21]Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. ECSQARU 2001: 568-579 - 2000
- [j3]David Makinson, Leendert W. N. van der Torre:
Input/Output Logics. J. Philos. Log. 29(4): 383-408 (2000)
1990 – 1999
- 1999
- [j2]Leendert W. N. van der Torre, Yao-Hua Tan:
Diagnosis and Decision Making in Normative Reasoning. Artif. Intell. Law 7(1): 51-67 (1999) - [j1]Leendert W. N. van der Torre, Yao-Hua Tan:
Contrary-to-duty reasoning with preference-based dyadic obligations. Ann. Math. Artif. Intell. 27(1-4): 49-78 (1999) - [c20]Leendert W. N. van der Torre:
Violation Contexts and Deontic Independence. CONTEXT 1999: 361-374 - [c19]Leendert W. N. van der Torre:
Defeasible Goals. ESCQARU 1999: 274-385 - [c18]Leendert W. N. van der Torre, Yao-Hua Tan:
Rights, Duties and Commitments between Agents. IJCAI 1999: 1239-1246 - [c17]Leendert W. N. van der Torre, Yao-Hua Tan:
An Update Semantics for Defeasible Obligations. UAI 1999: 631-638 - 1998
- [c16]Leendert W. N. van der Torre, Yao-Hua Tan:
The Temporal Analysis of Chisholm's Paradox. AAAI/IAAI 1998: 650-655 - [c15]Leendert W. N. van der Torre, Yao-Hua Tan:
An Update Semantics for Prima Facie Obligations. ECAI 1998: 38-42 - [c14]Babak Sadighi Firozabadi, Leendert W. N. van der Torre:
Formal Models of Control Systems. ECAI 1998: 317-318 - [c13]Leendert W. N. van der Torre:
Labeled Logics of Conditional Goals. ECAI 1998: 368-369 - [c12]Leendert W. N. van der Torre, Yao-Hua Tan:
Prohairetic Deontic Logic (PDL). JELIA 1998: 77-91 - [c11]Leendert W. N. van der Torre:
Phased Labeled Logics of Conditional Goals. JELIA 1998: 92-106 - 1997
- [c10]Leendert W. N. van der Torre, Yao-Hua Tan:
Distinguishing Different Roles in Normative Reasoning. ICAIL 1997: 225-232 - [c9]Leendert W. N. van der Torre, Yao-Hua Tan:
Reasoning About Exceptions (Extended Abstract). KI 1997: 405-408 - [c8]Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan:
The Role of Diagnosis and Decision Theory in Normative Reasoning. ModelAge Workshop 1997: 216-239 - [c7]Leendert W. N. van der Torre, Yao-Hua Tan:
Contextual Deontic Logic. ModelAge Workshop 1997: 240-251 - 1996
- [c6]Yao-Hua Tan, Leendert W. N. van der Torre:
How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences. DEON 1996: 216-232 - 1995
- [c5]Yao-Hua Tan, Leendert W. N. van der Torre:
Why Defeasible Deontic Logic needs a Multi Preference Semantics. ECSQARU 1995: 412-419 - [c4]Leendert W. N. van der Torre, Yao-Hua Tan:
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. IJCAI 1995: 1525-1533 - 1994
- [c3]Leendert W. N. van der Torre:
Violated Obligations in a Defeasible Deontic Logic. ECAI 1994: 371-375 - [c2]Yao-Hua Tan, Leendert W. N. van der Torre:
Deontic and Diagnostic Reasoning. ICLP Workshop: Legal Application of Logic Programming 1994 - 1993
- [c1]Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre:
Constructing Refinement Operators by Decomposing Logical Implication. AI*IA 1993: 178-189
Coauthor Index
[j69] [c248] [c236] [j52] [j51] [c220] [j48] [j47] [c210] [c208] [j45] [c207] [c206] [c200] [j44] [j43] [c197] [c194] [c190] [c187] [c185] [c183] [c182] [j42] [j40] [c180] [c178] [c177] [c176] [c174] [c173] [c172] [c171] [c170] [c167] [e6] [j38] [c165] [c164] [c162] [c161] [c160] [c159] [j36] [j35] [j34] [j33] [j31] [c157] [c155] [c154] [c153] [c152] [c151] [c149] [c148] [c147] [c145] [c144] [c143] [c142] [c140] [c139] [i15] [i13] [j30] [j29] [j26] [c137] [c134] [c133] [c131] [c128] [c127] [c126] [c125] [i12] [i11] [j25] [j24] [j23] [j20] [j19] [j18] [c123] [c121] [c120] [c119] [c116] [e4] [e3] [i10] [i9] [i8] [i7] [j17] [j16] [j15] [j14] [c115] [c114] [c113] [c110] [c109] [c108] [c106] [c105] [c104] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [e2] [c94] [c92] [c91] [c89] [c88] [c87] [c83] [c81] [c79] [c78] [c77] [c76] [c75] [c74] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c59] [c58] [c57] [c55] [c53] [c52] [c50] [c49] [c48] [c47] [c43] [c41] [c40] [c39] [c38] [c36] [c35] [c34] [c31] [c30] [c29]
Bei Shui Liao
aka: Beishui Liao
aka: Beishui Liao
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
