Leiter

Research Scientist

Forscher

Doktorand

Guest Professor

Past Members

Frühere Gastmitglieder

In Press

Journal Article

• A Polynomial Time Subsumption Algorithm for Nominal Safe $ELO_{\bot}$ under Rational Closure, Casini Giovanni, Straccia Umberto, Meyer Thomas. In: Information Sciences, Elsevier.
• On Rational Entailment for Propositional Typicality Logic, Booth Richard, Casini Giovanni, Meyer Thomas, Varzinczak Ivan. In: Artificial Intelligence, Elsevier.

2023

Journal Article

• Probabilistic Deontic Logics for Reasoning about Uncertain Norms, de Wit Vincent, Doder Dragan, Meyer John Jules. In: IfCoLog Journal of Logics and Their Applications.

Conference Paper

• User Requirement Analysis for a Real-Time NLP-Based Open Information Retrieval Meeting Assistant, Alcaraz Benoît, Hosseini Kivanani Nina, Najjar Amro, Bongard-Blanchy Kerstin, Alcaraz Benoît (Author), Hosseini Kivanani Nina (Author), Najjar Amro (Author), Bongard Kerstin (Author). In: Advances in Information Retrieval, Springer, Cham.

2022

Book

• Artificial Intelligence and Machine Learning - 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10-12, 2021, Revised Selected Papers., Leiva Luis A., Pruski Cedric, Markovich Réka, Najjar Amro, Schommer Christoph, Springer.
• Logics for New-Generation AI, Liao Beishui, Markovich Réka, Wáng Yí, College Publications.

Journal Article

• Conciliatory views, higher-order disagreements, and defeasible logic, Knoks Aleks. In: Synthese, D. Reidel Pub. Co..
• Defeasible Deontic Logic: Arguing about Permission and Obligation, Dong Huimin, Liao Beishui, Markovich Réka, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications, College Publications.
• Detachment in Normative Systems: Examples, Inference Patterns, Properties, van der Torre Leon, Parent Xavier. In: IfCoLog Journal of Logics and Their Applications, College Publications.
• Ensuring reference independence and cautious monotony in abstract argumentation, Kampik Timotheus, Nieves Juan Carlos, Gabbay Dov M.. In: International Journal of Approximate Reasoning, Elsevier Inc..
• Modular Orders on Defaults in Formal Argumentation, Pardo Ventura Pere, Strasser Christian. In: Journal of Logic and Computation, Oxford University Press.
• Multi-agent Argumentation and Dialogue, Arisaka Ryuta, Dauphin Jérémie, Satoh Ken, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications, College Publications.
• Normative Change: An AGM Approach, Maranhão Juliano, Casini Giovanni, Pigozzi Gabriella, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications, College Publications.
• Reasoning on conflicting information: An empirical study of Formal Argumentation, Guillaume Mathieu, Cramer Marcos, van der Torre Leon, Schiltz Christine. In: PLoS ONE, Public Library of Science.
• The Law of Evidence and Labelled Deduction: Ten Years Later, Woods John G., Gabbay Dov M.. In: Journal of Applied Logic, College Publications.

Conference Paper

• An Evaluation of Methodologies for Legal Formalization, Libal Tomer, Novotná Tereza. In: Lecture Notes in Computer Science 13283, Springer 2022,.
• BelElect: A New Dataset for Bias Research from a ”Dark” Platform, Hoehn Sviatlana, Mauw Sjouke, Asher Nicholas. In: Vol. 16 (2022): Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, AAAI.
• Case-Based Reasoning via Comparing the Strength Order of Features, Yu Liuwen, Gabbay Dov M.. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH.
• Challenges of protecting confidentiality in social media data and their ethical import, Rossi Arianna, Arenas Correa Monica Patricia, Kocyigit Emre, Hani Moad. In: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
• Context, Prioritization, and Unexpectedness: Factors Influencing User Attitudes About Infographic and Comic Consent, Doan Xengie Cheng, Selzer Annika, Rossi Arianna, Botes Wilhelmina Maria, Lenzini Gabriele. In: Web Conference Companion Volume (ACM), ACM.
• Data Protection and Consenting Communication Mechanisms: Current Proposals and Challenges, Human Soheil, Degeling Martin, Santos Christiana, Pandit Harshvardhan, Morel , Rossi Arianna, Botes Wilhelmina Maria, Jesus Vitor, Kamara Irene. In: IEEE eXplore.
• Dynamic Deontic Logic for Permitted Announcements, Li Xu, Gabbay Dov M., Markovich Réka. In: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, International Joint Conferences on Artificial Intelligence.
• Enhancing Trust in Trust Services: Towards an Intelligent Human-input-based Blockchain Oracle (IHiBO), Yu Liuwen, Zichichi Mirko, Markovich Réka, Najjar Amro. In: Proceedings of the 55th Annual Hawaii International Conference on System Sciences.
• Intelligent Human-input-based Blockchain Oracle (IHiBO), Yu Liuwen, Zichichi Mirko, Markovich Réka, Najjar Amro. In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1.
• IRRMA: An Image Recommender Robot Meeting Assistant, Alcaraz Benoît, Hosseini Kivanani Nina, Najjar Amro. In: IRRMA: An Image Recommender Robot Meeting Assistant.
• Lightweight Permutation-Based Cryptography for the Ultra-Low-Power Internet of Things, Alsahli Malik Ruzayq M, Borgognoni Alex, Cardoso Dos Santos Luan, Cheng Hao, Franck Christian, Groszschädl Johann, Bella Giampaolo (Editor), Doinea Mihai (Editor), Janicke Helge (Editor). In: Innovative Security Solutions for Information Technology and Communications, 15th International Conference, SECITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers, Springer Verlag.
• Non-Admissibility in abstract argumentation, Dvorak Wolfgang, Rienstra Tjitze, van der Torre Leon, Woltran Stefan. In: Frontiers in Artificial Intelligence and Applications, IOS Press BV.
• The LegAi Editor: A Tool for the Construction of Legal Knowledge Bases, Libal Tomer. In: Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbrücken, Germany, 14-16 December 2022. Frontiers in Artificial Intelligence and Applications 362, IOS Press 2022.
• Transfer Learning for Deontic Rule Classification: the Case Study of the GDPR, Liga Davide, Palmirani Monica. In: INTERNATIONAL CONFERENCE ON LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, Saarbrücken 14-16 December 2022, EasyChair.
• Unwinding a Legal and Ethical Ariadne’s Thread Out of the Twitter Scraping Maze, Rossi Arianna, Kumari Archana, Lenzini Gabriele, Schiffner Stefan (Editor), Ziegler Sebastien (Editor), Quesada Rodriguez Adrian (Editor). In: Data Protection Law International Convergence and Compliance with Innovative Technologies (DPLICIT), Springer.
• Value-based practical reasoning: Modal Logic + Argumentation, Luo Jieting, Liao Beishui, Gabbay Dov M.. In: Frontiers in Artificial Intelligence and Applications, IOS Press BV.
• Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter juristischer Entscheidungen, Adrian Axel, Rapp Max, Steen Alexander. In: Recht DIGITAL – 25 Jahre IRIS, Proceedings of the International Legal Informatics Symposium (IRIS 2022).
• What if data protection embraced foresight and speculative design?, Rossi Arianna, Chatellier Regis, Leucci Stefano, Ducato Rossana, Hary Estelle. In: DRS2022: Bilbao.
• XAI and philosophical work on explanation: A roadmap, Knoks Aleks, Raleigh Thomas. In: Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming, CEUR-WS.org.
• XAI: Using Smart Photobooth for Explaining History of Art, Najjar Amro, Hosseini Kivanani Nina, Tchappi Haman Igor, Mualla Yazan, Van der Peijl Egberdien, Karpati Daniel, Schommer Christoph. In: XAI: Using Smart Photobooth for Explaining History of Art.

Thesis

• ARGUMENT MINING AND ITS APPLICATIONS IN POLITICAL DEBATES, Haddadan Shohreh, Jury: van der Torre Leon (Promotor), Villata Serena (Promotor), Schommer Christoph (President), Tonelli Sara (Member), Stede Manfred (Member).
• "Dark Cookie" - A serious game to train users to spot and interact with dark patterns in cookie banners, Akinyemi Opeyemi Priscilla, Jury: Lenzini Gabriele (Promotor), Rossi Arianna (Promotor), Koenig Vincent (Member).
• Figuring out where you are on the Moon: The selection and validation of different pose-estimation techniques for lunar surface robotics., Ludivig Philippe, Jury: Voos Holger (Promotor), Olivares Mendez Miguel Angel (President), van der Torre Leon (Member), Hochgeschwender Nico (Member), Lamamy Julien-Alexandre (Member).
• Hybrid Artificial Intelligence to extract patterns and rules from argumentative and legal texts, Liga Davide, Jury: Palmirani Monica (Promotor), van der Torre Leon (Promotor), Lorini Emiliano (Member), Ballardini Rosa (Member), Mancarella Marco (Member).

2021

Book

• Proceedings of BNAIC/BeneLearn 2021, Leiva Luis A., Pruski Cedric, Markovich Réka, Najjar Amro, Schommer Christoph, BnL.

Book Chapter

• Back to the Future with Icons and Images: "Low-Tech" to Communicate and Protect Privacy and Data, Botes Wilhelmina Maria, Rossi Arianna, Ducato Rossana (Editor), Strowel Alain (Editor). In: Legal Design Perspectives. Theoretical and Practical Insights from the Field, Ledi Publishing.
• Proactive Legal Design for Health Data Sharing based on Smart Contracts, Rossi Arianna, Haapio Helena, Corrales Compagnucci Marcelo (Editor), Fenwick Mark (Editor), Wrbka Stefan (Editor). In: Smart Contracts. Technological, Business and Legal Perspectives, Hart Publishing.

Journal Article

• Conciliatory reasoning, self-defeat, and abstract argumentation, Knoks Aleks. In: Review of Symbolic Logic, Cambridge University Press.
• Contratto autonomo di garanzia: differenze funzionali con il contratto di fideiussione, Carli Rachele. In: I Contratti.
• Contratto autonomo di garanzia e fideiussione: differenze in ordine alla funzione e all'oggetto della prestazione, Carli Rachele. In: Responsabilità civile e previdenza.
• Extensional Higher-Order Paramodulation in Leo-III, Steen Alexander, Benzmüller Christoph. In: Journal of Automated Reasoning, Kluwer Academic Publishers.
• Functions-as-constructors Higher-order Unification: Extended Pattern Unification, Libal Tomer, Miller Dale. In: Annals of Mathematics and Artificial Intelligence.
• Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account, Carnielli Walter, Coniglio Marcelo, Fuenmayor Pelaez David. In: Review of Symbolic Logic, Cambridge University Press.
• Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic, Knoks Aleks. In: Ergo, An Open Access Journal of Philosophy, Michigan Publishing.
• Populating legal ontologies using semantic role labeling, Humpreys Lilo, Boella Guido, van der Torre Leon, Robaldo Livio, Di Caro Luigi, Ghanavati Sepideh, Muthuri Robert. In: Artificial Intelligence and Law, Kluwer Academic Publishers.
• Preface - Journal of Applied Logics, Gabbay Dov M., Giacomin Massimiliano, Simari Guillermo Ricardo, Thimm Matthias. In: IfCoLog Journal of Logics and Their Applications, College Publishing.
• Rethinking Trust in Social Robotics, Carli Rachele, Najjar Amro. In: arXiv.
• Social robotics and deception: beyond the ethical approach, Carli Rachele. In: Proceedings of BNAIC/BeneLearn 2021, BnL.
• What is Negation in a System 2020?, Gabbay Dov M.. In: IfCoLog Journal of Logics and Their Applications, College Publishing.

Conference Paper

• A Brief Introduction to the Shkop Approach to Conflict Resolution in Formal Argumentation, Gabbay Dov M., Kampik Timotheus, Liao Beishui (Author), Jieting Luo (Author), van der Torre Leon (Author). In: Logics for New-Generation AI 2021, College Publications.
• A Flexible Approach to Argumentation Framework Analysis using Theorem Proving, Fuenmayor Pelaez David, Steen Alexander. In: First International Workshop on Logics for New-Generation Artificial Intelligence, College Publications.
• A Logical Analysis of Freedom of Thought, Markovich Réka, Roy Olivier. In: Deontic Logic and Normative Systems, College Publications.
• A Principle-based Analysis of Abstract Agent Argumentation Semantics, Yu Liuwen, Chen Dongheng, Qiao Lisha, Shen Yiqi, van der Torre Leon, Bienvenu Meghyn (Author), Lakemeyer Gerhard (Author), Erdem Esra (Author). In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021, IJCAI Organization.
• Arguing coalitions in abstract argumentation, Qiao Lisha, Shen Yiqi, Yu Liuwen, Liao Beishui, van der Torre Leon, Liao Beishui (Author), Luo Jieting (Author), van der Torre Leon (Author). In: Logics for New-Generation AI 2021, College Publications.
• Argumentation in Trust Services within a Blockchain Environment, Yu Liuwen, Zichichi Mirko, Najjar Amro, Markovich Réka, Leiva Luis A. (Author), Pruski Cedric (Author), Najjar Amro (Author), Markovich Réka (Author), Schommer Christoph (Author). In: Proceedings of the 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning (BNAIC/BENELEARN 2021).
• Base Argumentation as an Abstraction of Deductive Argumentation, Chen Jinsheng, Liao Beishui, van der Torre Leon, Baroni Pietro (Author), Benzmüller Christoph (Author), Wáng Yì N. (Author). In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, Springer.
• Cause of Action and the Right to Know, Markovich Réka, Roy Olivier. In: Legal Knowledge and Information Systems.
• Cookie Banners, What’s the Purpose? Analyzing Cookie Banner Text Through a Legal Lens, Santos Cristiana, Rossi Arianna, Sanchez Chamorro Lorena, Bongard Kerstin, Abu-Salma Ruba. In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (CCS '21), ACM.
• Examining Linguisic Biases with a Game Teoretic Analysis, Hoehn Sviatlana, Mauw Sjouke, Asher Nicholas. In: Proceedings of the 3rd Multidisciplinary International Symposium on Disinformation in Open Online Media, Springer.
• Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge, Calvaresi Davide, Ciatto Giovanni, Najjar Amro, Aydogan Reyhan, van der Torre Leon, Omicini Andrea, Schumacher Michael, Calvaresi Davide (Author), Najjar Amro (Author), Winikoff Michael (Author), Främling Kary (Author). In: Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers, Springer.
• Experiments in Causality and STIT, Streit David D. In: Proceedings of the First International Workshop on Logics for the New Generation Artificial Intelligence.
• Explainable Reasoning in Face of Contradictions: From Humans to Machines, Kampik Timotheus, Gabbay Dov M., Calvaresi Davide (Author), Najjar Amro (Author), Winikoff Michael (Author), Främling Kary (Author). In: Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers, Springer.
• Formalizing the Right to Know – Epistemic Rights as Normative Positions, Markovich Réka, Roy Olivier. In: Logics for New-Generation AI 2021.
• Goal-Directed Decision Procedures for Input/Output Logics, Steen Alexander, Marra Alessandra (Editor), Liu Fenrong (Editor), Portner Paul (Editor), Van De Putte Frederik (Editor). In: Deontic Logic and Normative Systems: 15th International Conference (DEON 2020/2021), College Publications.
• "I am definitely manipulated, even when I am aware of it. It’s ridiculous!" - Dark Patterns from the End-User Perspective, Bongard-Blanchy Kerstin, Rossi Arianna, Rivas Salvador, Doublet Sophie, Koenig Vincent, Lenzini Gabriele. In: Proceedings of ACM DIS Conference on Designing Interactive Systems, ACM.
• Lightweight EdDSA Signature Verification for the Ultra-Low-Power Internet of Things, Groszschädl Johann, Franck Christian, Liu Zhe, Deng Robert (Editor), Bao Feng (Editor), Wang Guilin (Editor), Shen Jian (Editor), Ryan Mark (Editor), Meng Weizhi (Editor), Wang Ding (Editor). In: Information Security Practice and Experience, 16th International Conference, ISPEC 2021, Nanjing, China, December 17–19, 2021, Proceedings, Springer Verlag.
• Moral Principles: Hedged, Contributory, Mixed, Knoks Aleks, Knoks Aleks (Author). In: Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021, College Publications.
• New-Generation AIs Reasoning about Norms and Values, Markovich Réka, Najjar Amro, van der Torre Leon. In: Logics for New-Generation AI 2021.
• New Weak Admissibility Semantics for Abstract Argumentation, Dauphin Jérémie, Rienstra Tjitze, van der Torre Leon. In: International Conference on Logic and Argumentation.
• Optimized Implementation of SHA-512 for 16-bit MSP430 Microcontrollers, Franck Christian, Groszschädl Johann, Ryan Peter Y A (Editor), Toma Cristian (Editor). In: Innovative Security Solutions for Information Technology and Communications 14th International Conference, SECITC 2021, Virtual Event, November 25-26, 2021, Revised Selected Papers, Springer Verlag.
• The Burden of Persuasion in Abstract Argumentation, Kampik Timotheus, Gabbay Dov M., Sartor Giovanni, Baroni Pietro (Author), Benzmüller Christoph (Author), Wang Yiqun (Author). In: Logic and Argumentation - 4th International Conference, CLAR 2021 Hangzhou, China, October 20-22, 2021, Proceedings, Springer.
• The Degrees of Monotony-Dilemma in Abstract Argumentation, Kampik Timotheus, Gabbay Dov M., Vejnarová Jirina (Author), Wilson Nic (Author). In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic September 21-24, 2021, Proceedings, Springer.
• Towards Transparent Legal Formalization, Libal Tomer, Novotna Tereza. In: Explainable and Transparent AI and Multi-Agent Systems.
• Value-oriented Legal Argumentation in Isabelle/HOL, Benzmüller Christoph, Fuenmayor Pelaez David. In: International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings.
• Visualisation Techniques for Consent: Finding Common Ground in Comic Art with Indigenous Populations, Botes Wilhelmina Maria, Rossi Arianna. In: 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
• What does it cost to deploy an XAI system: A case study in legacy systems[alt. 1], Hoehn Sviatlana, Faradouris Niko. In: Proceedings of EXTRAAMAS 2021.
• Which Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography, Rossi Arianna, Lenzini Gabriele. In: Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST), Springer.

Thesis

• Face-swap Deepfake Detection Using High-frequency Components, Mejri Nesryne, Jury: Aouada Djamila (Promotor), van der Torre Leon (Member).
• Generating 3D Dances From Music Using Deep Neural Networks, Dupont Elona, Jury: Aouada Djamila (Promotor), Kacem Anis (Promotor), Baptista Renato (Promotor), van der Torre Leon (President).

Miscellaneous Writing

• BelElect Dataset, Hoehn Sviatlana.

2020

Book Chapter

• Talmudic Norms Approach to Mixtures with a Solution to the Paradox of the Heap: A Position Paper, David Esther, David Rabbi S., Gabbay Dov M., Schild Uri J.. In: Beyond Faith and Rationality, Springer.
• What's in an Icon? Promises and Pitfalls of Data Protection Iconography, Rossi Arianna, Palmirani Monica, Leenes Ronald (Editor), Hallinan Dara (Editor), Gutwirth Serge (Editor), de Hert Paul (Editor). In: Data Protection and Privacy: Data Protection and Democracy, Hart Publishing.

Journal Article

• Can Visual Design Provide Legal Transparency? The Challenges for Successful Implementation of Icons for Data Protection, Rossi Arianna, Palmirani Monica. In: Design Issues, Massachusetts Institute of Technology.
• Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support, Benzmüller Christoph, Parent Xavier, van der Torre Leon. In: Artificial Intelligence and Law, Elsevier.
• Developing AI Logic for Social Reasoning, Dong Huimin, Markovich Réka, van der Torre Leon. In: Journal of Zhejiang University.
• Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III, Steen Alexander. In: KI – Künstliche Intelligenz, Springer.
• Intention as commitment toward time, van Zee Marc, Doder Dragan, van der Torre Leon, Dastani Mehdi, Icard Thomas, Pacuit Eric. In: Artificial Intelligence and Law, Elsevier.
• Introducing Abstract Argumentation with Many Lives, Gabbay Dov M.. In: Journal of Applied Logic, Elsevier.
• Legal Data Actions, Syi , Hamp Gábor, Markovich Réka. In: Jusletter IT.
• LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset), Benzmüller Christoph, Farjami Ali, Fuenmajor David, Meder Paul Joseph Yves, Parent Xavier, Steen Alexander, van der Torre Leon, Zahoransky Valeria. In: Data in Brief, Elsevier.
• Making the Case for Evidence-based Standardization of Data Privacy and Data Protection Visual Indicators, Rossi Arianna, Lenzini Gabriele. In: Journal of Open Access to Law.
• Mining and Reasoning with Legal Texts – MIREL 2019, Casini Giovanni, Di Caro Luigi, Governatori Guido, Leone Valentina, Markovich Réka. In: CEUR Workshop Proceedings.
• NAI: Towards Transparent and Usable Semi-Automated Legal Analysis, Libal Tomer, Steen Alexander. In: Jusletter IT, Editions Weblaw.
• Normality, non-contamination and logical depth in classical natural deduction, D’Agostino Marcello, Gabbay Dov M., Modgil Sanjay. In: Studia Logica, Springer.
• Populating legal ontologies using semantic role labeling, Humphreys Llio, Boella Guido, van der Torre Leon, Robaldo Livio, Di Caro Luigi, Ghanavati Sepideh, Muthuri Robert. In: Artificial Intelligence and Law, Springer.
• Transparency by Design in Data-Informed Research: a Collection of Information Design Patterns, Rossi Arianna, Lenzini Gabriele. In: Computer Law & Security Review, Elsevier.

Conference Paper

• A bimodal simulation of defeasibility in thenormative domain, Libal Tomer, van der Torre Leon, Gabbay Dov M., Pascucci Matteo. In: CEUR Workshop Proceedings.
• A First Approach to Argumentation Label Functions, Cramer Marcos, Dauphin Jérémie. In: Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020, IOS Press.
• A Meta-level Annotation Language for Legal Texts, Libal Tomer. In: Lecture Notes in Computer Science, Springer.
• A Principle-Based Analysis of Weakly Admissible Semantics, Dauphin Jérémie, Rienstra Tjitze, van der Torre Leon. In: Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020, IOS Press.
• Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees., Gabbay Dov M., Horne Ross James, Mauw Sjouke, van der Torre Leon. In: Graphical Models for Security - 7th International Workshop.
• Ethical Concerns and Opportunities in Binding Intelligent Systems and Blockchain Technology, Calvaresi Davide, Piguet Jean-Gabriel, Calbimonte Jean-Paul, Kampik Timotheus, Najjar Amro, Gadek Guillaume, Schumacher Michael, Prieta Fernando De La, Mathieu Philippe, Arango Jaime Andrés Rincón, Bolock Alia El, Val Elena Del, Prunera Jaume Jordán, Carneiro João, Fuentes Rubén, Lopes Fernando, Julián Vicente. In: Highlights in Practical Applications of Agents, Multi-Agent Systems and Trust-worthiness. The PAAMS Collection - International Workshops of PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings, Springer.
• Fast and Flexible Elliptic Curve Cryptography for Dining Cryptographers Networks, Dupont Elona, Franck Christian, Groszschädl Johann, Bouzefrane Samia (Editor), Laurent Maryline (Editor), Boumerdassi Selma (Editor), Eric Renault (Editor). In: Mobile, Secure, and Programmable Networking, 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers, Springer Verlag.
• Forgetting an Argument, Baumann Ringo, Gabbay Dov M., Rodrigues Odinaldo. In: Proceedings of the AAAI Conference on Artificial Intelligence.
• Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting, Oliveira Tiago, Dauphin Jérémie, Satoh Ken, Tsumoto Shusaku, Novais Paulo. In: Logic and Argumentation - Third International Conference, CLAR 2020 Hangzhou, China, April 6-9, 2020, Proceedings, Springer.
• Heuristic Evaluation of COVID-19 Chatbots, Hoehn Sviatlana, Bongard Kerstin. In: Proceedings of CONVERSATIONS 2020.
• Interpretation of Support among Arguments, Yu Liuwen, Markovich Réka, van der Torre Leon. In: Legal Knowledge and Information Systems – Frontiers in Artificial Intelligence and Application Series.
• Interpretations of Support Among Arguments, Yu Liuwen, Markovich Réka, van der Torre Leon. In: Proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020).
• NAI: Towards Transparent and Usable Semi-Automated Legal Analysis, Libal Tomer, Steen Alexander, Schweighöfer Erich (Editor), Hötzendorfer Walter (Editor), Kummer Franz (Editor), Saarenpää Ahti (Editor). In: Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen Rechtsinformatik Symposions IRIS 2020, Editions Weblaw.
• The Higher-Order Prover Leo-III (Highlight paper), Steen Alexander, Benzmüller Christoph. In: Proceedings of the 24th European Conference on Artificial Intelligence, IOS Press.
• Towards an Executable Methodology for the Formalization of Legal Texts, Libal Tomer, Steen Alexander, Dastani Mehdi (Editor), Dong Huimin (Editor), van der Torre Leon (Editor). In: Logic and Argumentation. CLAR 2020, Springer.
• Towards Automating Inconsistency Checking of Legal Texts, Libal Tomer, Tereza . In: Towards Automating Inconsistency Checking of Legal Texts.

Thesis

• Argument Acceptance and Commitment in Formal Argumentation, Dauphin Jérémie, Jury: van der Torre Leon (Promotor), Mauw Sjouke (President), Liao Beishui (Member), Satoh Ken (Member), Thimm Matthias (Member).
• Discursive Input/Output Logic: Deontic Modals, and Computation, Farjami Ali, Jury: van der Torre Leon (Promotor).
• Foundations of an Ethical Framework for AI Entities: the Ethics of Systems, Dameski Andrej, Jury: Sartor Giovanni (Promotor), van der Torre Leon (Promotor), Araszkiewicz Michał (President), Lorini Emiliano (Member), Maranhão Juliano (Member).

2019

Book

• Artificial Companion for Second Language Conversation, Höhn Sviatlana, Springer International Publishing.
• KI 2019: Advances in Artificial Intelligence -- 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings, Benzmüller Christoph, Stuckenschmidt Heiner, Springer, Cham, Cham.
• RuleML+RR 2019 Doctoral Consortium and Rule Challenge, Soylu Ahmet, Moschoyiannis Sotiris, Governatori Guido, Simkus Mantas, Stefaneas Petros, Steen Alexander, Giurca Adrian, CEUR-WS.org.
• Selected Student Contributions and Workshop Papers of LuxLogAI 2018, Benzmüller Christoph, Parent Xavier, Steen Alexander, EasyChair.
• Theories of Joint Ownership in Talmudic Logic (Hebrew), Abraham Michael, Belfer Israel, Gabbay Dov M., Collge Publications.

Book Chapter

• A Computational-Hermeneutic Approach for Conceptual Explicitation, Fuenmayor David, Benzmüller Christoph, Nepomuceno A. (Editor), Magnani L. (Editor), Salguero F. (Editor), Bares C. (Editor), Fontaine M. (Editor). In: Model-Based Reasoning in Science and Technology -- Inferential Models for Logic, Language, Cognition and Computation, Springer.
• A dynamic approach for combining abstract argumentation semantics, Dauphin Jérémie, Cramer Marcos, van der Torre Leon. In: Dynamics, Uncertainty and Reasoning, Springer.
• A KLM Perspective on Defeasible Reasoning for Description Logics, Britz Katarina, Casini Giovanni, Meyer Thomas, Varzinczak Ivan, Turhan Anni-Yasmin (Author), Wolter Frank (Author), Lutz Carsten (Editor), Sattler Uli (Editor), Tinelli Cesare (Editor). In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer.
• Argumentation as information input, Gabbay Dov M., Gabbay Michael. In: Argumentation-based Proofs of Endearment, College Publications.
• DaPIS: an Ontology-Based Data Protection Icon Set, Rossi Arianna, Palmirani Monica, Peruginelli Ginevra (Editor), Faro Sebastiano (Editor). In: Knowledge of the Law in the Big Data Age, IOS Press.
• Machine Argumentation. Can We Replace Taxi Drivers by Robots?, Gabbay Dov M., Cramer Marcos, Dauphin Jérémie, Farjami Ali, Rivlin Lydia, van der Torre Leon. In: Natural Argument, A tribute to John Woods, College Publications.

Journal Article

• Åqvist's Dyadic Deontic Logic E in HOL, Benzmüller Christoph, Farjami Ali, Parent Xavier. In: IfCoLog Journal of Logics and Their Applications.
• A Structured Argumentation Framework for Modeling Debates in the Formal Sciences, Cramer Marcos, Dauphin Jérémie. In: Journal for General Philosophy of Science, Springer.
• Automating Free Logic in HOL, with an Experimental Application in Category Theory, Benzmüller Christoph, Scott Dana. In: Journal of Automated Reasoning, Kluwer Academic Publishers.
• Church's Type Theory, Benzmüller Christoph, Andrews Peter. In: Stanford Encyclopedia of Philosophy, Stanford University.
• Computer Science and Metaphysics: A Cross-Fertilization, Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.. In: Open Philosophy, De Gruyter Open.
• Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base, Robaldo Livio, Bartolini Cesare, Lenzini Gabriele, Rossi Arianna, Palmirani Monica, Martoni Michele. In: Journal of Logic, Language and Information.
• Higher-Order Theorem Proving and its Applications, Steen Alexander. In: IT-Information Technology, De Gruyter.
• I/O Logic in HOL, Benzmüller Christoph, Farjami Ali, Meder Paul Joseph Yves, Parent Xavier. In: IfCoLog Journal of Logics and Their Applications.
• Mechanizing Principia Logico-Metaphysica in Functional Type Theory, Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.. In: Review of Symbolic Logic, Cambridge University Press.
• Report on the Second International Joint Conference on Rules and Reasoning, Benzmüller Christoph, Parent Xavier, Ricca Francesco. In: AI Magazine.
• Rights and Punishment: The Hohfeldian Theory’s Applicability and Morals in Understanding Criminal Law, Markovich Réka. In: IfCoLog Journal of Logics and Their Applications.
• The DAta Protection REgulation COmpliance Model, Bartolini Cesare, Lenzini Gabriele, Robaldo Livio. In: IEEE Security and Privacy, IEEE Computer Society.
• The Talmudic Logic Project, Ongoing Since 2008, Gabbay Dov M., Schild Uri, David Esther. In: Logica Universalis, Springer.
• Two Limitations in Legal Knowledge Base Constructing and Formalizing Law, Markovich Réka. In: IfCoLog Journal of Logics and Their Applications.
• “Understanding Hohfeld and Formalizing Legal Rights: the Hohfeldian Conceptions and Their Conditional Consequences, Markovich Réka. In: Studia Logica, Kluwer Academic Publishers.
• Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset), Benzmüller Christoph. In: Data in Brief.
• When Design Met Law: Design Patterns for Information Transparency, Rossi Arianna, Ducato Rossana, Haapio Helena, Passera Stefania. In: Droit de la Consommation, Université Catholique de Louvain. Centre de Droit de la Consommation.

Conference Paper

• A Personalized Sentiment Model with Textual and Contextual Information, Guo Siwen, Höhn Sviatlana, Schommer Christoph. In: The SIGNLL Conference on Computational Natural Language Learning, Hong Kong 3-4 November 2019.
• Arbitrary Ranking of Defeasible Subsumption, Casini Giovanni, Harrison Michael, Meyer Thomas, Swan Reid. In: Proceedings of the 32nd International Workshop on Description Logics, CEUR.
• Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI, Fuenmayor David, Benzmüller Christoph. In: 16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019) --- Bridging across Academic Cultures, Book of Abstracts.
• Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse, Benzmüller Christoph, Kovac Srecko (Author), Swietorzecka Kordula (Author). In: Formal Methods and Science in Philosophy III, Informal Proceedings.
• Conversational Interfaces for Explainable AI: A Human-Centered Approach, Jenzsch Sophie, Höhn Sviatlana, Hochgeschwender Nico. In: Proceedings of EXTRAAMAS 2019.
• Crafting Conversational Agents' Personality in a User-Centric Context, Mano Ferreira Cátia, Höhn Sviatlana. In: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019).
• DISPUTool -- A tool for the Argumentative Analysis of Political Debates, Haddadan Shohreh, Villata Serena, Cabrio Elena. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}.
• Explainable ASP, Dauphin Jérémie, Satoh Ken. In: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings.
• From Classical to Non-monotonic Deontic Logic Using ASPIC+, Dong Huimin, Liao Beishui, Markovich Réka, van der Torre Leon. In: Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings.
• Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories, Fuenmayor David, Benzmüller Christoph, Nayak A. (Editor), Sharma A. (Editor). In: PRICAI 2019: Trends in Artificial Intelligence, Springer International Publishing.
• Legal Design Patterns: Towards A New Language for Legal Information Design, Rossi Arianna, Ducato Rossana, Haapio Helena, Passera Stefania, Schweighofer Erich (Editor), Kummer Franz (Editor), Saarenpää Ahti (Editor). In: 22nd International Legal Infomatics Symposium IRIS 2019.
• Looking into the Past: Evaluating the Effect of Time Gaps in a Personalized Sentiment Model, Guo Siwen, Höhn Sviatlana, Schommer Christoph. In: ACM/SIGAPP Symposium On Applied Computing, Limassol 8-12 April 2019.
• NAI: The Normative Reasoner, Libal Tomer, Steen Alexander, Bex Floris (Editor). In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, ACM.
• On the Formal Structure of Rules in Conflict of Laws, Markovich Réka. In: Legal Knowledge and Information Systems 2019 (proceedings), IOS Press.
• Personalized Sentiment Analysis and a Framework with Attention-Based Hawkes Process Model, Guo Siwen, Höhn Sviatlana, Xu Feiyu, Schommer Christoph. In: Agents and Artificial Intelligence, Springer.
• Proactive Legal Design: Embedding Values in the Design of Legal Artefacts, Rossi Arianna, Haapio Helena, Schweighofer Erich (Editor), Kummer Franz (Editor), Saarenpää Ahti (Editor). In: International Legal Infomatics Symposium IRIS 2019.
• SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability, Cramer Marcos, van der Torre Leon. In: Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019.
• Simple Conditionals with Constrained Right Weakening, Casini Giovanni, Meyer Thomas, Varzinczak Ivan. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019).
• Taking Defeasible Entailment beyond Rational Closure, Casini Giovanni, Meyer Thomas, Varzinczak Ivan. In: Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA-19), Springer.
• The Higher-Order Prover Leo-III (Extended Abstract), Steen Alexander, Benzmüller Christoph, Benzmüller Christoph (Editor), Stuckenschmidt Heiner (Editor). In: {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings, Springer.
• The NAI Suite - Drafting and Reasoning over Legal Texts, Libal Tomer, Steen Alexander, Araszkiewicz Michal (Editor), Rodriguez-Doncel Victor (Editor). In: Legal Knowledge and Information Systems - JURIX2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019, IOS.
• Topic-based Historical Information Selection for Personalized Sentiment Analysis, Guo Siwen, Höhn Sviatlana, Schommer Christoph. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges 24-26 April 2019.

Thesis

• Automated Identification of National Implementations of European Union Directives With Multilingual Information Retrieval Based On Semantic Textual Similarity, Nanda Rohan, Jury: van der Torre Leon (Promotor).
• CONFIDENCE-BASED DECISION-MAKING SUPPORT FOR MULTI-SENSOR SYSTEMS, Neyens Gilles, Jury: Zampunieris Denis (Promotor), van der Torre Leon (President), Waber Jens (Member), Cleve Anthony (Member), Navet Nicolas (Member).
• Deep Neural Networks for Personalized Sentiment Analysis with Information Decay, Guo Siwen, Jury: Schommer Christoph (Promotor), van der Torre Leon (President), Ziafati Pouyan (Member), Dong Tiansi (Member), Hui Kai (Member).
• Legal Design for the General Data Protection Regulation. A Methodology for the Visualization and Communication of Legal Concepts, Rossi Arianna, Jury: Palmirani Monica (Promotor), van der Torre Leon (Promotor), Lorini Giuseppe (President), Mahler Tobias (Member), Durante Massimo (Member).
• Robotic Trajectory Tracking: Position- and Force-Control, Klecker Sophie, Jury: Plapper Peter (Promotor), Voos Holger (President), van der Torre Leon (Member), Abba Gabriel (Member), Brüls Olivier (Member).

2018

Book

• Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III, Steen Alexander, AKA-Verlag.
• GCAI-2018. 4th Global Conference on Artificial Intelligence, Lee Daniel, Steen Alexander, Walsh Toby, EasyChair.
• Introduction to Deontic Logic and Normative Systems, Parent Xavier, van der Torre Leon, College Publications.
• Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, Benzmüller Christoph, Ricca Francesco, Parent Xavier, Roman Dumitru, Springer.

Book Chapter

• Argumentation as Exogenous Coordination, van der Torre Leon, Rienstra Tjitze, Gabbay Dov M.. In: It's All About Coordination, Springer.
• From Words to Images Through Legal Visualization, Rossi Arianna, Palmirani Monica, Pagallo Ugo (Editor), Palmirani Monica (Editor), Casanovas Pompeu (Editor), Sartor Giovanni (Editor), Villata Serena (Editor). In: AI Approaches to the Complexity of Legal Systems: AICOL International Workshops 2015–2017: AICOL-VI@ JURIX 2015, AICOL-VII@ EKAW 2016, AICOL-VIII@ JURIX 2016, AICOL-IX@ ICAIL 2017, and AICOL-X@ JURIX 2017, Revised Selected Papers, Springer Cham.

Journal Article

• A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument, Fuenmayor David, Benzmüller Christoph. In: IfCoLog Journal of Logics and Their Applications, College Publishing.
• Arguing about constitutive and regulative norms, Pigozzi Gabriella, van der Torre Leon. In: Journal of Applied Non-Classical Logics.
• ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics, Benzmüller Christoph, Otten Jens. In: CEUR Workshop Proceedings, RWTH Aachen University.
• Axiom Systems for Category Theory in Free Logic, Benzmüller Christoph, Scott Dana S.. In: Archive of Formal Proofs.
• Benchmark Dataset for Evaluation of Range-Based People Tracker Classifiers in Mobile Robots, Álvarez-Aparicio Claudia, Guerrero-Higueras Ángel Manuel, Olivera Maria Carmen Calvo, Rodriguez Lera Francisco Javier, Martín Francisco, Matellán Vicente. In: Frontiers in Neurorobotics.
• Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL, Fuenmayor David, Benzmüller Christoph. In: Archive of Formal Proofs, SourceForge.
• HiMoP: A three-component architecture to create more human-acceptable social-assistive robots, Rodriguez Lera Francisco Javier, Matellán-Olivera Vicente, Conde-González Miguel Á., Martín-Rico Francisco. In: Cognitive Processing.
• Legal Ontology for Modelling GDPR Concepts and Norms, Palmirani Monica, Bartolini Cesare, Martoni Michele, Robaldo Livio, Rossi Arianna. In: JURIX 2018 proceedings.
• Message Encryption in Robot Operating System: Collateral Effects of Hardening Mobile Robots, Rodriguez Lera Francisco Javier, Matellán-Olivera Vicente, Balsa-Comerón Jesús, Guerrero-Higueras Ángel Manuel, Fernández-Llamas Camino. In: Frontiers in ICT.
• Neural networks for recognizing human activities in home-like environments, Rodriguez Lera Francisco Javier, Rico Francisco Mart In, Olivera Vicente Matellán. In: Integrated Computer-Aided Engineering, IOS Press.
• Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362), Gabbay Dov M., Giacomin Massimiliano, Liao Beishui, van der Torre Leon. In: Dagstuhl Manifestos.
• Prioritized norms in formal argumentation, Liao Beishui, Oren Nir, van der Torre Leon, Villata Serena. In: Journal of Logic and Computation.
• System Demonstration: The Higher-Order Prover Leo-III, Steen Alexander, Benzmüller Christoph. In: CEUR Workshop Proceedings, RWTH Aachen University.
• Universal (Meta-)Logical Reasoning: Recent Successes, Benzmüller Christoph. In: Science of Computer Programming, Elsevier.

Conference Paper

• Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks, Dauphin Jérémie, Cramer Marcos, van der Torre Leon. In: Computational Models of Argument.
• A Deontic Logic Reasoning Infrastructure, Benzmüller Christoph, Parent Xavier, van der Torre Leon. In: Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings, Springer.
• A Dyadic Deontic Logic in HOL, Benzmüller Christoph, Farjami Ali, Parent Xavier, Broersen Jan (Editor), Condoravdi Cleo (Editor), Nair Shyam (Editor), Pigozzi Gabriella (Editor). In: Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018, College Publications.
• A Methodological Framework to Design a Machine-Readable Privacy Icon Set, Palmirani Monica, Rossi Arianna, Martoni Michele, Margaret Hagan, Schweighofer Erich (Editor). In: Data Protection / LegalTech Proceedings of the 21st International Legal Informatics Symposium IRIS 2018.
• A Model for Regulating of Ethical Preferences in Machine Ethics, Baniasadi Zohreh, Parent Xavier, Max Charles, Creamer Marcos. In: Proceedings of International Conference on Human-Computer Interaction, Springer.
• Annotation of Argument Components in Political Debates Data, Haddadan Shohreh, Cabrio Elena, Villata Serena. In: Proceedings of the Workshop on Annotation in Digital Humanities.
• Argumentation with Goals for Clinical Decision Support in Multimorbidity, Oliveira Tiago, Dauphin Jérémie, Satoh Ken, Tsumoto Shusaku, Novais Paulo. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems.
• A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework, Casini Giovanni, Ferme Eduardo, Meyer Thomas, Varzinczak Ivan. In: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), AAAI Press.
• ASPIC-END: Structured Argumentation with Explanations and Natural Deduction, Dauphin Jérémie, Cramer Marcos. In: Theory and Applications of Formal Argumentation.
• Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders, Liao Beishui, Slavkovik Marija, van der Torre Leon. In: AAAI/ACM Artificial Intelligence, Ethics and Society.
• Can Computers Help to Sharpen our Understanding of Ontological Arguments?, Benzmüller Christoph, Fuenmayor David. In: Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India, The Bhaktivedanta Institute, Kolkata, www.binstitute.org.
• Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract), Fuenmayor David, Benzmüller Christoph. In: Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts, Universit ́e Clermont Auvergne.
• Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond, Casini Giovanni, Meyer Thomas, Varzinczak Ivan. In: Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018).
• Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal, Dauphin Jérémie, Satoh Ken. In: International Conference on Principles and Practice of Multi-Agent Systems.
• Directionality of Attacks in Natural Language Argumentation, Cramer Marcos, Guillaume Mathieu. In: CEUR Workshop Proceedings, RWTH Aachen University.
• Empirical Cognitive Study on Abstract Argumentation Semantics, Cramer Marcos, Guillaume Mathieu. In: Frontiers in Artificial Intelligence and Applications.
• Energy-Scalable Montgomery-Curve ECDH Key Exchange for ARM Cortex-M3 Microcontrollers, Franck Christian, Groszschädl Johann, Le Corre Yann, Lenou Tago Cyrille, Awan Irfan (Author), Younas Muhammad (Author), Portela Filipe (Author). In: Proceedings of the 6th International Conference on Future Internet of Things and Cloud Workshops (W-FICLOUD 2018), IEEE Computer Society.
• Ethics by Design: Necessity or Curse?, Dignum Virginia, Baldoni Matteo, Baroglio Cristina, Caon Maurizio, Chatila Raja, Dennis Louise A., Génova Gonzalo, Haim Galit, Kließ Malte S., López-Sánchez Maite, Micalizio Roberto, Pavón Juan, Slavkovik Marija, Smakman Matthijs, Steenbergen Marlies Van, Tedeschi Stefano, van der Torre Leon, Villata Serena, Wildt Tristan De. In: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society AIES 2018, New Orleans, LA, USA, February 02-03, 2018.
• Extended Explanatory Argumentation Frameworks, Dauphin Jérémie, Cramer Marcos. In: Theory and Applications of Formal Argumentation.
• From Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data, Calafiore Alessia, Boella Guido, van der Torre Leon. In: 21st International Conference on Knowledge Engineering and Knowledge Management.
• Generating symbolic representation from sensor data: Inferring knowledge in robotics competitions, Rodriguez Lera Francisco Javier, Martín-Rico F., Matelián-Olivera V.. In: 2018 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC).
• Input/output logics with a consistency check, Parent Xavier, van der Torre Leon, Pigozzi Gabriella (Author), Broersen Jan (Editor), Condoravdi Cleo (Editor), Nair Shyam (Editor). In: Deontic Logic and Normative Systems (DEON 2018), College Publications.
• Legal Design Patterns for Privacy, Haapio Helena, Hagan Margaret, Palmirani Monica, Rossi Arianna. In: Data Protection / LegalTech Proceedings of the 21st International Legal Informatics Symposium IRIS 2018.
• Legal Reasoning and Big Data: Opportunities and Challenges, Antoniou Grigoris, Baryannis George, Batsakis Sotiris, Governatori Guido, Robaldo Livio, Siragusa Giovanni, Tachmazidis Ilias. In: Legal Reasoning and Big Data: Opportunities and Challenges.
• Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract), Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.. In: 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts.
• More Attention and Less Repetitive and Stereotyped Behaviors using a Robot with Children with Autism, Pinto Costa Andreia, Charpiot Louise, Rodriguez Lera Francisco Javier, Ziafati Pouyan, Nazarikhorram Aida, van der Torre Leon, Steffgen Georges. In: 27th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2018, Nanjing, China, August 27-31, 2018.
• Preference in Abstract Argumentation, Kaci Souhila, van der Torre Leon, Villata Serena. In: Computational Models of Argument.
• Probabilistic Abstract Argumentation Based on SCC Decomposability, Rienstra Tjitze, Thimm Matthias, Liao Beishui, van der Torre Leon. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona 30 October - 2 November 2018..
• PrOnto: Privacy Ontology for Legal Reasoning, palmirani monica, Martoni Michele, Rossi Arianna, Bartolini Cesare, Robaldo Livio. In: International Conference on Electronic Government and the Information Systems Perspective.
• Quizbot: Exploring Formative Feedback with Conversational Interfaces, Vijayakumar Bharathi, Höhn Sviatlana, Schommer Christoph, Vijayakumar Bharathi (Author), Höhn Sviatlana (Author), Schommer Christoph (Author). In: Proceedings of the, Springer.
• Representation Equivalences among Argumentation Frameworks, Liao Beishui, van der Torre Leon. In: Computational Models of Argument, IOS Press.
• Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract), Benzmüller Christoph, Scott Dana S.. In: 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts.
• The Higher-Order Prover Leo-III, Steen Alexander, Benzmüller Christoph. In: Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer, Cham.

Thesis

• Deontic Agency and Moral Luck, Meder Paul Joseph Yves, Jury: van der Torre Leon (Promotor), Theobald Martin (Member), Parent Xavier (Member), Benzmüller Christoph (Member).
• MULTIMODAL LEGAL INFORMATION RETRIEVAL, Adebayo Kolawole John, Jury: van der Torre Leon (Promotor), Boella Guido (Promotor), Moens Marie-Francine (President), Prakken Henry (Secretary), Schweighofer Erich (Member), Palmirani Monica (Member), Di Caro Luigi (Member).
• REPRESENTING THE SOCIAL CHARACTER OF PLACES: ONTOLOGY MODELS OF THE URBAN ENVIRONMENT, Calafiore Alessia, Jury: van der Torre Leon (Promotor).

2017

Book

• DARe-17 - Proceedings of the Fourth International Workshop on Defeasible and Ampliative Reasoning, Booth Richard, Casini Giovanni, Varzinczak Ivan, CEUR Workshop Proceedings.
• Feasible Deduction for Realistic Agents, D'Agostino Marcello, Gabbay Dov M., College Publications.
• GCAI 2017. 3rd Global Conference on Artificial Intelligence, Benzmüller Christoph, Lisetti Christine, Theobald Martin, EasyChair Proceedings.
• GCAI 2017: 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017, Benzmüller Christoph, Lisetti Christine, Theobald Martin, EPiC Series in Computing, EasyChair.
• Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, Wyner Adam, Casini Giovanni, IOS Press BV.

Book Chapter

• Cybersecurity of Robotics and Autonomous Systems: Privacy and Safety, Rodriguez Lera Francisco Javier, Llamas Camino Fernández, Guerrero Ángel Manuel, Olivera Vicente Matellán, Dekoulis George (Editor). In: Robotics - Legal, Ethical and Socioeconomic Impacts, InTech.
• Using Ontologies to Model Data Protection Requirements in Workflows, Bartolini Cesare, Muthuri Robert, Cristiana Santos, Otake Mihoko (Editor), Kurahashi Setsuya (Editor), Ota Yuiko (Editor), Satoh Ken (Editor), Bekki Daisuke (Editor). In: New Frontiers in Artificial Intelligence, Springer International Publishing.

Journal Article

• Analysing the Computational Competences Acquired by K-12 Students When Lectured by Robotic and Human Teachers, Fernández-Llamas Camino, Conde Miguel Ángel, Rodríguez-Sedano Francisco J., Rodriguez Lera Francisco Javier, Matellán-Olivera Vicente. In: International Journal of Social Robotics.
• A partial taxonomy of judgment aggregation rules and their properties, Lang Jérome, Pigozzi Gabriella, Slavkovik Marija, van der Torre Leon, Vesic Srdjan. In: Social Choice and Welfare.
• Application of Peer Review Techniques in Engineering Education, Conde M. Á., Sanchez-Gonzalez Lidia, Matellan-Olivera Vicente, Rodriguez Lera Francisco Javier. In: International Journal of Engineering Education, Tempus Publications.
• Commitments and interaction norms in organisations, Dastani Mehdi, van der Torre Leon, Yorke-Smith Neil. In: Autonomous Agents & Multi-Agent Systems, Springer Science & Business Media B.V..
• Computer-Assisted Analysis of the Anderson-Hájek Controversy, Benzmüller Christoph, Weber Leon, Woltzenlogel Paleo Bruno. In: Logica Universalis, Springer International Publishing AG.
• Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument, Benzmüller Christoph, Fuenmayor David. In: Archive of Formal Proofs.
• Cut-Elimination for Quantified Conditional Logic, Benzmüller Christoph. In: Journal of Philosophical Logic, Springer Science & Business Media B.V..
• Detachment in Normative Systems: Examples, inference Patterns, Properties, Parent Xavier, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications, College Publications.
• Empirical analysis of cyber-attacks to an indoor real time localization system for autonomous robots, Guerrero-Higueras Ángel Manuel, DeCastro-García Noemí, Rodriguez Lera Francisco Javier, Matellán Vicente. In: Computers and Security.
• Experiments in Computational Metaphysics: Gödel's Proof of God's Existence, Benzmüller Christoph, Woltzenlogel Paleo Bruno. In: Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, Bhaktivedanta Institute.
• Handling Norms in Multi-Agent System by Means of Formal Argumentation, Peirera Célia da Costa, Tettamanzi Andrea G. B., Villata Serena, Liao Beishui, Malerba Alessandra, Rotolo Antonino, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications.
• HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic, Gabbay Dov M., Rivlin Lydia. In: IfCoLog Journal of Logics and Their Applications.
• Implicit dynamic function introduction and Ackermann-like Function Theory, Cramer Marcos. In: IfCoLog Journal of Logics and Their Applications.
• Logical Analysis of Cyber Vulnerability and Protection, David Esther, Gabbay Dov M., Leshem Guy, Students of CS Ashkelon None. In: IfCoLog Journal of Logics and Their Applications.
• May I teach you? Students' behavior when lectured by robotic vs. human teachers, Fernández-Llamas C., Conde M. A., Rodriguez Lera Francisco Javier, Rodríguez-Sedano F. J., García F.. In: Computers in Human Behavior.
• Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective, Pigozzi Gabriella, van der Torre Leon. In: IfCoLog Journal of Logics and Their Applications.
• Norm-based deontic logic for access control, some computational results, Sun Xin, Robaldo Livio. In: Future Generation Computer Systems.
• On the Complexity of Input/Output Logic, Robaldo Livio, Sun Xin. In: Journal of Applied Logic, Elsevier.
• Preface, Baaz Matthias, Ciabattoni Agata, Gabbay Dov M., Hetzl Stefan, Weller Daniel. In: Journal of Logic and Computation, Oxford University Press.
• Prioritized Norms in Formal Argumentation, Liao Beishui, Oren Nir, van der Torre Leon, Villata Serena. In: Journal of Logic and Computation.
• Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural Symbolic Computing as Examples, Besold Tarek, Garcez Artur d'Avila, Stenning Keith, van der Torre Leon, van Lambalgen Michiel. In: Minds and Machines.
• Reasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study, Gabbay Dov M., Rozenberg Gadi. In: IfCoLog Journal of Logics and Their Applications.
• Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study, Gabbay Dov M., Rozenberg Gadi, Rivlin Lydia. In: IfCoLog Journal of Logics and Their Applications.
• Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation, Robaldo Livio, Sun Xin. In: Journal of Logic and Computation, Oxford University Press.
• The European Legal Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology, Ajani Gianmaria, Boella Guido, Di Caro Luigi, Robaldo Livio, Humphreys Llio, Praduroux Sabrina, Rossi Piercarlo, Violato Andrea. In: Applied Ontology.
• The Principle-Based Approach to Abstract Argumentation Semantics, van der Torre Leon, Vesic Srdjan. In: IfCoLog Journal of Logics and Their Applications.
• Types, Tableaus and Gödel's God in Isabelle/HOL, Fuenmayor David, Benzmüller Christoph. In: Archive of Formal Proofs.

Conference Paper

• A data-driven model of explanations for a chatbot that helps to practice conversation in a foreign language, Höhn Sviatlana. In: Proceedings of SIGDial 2017.
• Argumentation-based Methodology for Goal-oriented Requirements Language (GRL), Ghanavati Sepideh, Van Zee Marc, Bex Floris. In: Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), Essen, Germany, June 12-13, 2017..
• A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives, Nanda Rohan, Di Caro Luigi, Boella Guido, Konstantinov Hristo, Tyankov Tenyo, Traykov Daniel, Hristov Hristo, Costamagna Francesco, Humphreys Llio, Robaldo Livio, Romano Michele. In: A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives.
• Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic, Fuenmayor David, Benzmüller Christoph. In: KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Springer International Publishing AG.
• A Visualization Approach for Adaptive Consent in the European Data Protection Framework, Rossi Arianna, Palmirani Monica, Edelmann Noella (Editor), Parycek Peter (Editor). In: Proceedings of the 7th International Conference for E-Democracy and Open Government.
• Belief Change in a Preferential Non-Monotonic Framework, Casini Giovanni, Meyer Thomas. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence.
• Capability Discovery for Automated Reasoning Systems, Steen Alexander, Wisniewski Max, Schurr Hans-Jörg, Benzmüller Christoph. In: IWIL Workshop and LPAR Short Presentations, EasyChair.
• Concept Recognition in European and National Law, Nanda Rohan, Siragusa Giovanni, Di caro Luigi, Theobald Martin, Boella Guido, Robaldo Livio, Costamagna Francesco. In: proc. of The 30th international conference on Legal Knowledge and Information Systems (JURIX 2017).
• Context Awareness in shared human-robot Environments: Benefits of Environment Acoustic Recognition for User Activity Classification, Rodriguez Lera Francisco Javier, Martín Rico Francisco, Matellán Olivera Vicente. In: 8th International Conference of Pattern Recognition Systems (ICPRS 2017), Madrid (Spain), 11-13 July 2017, Institution of Engineering and Technology.
• Deep Learning and Bayesian Networks for Labelling User Activity Context Through Acoustic Signals, Rodriguez Lera Francisco Javier, Rico Francisco Martín, Matellán Vicente, Ferrández Vicente José Manuel (Editor), Álvarez-Sánchez José Ramón (Editor), de la Paz López Félix (Editor), Toledo Moreo Javier (Editor), Adeli Hojjat (Editor). In: Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II, Springer International Publishing.
• Dynamics maps for long-term autonomy, Ginés J., Martín F., Matellán V., Rodriguez Lera Francisco Javier, Balsa J.. In: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC), IEEE.
• Efficient Implementation of Pedersen Commitments Using Twisted Edwards Curves, Franck Christian, Groszschädl Johann, Bouzefrane Samia (Author), Banerjee Soumya (Author), Sailhan Françoise (Author), Boumerdassi Selma (Author), Renault Eric (Author). In: Mobile, Secure, and Programmable Networking - Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers, Springer Verlag.
• Going Polymorphic - TH1 Reasoning for Leo-III, Steen Alexander, Wisniewski Max, Benzmüller Christoph. In: IWIL Workshop and LPAR Short Presentations, EasyChair.
• Leo-III Version 1.1 (System description), Benzmüller Christoph, Steen Alexander, Wisniewski Max. In: IWIL Workshop and LPAR Short Presentations, EasyChair.
• Postulates for Revocation Schemes, Cramer Marcos, Casini Giovanni, Cramer Marcos (Author), Casini Giovanni (Author). In: Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017, Springer.
• Rational Enterprise Architecture, van der Torre Leon, Van Zee Marc. In: Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I.
• Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract), Benzmüller Christoph, Benzmüller Christoph (Author). In: Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, Springer.
• Theorem Provers for Every Normal Modal Logic, Gleißner Tobias, Steen Alexander, Benzmüller Christoph, Eiter Thomas (Editor), Sands David (Editor). In: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair.
• The pragmatic oddity in a norm-based semantics, Parent Xavier, van der Torre Leon, Governatori Guido (Editor). In: 16th International Conference on Artificial Intelligence & Law (ICAIL-17), ACM.
• The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument, Fuenmayor David, Benzmüller Christoph, Steen Alexander, Wsinieswki Max. In: The 2nd World Congress on Logic and Religion -- Book of Abstracts, Instytut Filozofii Uniwersytetu Warszawskiego.
• Towards legal compliance by correlating Standards and Laws with a semi-automated methodology, Bartolini Cesare, Giurgiu Andra, Lenzini Gabriele, Robaldo Livio, Bosse Tibor (Editor), Bredeweg Bert (Editor). In: Communications in Computer and Information Science, Springer International Publishing.

Thesis

• Contextual Integrity and Tie Strength in Online Social Networks: Social Theory, User Study, Ontology, and Validation, Ahmed Javed, Jury: van der Torre Leon (Promotor).
• Designing Compliance Patterns: Integrating Value Modeling, Legal Interpretation and Argument Schemes for Legal Risk Management., Kiriinya Robert Kevin Muthuri, Jury: van der Torre Leon (Promotor), Boella Guido (Promotor), Burkhard Schafer (President), Wyner Adam (Secretary), Paschke Adrian (Member).
• Interpretive Interactions among Legal Systems and Argumentation Schemes, Malerba Alessandra, Jury: van der Torre Leon (Promotor), Rotolo Antonino (Promotor), Schweighofer Erich (President), Velluzzi Vito (Member), Macagno Fabrizio (Member).
• Non-Monotonic Logics for Access Control: Delegation Revocation and Distributed Policies, Ambrossio Diego Agustin, Jury: van der Torre Leon (Promotor), Mauw Sjouke (President), Cramer Marcos (Member), Denecker Marc (Member), Straßer Christian (Member).
• Rational Architecture: Reasoning about Enterprise Dynamics, Van Zee Marc, Jury: van der Torre Leon (Promotor).

2016

Book

• A New Perspective on Nonmonotonic Logics, Gabbay Dov M., Schlechta Karl, Springer.
• DARe-16 - Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, Booth Richard, Casini Giovanni, Klarman Szymon, Gilles Richard, Varzinczak Ivan, CEUR Workshop Proceedings.

Book Chapter

• Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories, Gabbay Dov M., Rodrigues Odinaldo. In: Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, College Publications.

Journal Article

• AGM Contraction and Revision of Rules, Boella Guido, Pigozzi Gabriella, van der Torre Leon. In: Journal of Logic, Language and Information, Springer Netherlands.
• Cumulative Aggregation, Ambrossio Diego Agustin, Parent Xavier, van der Torre Leon. In: Deontic Logic and Normative Systems.
• Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law, Boella Guido, Di Caro Luigi, Humphreys Llio, Robaldo Livio, Rossi Piercarlo, van der Torre Leon. In: Artificial Intelligence and Law.
• Formalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL), Marosin Diana, Van Zee Marc, Ghanavati Sepideh. In: Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16).
• Introducing Bayesian Argumentation Networks, Gabbay Dov M., Rodrigues O.. In: IfCoLog Journal of Logics and Their Applications.
• Introduction to the special issue on Loops in Argumentation, Baroni Pietro, Gabbay Dov M., Giacomin Massimiliano. In: Journal of Logic and Computation.
• Logical foundations for bipolar and tripolar argumentation networks: preliminary results, Gabbay Dov M.. In: Journal of Logic and Computation.
• On evaluations of propositional formulas in countable structures, Perovi Aleksandar, Doder Dragan, Ognjanovi Zoran, Ra\vskovi Miodrag. In: Filomat.
• Present and Future of Formal Argumentation, van der Torre Leon, Giacomin Massimiliano, Liao Beishui, Gabbay Dov M.. In: Dagstuhl Reports, Leibniz-Zentrum für Informatik. Schloss Dagstuhl.
• Quantum States and Disjunctive Attacks in Talmudic Logic, Abraham Michael, Belfer Israel, Schild Uri, Gabbay Dov M.. In: Journal of Logics.
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic, Steen Alexander, Benzmüller Christoph. In: Logic and Logical Philosophy.
• The attack as intuitionistic negation, Gabbay Dov M., Gabbay Michael. In: Logic Journal of the IGPL.
• The handling of loops in argumentation networks, Gabbay Dov M.. In: Journal of Logic and Computation.
• The Naproche system: Proof-checking mathematical texts in controlled natural language, Cramer Marcos. In: Sprache und Datenverarbeitung. International Journal for Language Data Processing, Universitätsverlag Rhein-Ruhr.
• Theory of disjunctive attacks, Part I, Gabbay Dov M., Gabbay Michael. In: Logic Journal of the IGPL.
• Theory of Semi-Instantiation in Abstract Argumentation, Gabbay Dov M.. In: Logica Universalis.

Conference Paper

• A Framework to Reason about the Legal Compliance of Security Standards, Bartolini Cesare, Giurgiu Andra, Lenzini Gabriele, Robaldo Livio. In: Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN).
• Agent-Based HOL Reasoning, Steen Alexander, Wisniewski Max, Benzmüller Christoph, Greuel GM (Editor), Koch T (Editor), Paule P (Editor), Sommese A (Editor). In: Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings, Springer.
• AGM-Style Revision of Beliefs and Intentions, Van Zee Marc, Doder Dragan. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16).
• AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version), Van Zee Marc, Doder Dragan. In: Proceedings of the 16th International Workshop on Non-Monotonic Reasoning.
• Argumentation as Information Input: A Position Paper, Gabbay Dov M., Gabbay Michael. In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016..
• Argumentation-Based Legal Requirements Engineering: The Role of Legal Interpretation in Requirements Acquisition, Muthuri Robert, Boella Guido, Hulstijn Joris, Humphreys Llio. In: Requirements Engineering Conference Workshops (REW), IEEE International.
• Assessing Performance of Internet of Things-based Mobile Crowdsensing Systems for Sensing as a Service Applications in Smart Cities, Capponi Andrea, Fiandrino Claudio, Franck Christian, Sorger Ulrich, Kliazovich Dzmitry, Bouvry Pascal. In: 8th IEEE International Conference on Cloud Computing Technology and Science (CloudCom).
• Complaint Ontology Pattern - COP, Santos Cristiana, Pruski Cédric, da Silveira Marcos, Rodriguez-Doncel Victor, Gangemi Aldo, van der Torre Leon, Casanovas Pompeu. In: Workshop on Ontology and Semantic Web Patterns, Kobe 18 October 2016.
• Degrees of "in", "out" and "undecided" in Argumentation Networks, Gabbay Dov M., Rodrigues Odinaldo. In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016..
• Distributed Autoepistemic Logic and its Application to Access Control, Van Hertum Pieter, Cramer Marcos, Bogaerts Bart, Denecker Marc. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence.
• Effective Normalization Techniques for HOL, Wisniewski Max, Steen Alexander, Kern Kim, Benzmüller Christoph, Olivetti Nicola (Editor), Tiwari Ashish (Editor). In: Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings, Springer.
• Einsatz von Theorembeweisern in der Lehre, Wisniewski Max, Steen Alexander, Benzmüller Christoph, Schwill Andreas (Editor), Lucke Ulrike (Editor). In: Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam, Universitätsverlag Potsdam.
• Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper, Abraham Michael, Belfer Israel, Schild Uri J., Gabbay Dov M.. In: Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday.
• Modeling relevant legal information for consumer disputes, Santos Cristiana, Rodriguez Doncel Victor, Casanovas Pompeu, van der Torre Leon. In: EGOVIS 2016: Electronic Government and the Information Systems Perspective, Springer.
• Norm Creation in Proposition Control Games, Sun Xin, Robaldo Livio. In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016..
• Norms and Arguments, van der Torre Leon. In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016..
• On Revision of Partially Specified Convex Probabilistic Belief Bases, Rens Gavin, Meyer Thomas, Casini Giovanni. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16).
• Prioritized Norms and Defaults in Formal Argumentation, Liao Beishui, Oren Nir, van der Torre Leon, Villata Serena. In: Deontic Logic and Normative Systems (2016).
• Ranking Arguments With Compensation-Based Semantics, Amgoud Leila, Ben-Naim Jonathan, Doder Dragan, Vesic Srdjan. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016..
• RationalGRL: A Framework for Rationalizing Goal Models Using Argument Diagrams, Van Zee Marc, Bex Floris, Ghanavati Sepideh. In: 35th International Conference on Conceptual Modeling (ER'2016).
• Reified Input/Output logic - a position paper, Robaldo Livio, Sun Xin. In: proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016).
• Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete, Cramer Marcos, Van Hertum Pieter, Lapauw Ruben, Dasseville Ingmar, Denecker Marc. In: IEEE 29th Computer Security Foundations Symposium.
• Revising Incompletely Specified Convex Probabilistic Belief Bases, Rens Gavin, Meyer Thomas, Casini Giovanni, Kern-Isberner , Gabriele (Editor), Wassermann Renata (Editor). In: Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR 2016), Technische Universität Dortmund.
• Textual Inference with Deep Learning Technique, Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido. In: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)..
• The RationalGRL toolset for Goal Models and Argument Diagrams, Van Zee Marc, Marosin Diana, Bex Floris, Ghanavati Sepideh. In: Proceedings of the 6th International Conference on Computational Models of Argument (COMMA'16).
• Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers, Libal Tomer, Steen Alexander, Urban Josef (Author), Fontaine Pascal (Editor), Schulz Stephan (Editor). In: Practical Aspects of Automated Reasoning, CEUR-WS.org.
• Towards legal compliance by correlating Standards and Laws with a semi-automated methodology, Bartolini Cesare, Lenzini Gabriele, Robaldo Livio. In: Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC).
• TPTP and Beyond: Representation of Quantified Non-Classical Logics, Wisniewski Max, Steen Alexander, Benzmüller Christoph, Benzmüller Christoph (Editor), Otten Jens (Editor). In: ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics, CEUR-WS.org.
• Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL, Steen Alexander, Wisniewski Max, Benzmüller Christoph, Benzmüller Christoph (Editor), Sutcliffe Geoff (Editor), Rojas Raul (Editor). In: GCAI 2016, 2nd Global Conference on Artificial Intelligence, EasyChair.
• Using Defeasible Information to Obtain Coherence, Casini Giovanni, Meyer Thomas, Baral Chitta (Editor), Delgrande James (Editor), Wolter Frank (Editor). In: Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16), AAAI Press.
• Using Defeasible Information to Obtain Coherence, Casini Giovanni, Meyer Thomas. In: BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence.

Thesis

• Data-driven Repair Models for Text Chat with Language Learners, Höhn Sviatlana, Jury: Schommer Christoph (Promotor), van der Torre Leon (President), Max Charles (Member), Busemann Stephan (Member), Pitsch Karola (Member).
• Data-driven Repair Models for Text Chat with Language Learners, Höhn Sviatlana.
• FULL 3D RECONSTRUCTION OF DYNAMIC NON-RIGID SCENES: ACQUISITION AND ENHANCEMENT, Afzal Hassan, Jury: Ottersten Björn (Promotor), Aouada Djamila (Promotor), Mirbach Bruno (Promotor), van der Torre Leon (President), Fofi David (Member).
• GAMES AND STRATEGIES IN ANALYSIS OF SECURITY PROPERTIES, Tabatabaei Masoud, Jury: Ryan Peter (Promotor), Jamroga Wojciech (Promotor), van der Torre Leon (President), Teague Vanessa (Member), Schneider Steve (Member).
• Legal Ontology for Nexus: Water, Energy and Food in EU Regulations, Rahman Md Mizanur, Jury: Palmirani Monica (Promotor), van der Torre Leon (Promotor), Wyner Adam (President), Araszkiewicz Michal (Member), Sonia Bergamaschi (Member).
• Logic and Games of Norms: a Computational Perspective, Sun Xin, Jury: Parent Xavier (Promotor), van der Torre Leon (Promotor).
• Populating Legal Ontologies using Information Extraction based on Semantic Role Labeling and Text Similarity, Humphreys Llio, Jury: van der Torre Leon (Promotor), Boella Guido (Promotor), Schommer Christoph (Promotor), Sartor Giovanni (Promotor), Palmirani Monica (Promotor), Baldoni Matteo (Promotor).

2015

Book

• Information Engineering in Autonomous Robot Software, Ziafati Pouyan, University of Luxembourg.
• Proceedings of the 2nd International Workshop on Defeasible and Ampliative Reasoning (DARe-15), Booth Richard, Casini Giovanni, Klarman Szymon, Richard Gilles, Varzinczak Ivan, CEUR Workshop Proceedings.

Book Chapter

• A non-classical logical foundation for naturalised realism, Ruttkamp-Bloem Emma, Casini Giovanni, Meyer Thomas, Arazim Pavel (Editor), Dančák michal (Editor). In: The Logica Yearbook, College Publications.
• Topological Aspects of Matrix Abduction 1, Laufer Azriel, Gabbay Dov M., Koslow Arnold (Editor), Buchsbaum Arthur (Editor). In: The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II, Springer International Publishing.
• Topological Aspects of Matrix Abduction 2, Gabbay Dov M., Bessos Mai. In: The Road to Universal Logic - Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II, Chapter 17, Birkh\''auser Basel.

Journal Article

• Algorithms for tractable compliance problems, Colombo Tosatto Silvano, Kelsen Pierre, Ma Qin, el Kharbili Marwane, Governatori Guido, van der Torre Leon. In: Frontiers of Computer Science.
• Business Process Regulatory Compliance is Hard[alt. 1], Colombo Tosatto Silvano, Kelsen Pierre, Governatori Guido. In: IEEE Transactions on Services Computing.
• Completeness of Aqvist's systems E and F, Parent Xavier. In: Review of Symbolic Logic.
• Equilibrium States in Numerical Argumentation Networks, Gabbay Dov M., Rodrigues Odinaldo. In: Logica Universalis.
• Probabilistic Argumentation: An Equational Approach, Gabbay Dov M., Rodrigues O.. In: Logica Universalis.
• Probabilistic Argumentation. An Equational Approach, Gabbay Dov M., Rodrigues Odinaldo. In: Logica Universalis, Birkhäuser.
• Proof theory, semantics and algebra for normative systems, Sun Xin. In: Journal of logic and computation.
• Reactive standard deontic logic, Gabbay Dov M., Straßer Christian. In: J. Log. Comput..
• Retalis Language for Information Engineering in Autonomous Robot Software, Ziafati Pouyan, dastani mehdi, meyer john-jules, van der Torre Leon, Voos Holger. In: IfCoLog Journal of Logics and their Applications, College Publications.
• The Attack as Intuitionistic Negation, Gabbay Dov M., Gabbay Michael. In: Logic Journal of the IGPL, Oxford University Press.
• The attack as strong negation, part I, Gabbay Dov M.. In: Logic Journal of IGPL.
• Theory of Semi-Instantiation in Abstract Argumentation, Gabbay Dov M.. In: To appear Logica Universalis.

Conference Paper

• AGM Revision of Beliefs about Action and Time, Van Zee Marc, Doder Dragan, Dastani Mehdi, van der Torre Leon. In: Proceedings of the International Joint Conference on Artificial Intelligence.
• A logical approach to restricting access in online social networks, Cramer Marcos, Pang Jun, Zhang Yang. In: Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, ACM.
• A Logic of Trust for Reasoning about Delegation and Revocation, Cramer Marcos, Ambrossio Diego Agustin, van Hertum Pieter. In: Proceedings of the 20th ACM Symposium on Access Control Models and Technologies.
• A logic with Upper and Lower Probability Operators, Savic Nenad, Doder Dragan, Ognjanovic Zoran. In: ISIPTA ’15: Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications.
• A Multiverse Axiom Induction Framework, Weydert Emil. In: Symposium on the Theoretical Foundations of Mathematics III.
• A Probabilistic Logic for Reasoning about Uncertain Temporal Information, Doder Dragan, Ognjanovic Zoran. In: Uncertainty in Artificial Intelligence: Proceedings of the Thirty-First Conference (2015).
• ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions, Van Zee Marc, van der Linden Dirk. In: Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015).
• Boolean Games with Norms, Sun Xin. In: Boolean Games with Norms.
• Boolean Game with Prioritized Norms, Sun Xin. In: Proceedings of the Fifth International Conference on Logic, Rationality and Interaction.
• Classifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling, Humphreys Llio, Boella Guido, Robaldo Livio, Di Caro Luigi, Cupi Loredana, Ghanavati Sepideh, Kiriinya Robert Kevin Muthuri, van der Torre Leon. In: The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015.
• Combining Input/Output logic and Rei cation for representing real-world obligations, Robaldo Livio, Humphreys Llio, Sun Xin, Cupi Loredana, Muthuri Robert, Santos Cristiana. In: Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015).
• Computational Complexity of Input/Output Logic, Sun Xin, Ambrossio Diego Agustin. In: Lecture Notes in Computer Science, Springer.
• Dealing with Trouble: A Data-Driven Model of a Repair Type for a Conversational Agent, Höhn Sviatlana. In: Proceedings of the twenty-ninth AAAI conference on Artificial Intelligence, AAAI Press.
• Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic, Wisniewski Max, Steen Alexander, Benzmüller Christpoh (Editor), Otten Jens (Editor). In: ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, EasyChair.
• How to Decrease and Resolve Inconsistency of a Knowledge Base?, Doder Dragan, Vesic Srdjan, Loiseau Stephane (Editor), Filipe Joaquim (Editor), Duval Béatrice (Editor), van den Herik Jaap (Editor). In: ICAART 2015, Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2.
• Input/Output STIT Logic for Normative Systems, Sun Xin. In: Proceedings of the 9th International Web Rule Symposium (RuleML).
• Introducing Defeasibility into OWL Ontologies, Casini Giovanni, Meyer Thomas, Moodley Kody, Sattler Uli, Varzinczak Ivan, Arenas Marcelo (Editor), Corcho Oscar (Editor), Simperl Elena (Editor), Strohmaier Markus (Editor), d’Aquin Mathieu (Editor), Srinivas Kavitha (Editor), Groth Paul (Editor), Dumontier Michel (Editor), Heflin Jeff (Editor), Thirunarayan Krishnaprasad (Editor), Staab Steffen (Editor). In: 14th International Semantic Web Conference. Bethlehem, PA, USA, October 11–15, 2015 Proceedings, Part II, Springer.
• Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors, Mughaz Dror, HaCohen-Kerner Yaakov, Gabbay Dov M.. In: Semantic Keyword-Based Search on Structured Data Sources - First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra Portugal, September 8-9, 2015. Revised Selected Papers.
• LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners, Wisniewski Max, Steen Alexander, Benzmüller Christoph, Kerber Manfred (Editor), Carette Jacques (Editor), Kaliszyk Cezary (Editor), Rabe Florian (Editor), Sorge Volker (Editor). In: Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, Springer.
• Logic and Games for Ethical Agents in Normative Multi-agent Systems, sun xin, Robaldo Livio. In: proc. of 13th European Conference on Multi-Agent Systems/3rd International Conference on Agreement Technologies.
• Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation, Humphreys Llio, Santos Cristiana, Di Caro Luigi, Boella Guido, Robaldo Livio, van der Torre Leon. In: Proceedings of the 28th International Conference on Legal Knowledge and Information Systems.
• nsights from a Study on Decision Making in Enterprise Architecture, van der Linden Dirk, Van Zee Marc. In: In Short Paper Proceedings of the 8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM).
• On the complexity of input/output logic, Sun Xin, Ambrossio Diego Agustin. In: Proceedings of the Fifth International Conference on Logic, Rationality and Interaction.
• On the Entailment Problem for a Logic of Typicality, Booth Richard, Casini Giovanni, Meyer Thomas, Varzinczak Ivan, Yang Qiang (Editor), Wooldridge Michael (Editor). In: Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25–31 July 2015, AAAI Press.
• Probabilistic Common Knowledge Among Infinite Number of Agents, Tomovic Sinisa, Ognjanovic Zoran, Doder Dragan. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings.
• Rational Architecture = Architecture from a Recommender Perspective, Van Zee Marc. In: Proceedings of the International Joint Conference on Artificial Intelligence.
• Rationalization of Goal Models in GRL using Formal Argumentation, Van Zee Marc, Bex Floris, Ghanavati Sepideh. In: In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15).
• There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners, Steen Alexander, Benzmüller Christoph, Davis Martin (Editor), Fehnker Ansgar (Editor), McIver Annabelle (Editor), Voronkov Andrei (Editor). In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer.

Thesis

• Poles Apart : Navigating the Space of Opinions in Argumentation, Podlaszewski Mikołaj, Jury: van der Torre Leon (Promotor), Caminada Martin (Promotor), Booth Richard (Promotor), Kelsen Pierre (President), Hunter Anthony (Member), Modgil Sanjay (Member).
• Proving Regulatory Compliance: Business Processes, Logic, Complexity, Colombo Tosatto Silvano, Jury: van der Torre Leon (Promotor), Boella Guido (Promotor), Governatori Guido (Promotor), Rinderle-Ma Stefanie (President), Montali Marco (Secretary).

Technical Report

• Computational Metaphysics, Benzmüller Christoph, Wisniewski Max, Steen Alexander.

Miscellaneous Writing

• Corpus of long-term instant messaging based dialogues between advanced learners of German as a foreign language and German native speakers: deL1L2IM, Höhn Sviatlana, ELRA.
• Method and Device for Anonymous Communication, Franck Christian, Ministère de l'économie - Office de la propriété intellectuelle.
• Method and Device for Anonymous Communication, Franck Christian, World International Property Organization.
• Method and device for information-theoretically secure anonymous communication, Franck Christian, Ministère de l'économie - Office de la propriété intellectuelle.

2014

Book

• Deontic logic and Normative Systems - DEON2014, Parent Xavier, Mariani Fabrizio, Grossi Davide, Meheus Joke, Springer.

Book Chapter

• Editorial Note, Siekmann Jörg H., Gabbay Dov M.. In: Computational Logic.
• Intuitionistic basis for IOL, Parent Xavier, van der Torre Leon, Gabbay Dov M., Hansson Sven Ove (Editor). In: David Makinson's outsanding contribution to non-classical logic, Springer.
• Platonic Realism and Talmudic Reasoning, Abraham Michael, Belfer Israel, Gabbay Dov M., Schild Uri, Abraham Michael (Editor), Gabbay Dov M. (Editor), Schild Uri (Editor). In: Platonic Realism and Talmudic Reasoning, College Publications.
• Systems of Interacting Argumentation Networks, Gabbay Dov M.. In: Journal of Logics and their Applications, College Publications.
• The Equational Approach to Contrary-to-duty Obligations, Gabbay Dov M., Beierle Christoph (Editor), Meghini Carlo (Editor). In: Foundations of Information and Knowledge Systems, Springer International Publishing.
• What is a Logical System? An Evolutionary View: 1964-2014, Gabbay Dov M., Gabbay Dov M. (Editor), Siekmann None (Editor), Woods None (Editor). In: Computational Logic, Elsevier.
• When are Two Arguments the Same? Equivalence in Abstract Argumentation, Gabbay Dov M., Grossi Davide. In: Johan van Benthem on Logic and Information Dynamics.
• When Text Authors Lived Using Undated Citations, Mughaz Dror, HaCohen-Kerner Yaakov, Gabbay Dov M., Lamas David (Editor), Buitelaar Paul (Editor). In: Multidisciplinary Information Retrieval, Springer International Publishing.

Journal Article

• An equational approach to the merging of argumentation networks, Gabbay Dov M., Rodrigues Odinaldo. In: J. Log. Comput..
• A neural cognitive model of argumentation with application to legal inference and decision making, Garcez Artur S. D Avila, Gabbay Dov M., Lamb Lu Is C.. In: J. Applied Logic.
• Bridging Social Network Analysis and Judgment Aggregation, Colombo Tosatto Silvano, Van Zee Marc. In: Social Informatics - 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014. Proceedings.
• Encompassing Uncertainty in Argumentation Schemes., van der Torre Leon, Baroni Pietro, Giacomin Massimiliano, Liao Beishui. In: Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014..
• Equilibrium States in Numerical Argumentation Networks, Gabbay Dov M., Rodrigues Odinaldo. In: Logica Universalis, Birkhäuser.
• Interpolable Formulas in Equilibrium Logic and Answer Set Programming, Gabbay Dov M., Pearce David, Valverde Agust In. In: Journal of Artificial Intelligence Research, Morgan Kaufmann Publishers.
• Maximality vs. Optimality in Dyadic Deontic Logic, Parent Xavier. In: J. Philosophical Logic.
• On the Input/Output behavior of argumentation frameworks, Baroni Pietro, Boella Guido, Cerutti Federico, Giacomin Massimiliano, van der Torre Leon. In: Artificial Intelligence, Elsevier Science.
• Products of modal logics and tensor products of modal algebras, Gabbay Dov M., Shapirovsky Ilya, Shehtman Valentin B.. In: J. Applied Logic.
• Reasoning about delegation and revocation schemes in answer set programming, Barker Steve, Boella Guido, Gabbay Dov M., Genovese Valerio. In: J. Log. Comput..
• The paradoxes of permission an action based solution, Gabbay Dov M., Gammaitoni Loïc, Sun Xin. In: Journal of Applied Logic, Elsevier.

Conference Paper

• A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice, Boella Guido, Humphreys Llio, Muthuri Robert, van der Torre Leon, Rossi Piercarlo. In: Seventh IEEE Workshop on Requirements Engineering and Law.
• Aggregative Deontic Detachment for Normative Reasoning, Parent Xavier, van der Torre Leon. In: KR&R.
• An ASPIC-based legal argumentation framework for deontic reasoning, van der Torre Leon, Villata Serena. In: Computational Models of Argument.
• A Plausibility Semantics for Abstract Argumentation Frameworks, Weydert Emil, Konieczny Sébastien (Editor), Tompits Hans (Editor). In: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Arxiv.
• A self-correcting iteration schema for argumentation networks, Gabbay Dov M., Rodrigues Odinaldo. In: Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014.
• Bridging Social Network Analysis and Judgment Aggregation, Tosatto Silvano Colombo, Van Zee Marc. In: Proceedings of the 6th International Conference on Social Informatics.
• Combining Regulative and Constitutive Norms in Input/Output Logic, Sun Xin, van der Torre Leon. In: 12th International Conference on Deontic Logic and Normative Systems.
• Comparing variants of strategic ability: how uncertainty and memory influence general properties of games, Bulling Nils, Jamroga Wojciech. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems.
• Comparing variants of strategic ability: how uncertainty and memory influence general properties of games, Bulling Nils, Jamroga Wojciech. In: proceedings of Autonomous Agents and Multi-agent Systems.
• Compliance with Multiple Regulations, Ghanavati Sepideh, Humphreys Llio, Boella Guido, di Caro Luigi, Robaldo Livio. In: Conceptual Modeling, Lecture Notes in Computer Science 8824.
• Detecting Deontic Conflicts in Dynamic Settings, Colombo Tosatto Silvano, Kelsen Pierre, Governatori Guido, Cariani Fabrizio (Editor), Grossi Davide (Editor), Meheus Joke (Editor), Parent Xavier (Editor). In: Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.
• Formalizing Enterprise Architecture Decision Models using Integrity Constraints, Van Zee Marc, Plataniotis Georgios, Marosin Diana, van der Linden Dirk, Unknown Unknown (Editor). In: Formalizing Enterprise Architecture Decision Models using Integrity Constraints.
• How do pessimistic agents save miners? A STIT based approach., Sun Xin, Zohreh Baniasadi. In: 26th BENELUX Conference on Artificial Intelligence(BNAIC).
• How to build input/output logic, Sun Xin. In: 15th International Workshop on Computational Logic in Multi-Agent Systems.
• Integrating Legal-URN and Eunomos: towards a comprehensive compliance management solution, Boella Guido, Colombo Tosatto Silvano, Ghavanati Sepideh, Joris Hulstijn, Humphreys Llio, Muthuri Robert, Rifaut Andre. In: Proceedings of AI Approaches to the Complexity of Legal Systems (AICOL 2013).
• Managing Legal Resources in Open Government and E-Democracy: Eunomos - an AI and Law Response, Boella Guido, Muthuri Robert, Humphreys Llio, Parycek Peter (Editor), Edelmann Noella (Editor). In: CeDEM 14 Conference for E-Democracy and Open Government, Verlagshaus Monsenstein und Vannerdat OHG.
• Modelling implicit dynamic introduction of function symbols in mathematical texts, Cramer Marcos, de Paiva Valeria (Editor), et al. None (Editor). In: Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) Affliated to RTA-TLCA, VSL 2014 July 17-18, 2014 Vienna, Austria., Center for Informatics and Systems of the University of Coimbra.
• Modelling the usage of partial functions and undefined terms using presupposition theory, Cramer Marcos, Geschke Stefan (Editor), Loewe Benedikt (Editor), Schlicht Philipp (Editor). In: Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, College Publications.
• On the Semantic Feature Structure of Modeling Concepts: an Empirical Study, van der Linden Dirk, Van Zee Marc. In: 16h IEEE Conference on Business Informatics (CBI) proceedings.
• Plexil-Like Plan Execution Control in Agent Programming, Ziafati Pouyan. In: Plexil-Like Plan Execution Control in Agent Programming.
• Probabilistic Abstract Dialectical Frameworks, Polberg Sylwia, Doder Dragan, Fermé Eduardo (Editor), Leite Joao (Editor). In: Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, Springer.
• Probabilistic Argumentation Frameworks - A Logical Approach, Doder Dragan, Woltran Stefan, Straccia Umberto (Editor), Cali Andrea (Editor). In: Scalable Uncertainty Management, 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings, Springer.
• Reactivity and Grammars: An Exploration, Barringer Howard, Rydeheard David E., Gabbay Dov M.. In: Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday Part I.
• Reasoning on Robot Knowledge from Discrete and Asynchronous Observations, Ziafati Pouyan, Elrakaiby Yehia, van der Torre Leon, Voos Holger, Dastani Mehdi, Meyer John-Jules, Van Zee Marc. In: AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015.
• Sing and Dance!, van der Torre Leon, Parent Xavier. In: Sing and Dance!, Springer.
• Sing and Dance!" - Input/Output Logics without Weakening, Parent Xavier, Torre Leendert W. N. Van Der. In: Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.
• Social Interaction Based Audience Segregation for Online Social Networks., van der Torre Leon, Ahmed Javed, Governatori Guido, Villata Serena. In: Proceedings of the European Conference on Social Intelligence.
• Social Network Analysis for Judgment Aggregation, Colombo Tosatto Silvano, Van Zee Marc. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems.
• STIT based deontic logics for the miners puzzle, Sun Xin, Zohreh Baniasadi. In: 12th European Conference on Multi-Agent Systems.
• Stratified action negation for dynamic logic, Sun Xin, Huimin Dong. In: 26th BENELUX Conference on Artificial Intelligence (BNAIC).
• The gap between legal and technical domains in norm representation, Antonini Alessio, Boella Guido, Humphreys Llio, Hulstijn None. In: New Frontiers in Artificial Intelligence.
• The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation, Abraham Michael, Gabbay Dov M., Schild Uri J.. In: HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday.
• Toward a Linguistic Interpretation of Deontic Paradoxes, Sun Xin, Gabbay Dov, Robaldo Livio, van der Torre Leon, Baniasadi Zohreh. In: 12th International Conference Deontic Logic and Normative Systems.
• Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario, Gabbay Dov M., Robaldo Livio, Sun Xin, Torre Leendert W. N. Van Der, Baniasadi Zohreh. In: Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.

Thesis

• Argumentation in Flux: Modelling Change in the Theory of Argumentation, Rienstra Tjitze, Jury: van der Torre Leon (Promotor), Kaci Souhila (Promotor), Booth Richard (Promotor), Liao Beishui (Promotor), Godo Lluis (Promotor), Baroni Pietro (Promotor).

2013

Book

• Handbook of Deontic logic and Normative Systems, Gabbay Dov, Horty Jeff, Parent Xavier, van der Meyden Ron, van der Torre Leon, College Publication.
• Reactive Kripke Semantics, Gabbay Dov M., Springer.

Book Chapter

• Agent Programming Languages Requirements for Programming Autonomous Robots, Ziafati Pouyan, Dastani Mehdi, Meyer John-Jules, van der Torre Leon, Dastani Mehdi (Editor), Hübner Jomif (Editor), Logan Brian (Editor). In: Programming Multi-Agent Systems, Springer Berlin Heidelberg.
• A propositional typicality logic for extending rational consequence, Booth Richard, Meyer Thomas, Varzinczak Ivan. In: Trends in Belief Revision and Argumentation Dynamics, College Publications.
• Input/output logic, Parent Xavier, van der Torre Leon, van der Torre Leon (Editor), Gabbay Dov M. (Editor), Horty Jeff (Editor), van der Meyden Ron (Editor). In: Handbook of Deontic Logic, College Publications.
• Normative Reasoning and Consequence, Broersen Jan, Cranefield Stephen, Elrakaiby Yehia, Gabbay Dov M., Grossi Davide, Lorini Emiliano, Parent Xavier, van der Torre Leon, Tummolini Luca, Turrini Paolo, Schwarzentruber Fran. In: Normative Multi-Agent Systems, Springer Netherlands.

Journal Article

• Argumentation Theoretic Foundations for Abstract Dependence Networks, Caire Patrice, van der Torre Leon, Villata Serena. In: International Conference on Agreement Technologies, proceedings in Springer LNCS.
• A socio-cognitive model of trust using argumentation theory, Villata Serena, Boella Guido, Gabbay Dov M., Torre Leendert W. N. Van Der. In: Int. J. Approx. Reasoning.
• Future determination of entities in Talmudic public announcement logic, Abraham Michael, Belfer Israel, Gabbay Dov M., Schild Uri J.. In: J. Applied Logic.
• Reactive Kripke models and contrary to duty obligations. Part A: Semantics, Gabbay Dov M.. In: J. Applied Logic.
• Semantics and proof-theory of depth bounded Boolean logics, D'Agostino Marcello, Finger Marcelo, Gabbay Dov M.. In: Theor. Comput. Sci..
• Strategic games and truly playable effectivity functions, Goranko Valentin, Jamroga Wojciech, Turrini Paolo. In: Autonomous Agents & Multi-Agent Systems, Springer.
• Why are you Silent? - Towards Responsiveness in Chatbots, Danilava Sviatlana, Busemann Stephan, Schommer Christoph, Ziegler Gudrun. In: Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction". Workshop at CHI 2013, Paris, France.

Conference Paper

• Accumulative Knowledge Under Bounded Resources., Jamroga Wojciech, Tabatabaei Masoud. In: Computational Logic in Multi-Agent Systems, Springer.
• Algorithms for Basic Compliance Problems, Colombo Tosatto Silvano, El Kharbili Marwane, Governatori Guido, Kelsen Pierre, Ma Qin, van der Torre Leon. In: 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013..
• A logical theory about dynamics in abstract argumentation, Booth Richard, Kaci Souhila, Rienstra Tjitze, van der Torre Leon. In: Scalable Uncertainty Management - 7th International Conference, SUM 2013, Springer.
• Artificial Conversational Companions, Danilava Sviatlana. In: Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI/SIGART Doctoral Consortium.
• Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies, Caire Patrice, van der Torre Leon, Villata Serena. In: AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28..
• Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies., Caire Patrice, van der Torre Leon, Villata Serena. In: 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8..
• Compliance in Resource-based Process Models, Colombo Tosatto Silvano, Elrakaiby Yehia, Ziafati Pouyan, Hindriks Koen (Editor), de Weerdt Mathijs (Editor), van Riemsdijk Birna (Editor), Warnier Martjin (Editor). In: Proceedings of the 25th Belgium-Netherlands Artificial Intelligence Conference.
• Event-processing in Autonomous Robot Programming, Ziafati Pouyan, Dastani Mehdi, Meyer John-Jules, van der Torre Leon. In: Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, International Foundation for Autonomous Agents and Multiagent Systems.
• Incentives and Rationality in Security of Interaction Protocols, Jamroga Wojciech, Melissen Matthijs, Schnoor Henning. In: PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings.
• Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution, Boella Guido, Tosatto Silvano Colombo, Ghanavati Sepideh, Hulstijn Joris, Humphreys Llio, van der Torre Leon. In: AICOL, Springer.
• Managing legal interpretation in regulatory compliance, Boella Guido, Janssen Marijn, Joris Hulstijn, Humphreys Llio, van der Torre Leon. In: XIV International Conference on Artificial Intelligence and Law.
• Monotonic and non-monotonic inference for abstract argumentation, Booth Richard, Kaci Souhila, Rienstra Tjitze, van der Torre Leon. In: Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013.
• On the plausibility of abstract arguments, Weydert Emil, van der Gaag Linda (Editor). In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Springer.
• Programming Autonomous Robots Using Agent Programming Languages, Ziafati Pouyan. In: Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, International Foundation for Autonomous Agents and Multiagent Systems.
• Proof theory, Semantics and Algebra for Normative System, Sun Xin. In: Logic, Rationality, and Interaction, 4th International workshop.
• Property-based preferences in abstract argumentation, Booth Richard, Kaci Souhila, Rienstra Tjitze. In: Algorithmic Decision Theory - Third International Conference, ADT 2013.
• Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System, Kontarinis Dionysios, Bonzon Elise, Maudet Nicolas, Perotti Alan, van der Torre Leon, Villata Serana. In: CLIMA, Springer.
• Towards an Abstract Framework for Compliance, Colombo Tosatto Silvano, Governatori Guido, Kelsen Pierre, Bagheri Ebrahim (Editor), Gasevic Dragan (Editor), Halle Sylvain (Editor), Hatala Marek (Editor), Motahari Nezhad Hamid R. (Editor), Reichert Manfred (Editor). In: Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, Vancouver, Canada, 9 September 2013..
• Towards Computational Models for a Long-term Interaction with an Artificial Conversational Companion, Danilava Sviatlana, Busemann Stephan, Schommer Christoph, Ziegler Gudrun. In: Proceedings "5th International Conference on Agents an Artificial Intelligence".

Thesis

• On Intersection Codes and Iterative Decoding, Franck Christian, Jury: Sorger Ulrich (Promotor).