Paolo Torroni
Orcid: 0000-0002-9253-8638Affiliations:
- University of Bologna, Italy
According to our database1,
Paolo Torroni
authored at least 148 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Disruptive situation detection on public transport through speech emotion recognition.
Intell. Syst. Appl., March, 2024
Let Guidelines Guide You: A Prescriptive Guideline-Centered Data Annotation Methodology.
CoRR, 2024
Promoting Fairness and Diversity in Speech Datasets for Mental Health and Neurological Disorders Research.
CoRR, 2024
Proceedings of the Advances in Information Retrieval, 2024
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024
2023
IEEE ACM Trans. Audio Speech Lang. Process., 2023
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023
2022
Intell. Syst. Appl., 2022
Artif. Intell. Law, 2022
Proceedings of the Legal Knowledge and Information Systems, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing: EMNLP 2022 - Industry Track, Abu Dhabi, UAE, December 7, 2022
Proceedings of the 9th Workshop on Argument Mining, 2022
Proceedings of the 9th Workshop on Argument Mining, 2022
Proceedings of the Natural Legal Language Processing Workshop, 2022
2021
IEEE Trans. Neural Networks Learn. Syst., 2021
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
Proceedings of the Fifth Workshop on Natural Language for Artificial Intelligence (NL4AI 2021) co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2021), 2021
Proceedings of the Natural Legal Language Processing Workshop 2021, 2021
2020
J. Artif. Intell. Res., 2020
Fundam. Informaticae, 2020
Future Gener. Comput. Syst., 2020
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
Proceedings of the 28th International Conference on Computational Linguistics, 2020
2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 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
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
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
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the 5th Workshop on Argument Mining, 2018
2017
Proceedings of the Legal Knowledge and Information Systems, 2017
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017
2016
ACM Trans. Internet Techn., 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Proceedings of the Theory and Applications of Formal Argumentation, 2015
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
Auton. Agents Multi Agent Syst., 2013
Proceedings of the Advances in Social Simulation, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
2012
Ann. Math. Artif. Intell., 2012
Proceedings of the Logic Programs, Norms and Action, 2012
Proceedings of the First International Conference on Agreement Technologies, 2012
2011
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
Cybern. Syst., 2011
Engineering and verifying agent-oriented requirements augmented by business constraints with <i>B</i>-Tropos.
Auton. Agents Multi Agent Syst., 2011
Proceedings of the Theorie and Applications of Formal Argumentation, 2011
Proceedings of the Declarative Agent Languages and Technologies IX, 2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
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
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010
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
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
Proceedings of the Second Multi-Agent Logics, 2009
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
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
Proceedings of the Argumentation in Artificial Intelligence, 2009
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009
2008
ACM Trans. Comput. Log., 2008
Int. J. Electron. Commer., 2008
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
Proceedings of the Logic Programming, 24th International Conference, 2008
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
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.
Comput. Intell., 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007
2006
Comput. Math. Organ. Theory, 2006
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
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
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
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
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
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Ann. Math. Artif. Intell., 2004
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Appl. Artif. Intell., 2004
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
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
Specification and Verification of Agent Interaction using Social Integrity Constraints.
Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003
Ann. Math. Artif. Intell., 2003
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
Proceedings of the Multi-Agent Systems and Applications III, 2003
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
Proceedings of the Computational Logic in Multi-Agent Systems, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Comput. Lang., 2001
Proceedings of the Engineering Societies in the Agents World II, 2001
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
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
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999