Paolo Torroni

According to our database1, Paolo Torroni authored at least 123 papers between 1999 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The Force Awakens: Artificial Intelligence for Consumer Law.
J. Artif. Intell. Res., 2020

Preface.
Fundam. Informaticae, 2020

Special issue of Teams in Multiagent Systems (TEAMAS): Preface.
Fundam. Informaticae, 2020

Parallelizing Machine Learning as a service for the end-user.
Future Gener. Comput. Syst., 2020

Memory networks for consumer protection: unfairness exposed.
CoRR, 2020

Explaining Potentially Unfair Clauses to the Consumer with the CLAUDETTE tool.
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.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019
Intelligent Agents: Multi-Agent Systems.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Principles and practice of multi-agent systems.
Knowl. Eng. Rev., 2019

Preface.
Fundam. Informaticae, 2019

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

Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning.
Frontiers Big Data, 2019

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

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

CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service.
Artif. Intell. Law, 2019

Deep Learning for Detecting and Explaining Unfairness in Consumer Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2019

GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism.
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).
J. Log. Comput., 2018

Monitoring norms: a multi-disciplinary perspective.
Knowl. Eng. Rev., 2018

Preface.
Fundam. Informaticae, 2018

Comodo: Collaborative monitoring of commitment delegations.
Expert Syst. Appl., 2018

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

Automated Processing of Privacy Policies Under the EU General Data Protection Regulation.
Proceedings of the Legal Knowledge and Information Systems, 2018

Towards Consumer-Empowering Artificial Intelligence.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Argument Mining on Clinical Trials.
Proceedings of the Computational Models of Argument, 2018

Argumentative Link Prediction using Residual Networks and Multi-Objective Learning.
Proceedings of the 5th Workshop on Argument Mining, 2018

2017
Argumentation in Social Media.
ACM Trans. Internet Techn., 2017

Preface.
Fundam. Informaticae, 2017

Automated Detection of Unfair Clauses in Online Consumer Contracts.
Proceedings of the Legal Knowledge and Information Systems, 2017

Claim Detection in Judgments of the EU Court of Justice.
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2016
Argumentation Mining: State of the Art and Emerging Trends.
ACM Trans. Internet Techn., 2016

Preface.
Fundam. Informaticae, 2016

MARGOT: A web server for argumentation mining.
Expert Syst. Appl., 2016

Microdebates: Structuring debates without a structuring tool.
AI Commun., 2016

Constraint Detection in Natural Language Problem Descriptions.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Argument Mining from Speech: Detecting Claims in Political Debates.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Applications of logical approaches to argumentation.
Argument Comput., 2015

Argument Mining: A Machine Learning Perspective.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Context-Independent Claim Detection for Argument Mining.
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).
J. Log. Comput., 2014

Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013
Representing and monitoring social commitments using the event calculus.
Auton. Agents Multi Agent Syst., 2013

A New Framework for ABMs Based on Argumentative Reasoning.
Proceedings of the Advances in Social Simulation, 2013

NetArg: an agent-based social simulator with argumentative agents.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Arguments in social networks.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Exception diagnosis in multiagent contract executions.
Ann. Math. Artif. Intell., 2012

Reactive Event Calculus for Monitoring Global Computing Applications.
Proceedings of the Logic Programs, Norms and Action, 2012

Large Scale Agreements via Microdebates.
Proceedings of the First International Conference on Agreement Technologies, 2012

2011
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Serv. Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
Cybern. Syst., 2011

Engineering and verifying agent-oriented requirements augmented by business constraints with <i>B</i>-Tropos.
Auton. Agents Multi Agent Syst., 2011

Bottom-Up Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Reasoning about Exceptions to Contracts.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Social Commitment Delegation and Monitoring.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Collaborative diagnosis of exceptions to contracts.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Diagnosing commitments: delegation revisited.
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.
Multiagent Grid Syst., 2010

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

A Logic-Based, Reactive Calculus of Events.
Fundam. Informaticae, 2010

Role Monitoring in Open Agent Societies.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

25 Years of Applications of Logic Programming in Italy.
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?
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.
Proceedings of the Second Multi-Agent Logics, 2009

Verifying A-Priori the Composition of Declarative Specified Services.
Proceedings of the Second Multi-Agent Logics, 2009

Commitment Tracking via the Reactive Event Calculus.
Proceedings of the IJCAI 2009, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009

Social Commitments in Time: Satisfied or Compensated.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Arguing on the Semantic Grid.
Proceedings of the Argumentation in Artificial Intelligence, 2009

Modelling Interactions via Commitments and Expectations.
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008
Verifiable agent interaction in abductive logic programming: The SCIFF framework.
ACM Trans. Comput. Log., 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming.
Int. J. Electron. Commer., 2008

Verification of Choreographies During Execution Using the Reactive Event Calculus.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Verification from Declarative Specifications Using Logic Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Modeling and Verification of Business Processes and Choreographies in ALP.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp., 2007

Argumentation in the Semantic Web.
IEEE Intell. Syst., 2007

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.
Comput. Intell., 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.
Proceedings of the Semantic Web: Research and Applications, 2007

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

2006
Mapping deontic operators to abductive expectations.
Comput. Math. Organ. Theory, 2006

Compliance verification of agent interaction: a logic-based software tool.
Appl. Artif. Intell., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Multi-agent agreements about actions through argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale, 2005

Protocol Specification and Verification by Using Computational Logic.
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.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Abduction with Hypotheses Confirmation.
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.
Proceedings of the Engineering Societies in the Agents World VI, 2005

Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

The <i>S</i>CIFF Abductive Proof-Procedure.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
Specification and Verification of Agent Interaction using Social Integrity Constraints.
Electron. Notes Theor. Comput. Sci., 2004

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions.
Ann. Math. Artif. Intell., 2004

Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Appl. Artif. Intell., 2004

A Logic based Approach to Interaction Design in Open Multi-Agent Systems.
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.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Agent Planning, Negotiation and Control of Operation.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Abductive Framework for Information Exchange in Multi-agent Systems.
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.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.
Proceedings of the IJCAI-03, 2003

Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
Proceedings of the Declarative Agent Languages and Technologies, 2003

A Social ACL Semantics by Deontic Constraints.
Proceedings of the Multi-Agent Systems and Applications III, 2003

An Abductive Interpretation for Open Agent Societies.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Interpreting Abduction in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
Logics and Multi-agents: towards a new symbolic model of cognition.
Electron. Notes Theor. Comput. Sci., 2002

An Abductive Logic Programming Architecture for Negotiating Agents.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A study on the termination of negotiation dialogues.
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.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang., 2001

Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.
Proceedings of the Engineering Societies in the Agents World II, 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000
Expressing Collaboration And Competition Among Abductive Logic Agents.
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.
Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Expressing Collaborative and Competitive Coordination among Abductive.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999
An Implementation for Abductive Logic Agents.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999


  Loading...