Paolo Torroni

Giacomo Tagiuri

Proceedings of the Natural Legal Language Processing Workshop 2021, 2021

2020

AI reflections in 2019.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2020

The Force Awakens: Artificial Intelligence for Consumer Law.

[BibT_eX]

[DOI]

Giuseppe Contissa

Agnieszka Jablonowska

Leandro Soriano Marcolino

J. Artif. Intell. Res., 2020

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Special issue of Teams in Multiagent Systems (TEAMAS): Preface.

[BibT_eX]

[DOI]

Ewa Andrejczuk

Juan M. Alberola

Fundam. Informaticae, 2020

Parallelizing Machine Learning as a service for the end-user.

[BibT_eX]

[DOI]

Daniela Loreti

Future Gener. Comput. Syst., 2020

Memory networks for consumer protection: unfairness exposed.

[BibT_eX]

[DOI]

CoRR, 2020

Explaining Potentially Unfair Clauses to the Consumer with the CLAUDETTE tool.

[BibT_eX]

[DOI]

Proceedings of the Natural Legal Language Processing Workshop 2020 co-located with the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (KDD 2020), 2020

Cross-lingual Annotation Projection in Legal Texts.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019

Intelligent Agents: Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Consumer protection requires artificial intelligence.

[BibT_eX]

[DOI]

Giuseppe Contissa

Nat. Mach. Intell., 2019

Principles and practice of multi-agent systems.

[BibT_eX]

[DOI]

Qingliang Chen

Serena Villata

Knowl. Eng. Rev., 2019

Preface.

[BibT_eX]

[DOI]

Marco Maratea

Ivan Serina

Fundam. Informaticae, 2019

Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017.

[BibT_eX]

[DOI]

Stefano Bistarelli

Francesco Santini

Fundam. Informaticae, 2019

Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning.

[BibT_eX]

[DOI]

Frontiers Big Data, 2019

Neural-Symbolic Argumentation Mining: an Argument in Favour of Deep Learning and Reasoning.

[BibT_eX]

[DOI]

CoRR, 2019

Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing.

[BibT_eX]

[DOI]

Andrea Galassi

CoRR, 2019

CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2019

Deep Learning for Detecting and Explaining Unfairness in Consumer Contracts.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2019

GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Automated Semantic Analysis of Information in Legal Texts co-located with the 17th International Conference on Artificial Intelligence and Law (ICAIL 2019), 2019

2018

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Monitoring norms: a multi-disciplinary perspective.

[BibT_eX]

[DOI]

Mehdi Dastani

Neil Yorke-Smith

Knowl. Eng. Rev., 2018

Preface.

[BibT_eX]

[DOI]

Qingliang Chen

Serena Villata

Fundam. Informaticae, 2018

Comodo: Collaborative monitoring of commitment delegations.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

Blocking time under basic priority inheritance: Polynomial bound and exact computation.

[BibT_eX]

[DOI]

Zeynep Kiziltan

Eugenio Faldella

CoRR, 2018

Automated Processing of Privacy Policies Under the EU General Data Protection Regulation.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2018

Towards Consumer-Empowering Artificial Intelligence.

[BibT_eX]

[DOI]

Giuseppe Contissa

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Argument Mining on Clinical Trials.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

Argumentative Link Prediction using Residual Networks and Multi-Objective Learning.

[BibT_eX]

[DOI]

Andrea Galassi

Proceedings of the 5th Workshop on Argument Mining, 2018

2017

Argumentation in Social Media.

[BibT_eX]

[DOI]

Iryna Gurevych

ACM Trans. Internet Techn., 2017

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Automated Detection of Unfair Clauses in Online Consumer Contracts.

[BibT_eX]

[DOI]

Yannis Panagis

Proceedings of the Legal Knowledge and Information Systems, 2017

Claim Detection in Judgments of the EU Court of Justice.

[BibT_eX]

[DOI]

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2016

Argumentation Mining: State of the Art and Emerging Trends.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2016

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

MARGOT: A web server for argumentation mining.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2016

Microdebates: Structuring debates without a structuring tool.

[BibT_eX]

[DOI]

AI Commun., 2016

Constraint Detection in Natural Language Problem Descriptions.

[BibT_eX]

[DOI]

Zeynep Kiziltan

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Argument Mining from Speech: Detecting Claims in Political Debates.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Applications of logical approaches to argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2015

Argument Mining: A Machine Learning Perspective.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Context-Independent Claim Detection for Argument Mining.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII).

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device.

[BibT_eX]

[DOI]

Nefise Yaglikci

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013

Representing and monitoring social commitments using the event calculus.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

A New Framework for ABMs Based on Argumentative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Social Simulation, 2013

NetArg: an agent-based social simulator with argumentative agents.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Arguments in social networks.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Exception diagnosis in multiagent contract executions.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2012

Reactive Event Calculus for Monitoring Global Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

Large Scale Agreements via Microdebates.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Agreement Technologies, 2012

2011

A Computational Logic Application Framework for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.

[BibT_eX]

[DOI]

Cybern. Syst., 2011

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Bottom-Up Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Reasoning about Exceptions to Contracts.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Social Commitment Delegation and Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Collaborative diagnosis of exceptions to contracts.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Diagnosing commitments: delegation revisited.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2010

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A Logic-Based, Reactive Calculus of Events.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Role Monitoring in Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.

[BibT_eX]

[DOI]

Federico Chesani

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

25 Years of Applications of Logic Programming in Italy.

[BibT_eX]

[DOI]

Alessandro Dal Palù

Amal El Fallah Seghrouchni

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Introductory Essay of LADS'009.

[BibT_eX]

[DOI]

Mehdi Dastani

João Leite

Proceedings of the Second Multi-Agent Logics, 2009

Verifying A-Priori the Composition of Declarative Specified Services.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Commitment Tracking via the Reactive Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Social Commitments in Time: Satisfied or Compensated.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Arguing on the Semantic Grid.

[BibT_eX]

[DOI]

Marco Gavanelli

Federico Chesani

Proceedings of the Argumentation in Artificial Intelligence, 2009

Modelling Interactions via Commitments and Expectations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Verifiable agent interaction in abductive logic programming: The SCIFF framework.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2008

Verification of Choreographies During Execution Using the Reactive Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Verification from Declarative Specifications Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Modeling and Verification of Business Processes and Choreographies in ALP.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Specification and Verification of Agent Interaction Protocols in a Logic-based System.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2007

Argumentation in the Semantic Web.

[BibT_eX]

[DOI]

Marco Gavanelli

Federico Chesani

IEEE Intell. Syst., 2007

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.

[BibT_eX]

[DOI]

Comput. Intell., 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

-Tropos.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

Mapping deontic operators to abductive expectations.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

Compliance verification of agent interaction: a logic-based software tool.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Multi-agent agreements about actions through argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005

Expressing interaction in combinatorial auction through social integrity constraints.

[BibT_eX]

Intelligenza Artificiale, 2005

Protocol Specification and Verification by Using Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Abduction with Hypotheses Confirmation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Security Protocols Verification in Abductive Logic Programming: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VI, 2005

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

The SCIFF Abductive Proof-Procedure.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.

[BibT_eX]

[DOI]

Anna Ciampolini

Appl. Artif. Intell., 2004

A Logic based Approach to Interaction Design in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Specification and verification of agent interaction protocols in a logic-based system.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Agent Planning, Negotiation and Control of Operation.

[BibT_eX]

Antonis C. Kakas

Neophytos Demetriou

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Abductive Framework for Information Exchange in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.

[BibT_eX]

[DOI]

Andrea Bracciali

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003

Specification and Verification of Agent Interaction using Social Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.

[BibT_eX]

[DOI]

Fariba Sadri

Proceedings of the IJCAI-03, 2003

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

A Social ACL Semantics by Deontic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

An Abductive Interpretation for Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Interpreting Abduction in CLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Logics and Multi-agents: towards a new symbolic model of cognition.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

An Abductive Logic Programming Architecture for Negotiating Agents.

[BibT_eX]

[DOI]

Fariba Sadri

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A study on the termination of negotiation dialogues.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Coordinating the safe execution of tasks in a constrained multi-agent system.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

LAILA: a language for coordinating abductive reasoning among logic agents.

[BibT_eX]

[DOI]

Comput. Lang., 2001

Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World II, 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.

[BibT_eX]

[DOI]

Fariba Sadri

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000

Expressing Collaboration And Competition Among Abductive Logic Agents.

[BibT_eX]

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Planning while Executing: A Constraint-Based Approach.

[BibT_eX]

[DOI]

Rosy Barruffi

Michela Milano