Paolo Torroni

185 papers A* 8A 9B 9C 11Misc 1Journal 70Unranked 62
YearRankTypeTitle / Venue / Authors
2026 — conf
PFB at EVALITA 2026: Overview of the Prometeia Financial Benchmark.
EVALITA
Alessandro Pietro Bardelli, Tolga Çekiç, Irem Demirtas, Michele Filannino, Simona Scala, Andrea Galassi, Gianmarco Pappacoda, Paolo Torroni
2025 C conf
Automated Extraction of Judicial Interpretative Formulas in EU Case Law on VAT.
JURIX
Giulia Grundler, Piera Santin, Alessia Fidelangeli, Rachele Mignone, Federico Galli, Andrea Galassi, Giuseppe Contissa, Luigi Di Caro, Paolo Torroni
2025 J jnl
Challenging the Abilities of Large Language Models in Italian: a Community Initiative.
CoRR
Malvina Nissim, Danilo Croce, Viviana Patti, Pierpaolo Basile, Giuseppe Attanasio, Elio Musacchio, Matteo Rinaldi, Federico Borazio, Maria Francis, Jacopo Gili, Daniel Scalena, Begoña Altuna, Ekhi Azurmendi, Valerio Basile, Luisa Bentivogli, Arianna Bisazza, Marianna Bolognesi, Dominique Brunato, Tommaso Caselli, Silvia Casola, Maria Cassese, Mauro Cettolo, Claudia Collacciani, Leonardo De Cosmo, Maria Pia di Buono, Andrea Esuli, Julen Etxaniz, Chiara Ferrando, Alessia Fidelangeli, Simona Frenda, Achille Fusco, Marco Gaido, Andrea Galassi, Federico Galli, Luca Giordano, Mattia Goffetti, Itziar Gonzalez-Dios, Lorenzo Gregori, Giulia Grundler, Sandro Iannaccone, Chunyang Jiang, Moreno La Quatra, Francesca Lagioia, Soda Marem Lo, Marco Madeddu, Bernardo Magnini, Raffaele Manna, Fabio Mercorio, Paola Merlo, Arianna Muti, Vivi Nastase, Matteo Negri, Dario Onorati, Elena Palmieri, Sara Papi, Lucia C. Passaro, Giulia Pensa, Andrea Piergentili, Daniele Potertì, Giovanni Puccetti, Federico Ranaldi, Leonardo Ranaldi, Andrea Amelio Ravelli, Martina Rosola, Elena Sofia Ruzzetti, Giuseppe Samo, Andrea Santilli, Piera Santin, Gabriele Sarti, Giovanni Sartor, Beatrice Savoldi, Antonio Serino, Andrea Seveso, Lucia Siciliani, Paolo Torroni, Rossella Varvara, Andrea Zaninello, Asya Zanollo, Fabio Massimo Zanzotto, Kamyar Zeinalipour, Andrea Zugarini
2025 A conf
Detecting Vague Clauses in Italian Privacy Policies Using Transformers, LLMs, and Cross-Lingual Techniques.
ECAI
Giulia Grundler, Mariaceleste Musicco, Andrea Galassi, Francesca Lagioia, Ruta Liepina, Giorgio Resta, Sara Roccu, Giovanni Sartor, Paolo Torroni
2025 — conf
Dynamic Demonstrations Selection for Few-Shot Legal Argument Mining.
AMELR@ICAIL
Francesco Alfieri, Giulia Grundler, Francesca Galloni, Ruta Liepina, Francesca Lagioia, Andrea Galassi, Paolo Torroni
2025 — conf
Investigating the Effectiveness of Explainability Methods in Parkinson's Detection from Speech.
ICASSP Workshops
Eleonora Mancini, Francesco Paissan, Paolo Torroni, Mirco Ravanelli, Cem Subakan
2025 J jnl
Leveraging Whisper Embeddings for Audio-based Lyrics Matching.
CoRR
Eleonora Mancini, Joan Serrà, Paolo Torroni, Yuki Mitsufuji
2025 — conf
Overview of MM-ArgFallacy2025 on Multimodal Argumentative Fallacy Detection and Classification in Political Debates.
ArgMining
Eleonora Mancini, Federico Ruggeri, Serena Villata, Paolo Torroni
2025 J jnl
Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research.
J. Artif. Intell. Res.
Eleonora Mancini, Ana Tanevska, Andrea Galassi, Alessio Galatolo, Federico Ruggeri, Paolo Torroni
2025 — conf
Sustainable Italian LLM Evaluation: Community Perspectives and Methodological Guidelines.
CLiC-it
Luca Moroni, Gianmarco Pappacoda, Edoardo Barba, Simone Conia, Andrea Galassi, Bernardo Magnini, Roberto Navigli, Paolo Torroni, Roberto Zanoli
2025 J jnl
TRI-DEP: A Trimodal Comparative Study for Depression Detection Using Speech, Text, and EEG.
CoRR
Annisaa Fitri Nurfidausi, Eleonora Mancini, Paolo Torroni
2024 B conf
A Chatbot for Asylum-Seeking Migrants in Europe.
ICTAI
Bettina Fazzinga, Elena Palmieri, Margherita Vestoso, Luca Bolognini, Andrea Galassi, Filippo Furfaro, Paolo Torroni
2024 J jnl
A Chatbot for Asylum-Seeking Migrants in Europe.
CoRR
Bettina Fazzinga, Elena Palmieri, Margherita Vestoso, Luca Bolognini, Andrea Galassi, Filippo Furfaro, Paolo Torroni
2024 — conf
AMELIA - Argument Mining Evaluation on Legal documents in ItAlian: A CALAMITA Challenge.
CLiC-it
Giulia Grundler, Andrea Galassi, Piera Santin, Alessia Fidelangeli, Federico Galli, Elena Palmieri, Francesca Lagioia, Giovanni Sartor, Paolo Torroni
2024 C conf
Detecting Vague Clauses in Privacy Policies: The Analysis of Data Categories Using BERT Models and LLMs.
JURIX
Giulia Grundler, Ruta Liepina, Mariaceleste Musicco, Francesca Lagioia, Andrea Galassi, Giovanni Sartor, Paolo Torroni
2024 J jnl
Disruptive situation detection on public transport through speech emotion recognition.
Intell. Syst. Appl.
Eleonora Mancini, Andrea Galassi, Federico Ruggeri, Paolo Torroni
2024 J jnl
Dynamic Few-Shot Learning for Knowledge Graph Question Answering.
CoRR
Jacopo D'Abramo, Andrea Zugarini, Paolo Torroni
2024 J jnl
Fast Vocabulary Transfer for Language Model Compression.
CoRR
Leonidas Gee, Andrea Zugarini, Leonardo Rigutini, Paolo Torroni
2024 — conf
Generation and Evaluation of English Grammar Multiple-Choice Cloze Exercises.
CLiC-it
Nicolò Donati, Matteo Periani, Paolo Di Natale, Giuseppe Savino, Paolo Torroni
2024 J jnl
Investigating the Effectiveness of Explainability Methods in Parkinson's Detection from Speech.
CoRR
Eleonora Mancini, Francesco Paissan, Paolo Torroni, Mirco Ravanelli, Cem Subakan
2024 J jnl
Let Guidelines Guide You: A Prescriptive Guideline-Centered Data Annotation Methodology.
CoRR
Federico Ruggeri, Eleonora Misino, Arianna Muti, Katerina Korre, Paolo Torroni, Alberto Barrón-Cedeño
2024 — conf
MAMKit: A Comprehensive Multimodal Argument Mining Toolkit.
ArgMining
Eleonora Mancini, Federico Ruggeri, Stefano Colamonaco, Andrea Zecca, Samuele Marro, Paolo Torroni
2024 — conf
Multimodal Fallacy Classification in Political Debates.
EACL (2)
Eleonora Mancini, Federico Ruggeri, Paolo Torroni
2024 J jnl
Promoting Fairness and Diversity in Speech Datasets for Mental Health and Neurological Disorders Research.
CoRR
Eleonora Mancini, Ana Tanevska, Andrea Galassi, Alessio Galatolo, Federico Ruggeri, Paolo Torroni
2024 — conf
TWOLAR: A TWO-Step LLM-Augmented Distillation Method for Passage Reranking.
ECIR (1)
Davide Baldelli, Junfeng Jiang, Akiko Aizawa, Paolo Torroni
2024 J jnl
TWOLAR: a TWO-step LLM-Augmented distillation method for passage Reranking.
CoRR
Davide Baldelli, Junfeng Jiang, Akiko Aizawa, Paolo Torroni
2023 C conf
Argumentation Structure Prediction in CJEU Decisions on Fiscal State Aid.
ICAIL
Piera Santin, Giulia Grundler, Andrea Galassi, Federico Galli, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni
2023 J jnl
Multi-Task Attentive Residual Networks for Argument Mining.
IEEE ACM Trans. Audio Speech Lang. Process.
Andrea Galassi, Marco Lippi, Paolo Torroni
2022 J jnl
A privacy-preserving dialogue system based on argumentation.
Intell. Syst. Appl.
Bettina Fazzinga, Andrea Galassi, Paolo Torroni
2022 A* conf
AMICA: An Argumentative Search Engine for COVID-19 Literature.
IJCAI
Marco Lippi, Francesco Antici, Gianfranco Brambilla, Evaristo Cisbani, Andrea Galassi, Daniele Giansanti, Fabio Magurano, Antonella Rosi, Federico Ruggeri, Paolo Torroni
2022 — conf
Combining WordNet and Word Embeddings in Data Augmentation for Legal Texts.
NLLP@EMNLP
Sezen Perçin, Andrea Galassi, Francesca Lagioia, Federico Ruggeri, Piera Santin, Giovanni Sartor, Paolo Torroni
2022 — conf
Detecting Arguments in CJEU Decisions on Fiscal State Aid.
ArgMining@COLING
Giulia Grundler, Piera Santin, Andrea Galassi, Federico Galli, Francesco Godano, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni
2022 J jnl
Detecting and explaining unfairness in consumer contracts through memory networks.
Artif. Intell. Law
Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni
2022 — conf
Fast Vocabulary Transfer for Language Model Compression.
EMNLP (Industry Track)
Leonidas Gee, Andrea Zugarini, Leonardo Rigutini, Paolo Torroni
2022 — conf
Multimodal Argument Mining: A Case Study in Political Debates.
ArgMining@COLING
Eleonora Mancini, Federico Ruggeri, Andrea Galassi, Paolo Torroni
2022 C conf
Predicting Outcomes of Italian VAT Decisions.
JURIX
Federico Galli, Giulia Grundler, Alessia Fidelangeli, Andrea Galassi, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni
2021 — conf
A Corpus for Multilingual Analysis of Online Terms of Service.
NLLP@EMNLP
Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni
2021 — conf
A Preliminary Evaluation of a Privacy-Preserving Dialogue System.
NL4AI@AI*IA
Bettina Fazzinga, Andrea Galassi, Paolo Torroni
2021 — conf
An Argumentative Dialogue System for COVID-19 Vaccine Information.
CLAR
Bettina Fazzinga, Andrea Galassi, Paolo Torroni
2021 J jnl
An Argumentative Dialogue System for COVID-19 Vaccine Information.
CoRR
Bettina Fazzinga, Andrea Galassi, Paolo Torroni
2021 J jnl
Attention in Natural Language Processing.
IEEE Trans. Neural Networks Learn. Syst.
Andrea Galassi, Marco Lippi, Paolo Torroni
2021 J jnl
MemBERT: Injecting Unstructured Knowledge into BERT.
CoRR
Federico Ruggeri, Marco Lippi, Paolo Torroni
2021 J jnl
Multi-Task Attentive Residual Networks for Argument Mining.
CoRR
Andrea Galassi, Marco Lippi, Paolo Torroni
2021 J jnl
Tree-Constrained Graph Neural Networks For Argument Mining.
CoRR
Federico Ruggeri, Marco Lippi, Paolo Torroni
2020 J jnl
AI reflections in 2019.
Nat. Mach. Intell.
Alexander S. Rich, Cynthia Rudin, David M. P. Jacoby, Robin Freeman, Oliver R. Wearn, Henry Shevlin, Kanta Dihal, Seán S. ÓhÉigeartaigh, James Butcher, Marco Lippi, Przemyslaw Palka, Paolo Torroni, Shannon Wongvibulsin, Edmon Begoli, Gisbert Schneider, Stephen Cave, Mona Sloane, Emanuel Moss, Iyad Rahwan, Ken Goldberg, David Howard, Luciano Floridi, Jack Stilgoe
2020 B conf
Cross-lingual Annotation Projection in Legal Texts.
COLING
Andrea Galassi, Kasper Drazewski, Marco Lippi, Paolo Torroni
2020 — conf
Explaining Potentially Unfair Clauses to the Consumer with the CLAUDETTE tool.
NLLP@KDD
Ruta Liepina, Federico Ruggeri, Francesca Lagioia, Marco Lippi, Kasper Drazewski, Paolo Torroni
2020 J jnl
Memory networks for consumer protection: unfairness exposed.
CoRR
Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni
2020 J jnl
Parallelizing Machine Learning as a Service for the End-User.
CoRR
Daniela Loreti, Marco Lippi, Paolo Torroni
2020 J jnl
Parallelizing Machine Learning as a service for the end-user.
Future Gener. Comput. Syst.
Daniela Loreti, Marco Lippi, Paolo Torroni
2020 J jnl
Preface.
Fundam. Informaticae
Costin Badica, Mirjana Ivanovic, Yannis Manolopoulos, Riccardo Rosati, Paolo Torroni
2020 J jnl
Special issue of Teams in Multiagent Systems (TEAMAS): Preface.
Fundam. Informaticae
Ewa Andrejczuk, Juan M. Alberola, Leandro Soriano Marcolino, Paolo Torroni
2020 J jnl
The Force Awakens: Artificial Intelligence for Consumer Law.
J. Artif. Intell. Res.
Marco Lippi, Giuseppe Contissa, Agnieszka Jablonowska, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
2019 J jnl
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing.
CoRR
Andrea Galassi, Marco Lippi, Paolo Torroni
2019 J jnl
CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service.
Artif. Intell. Law
Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni
2019 J jnl
Consumer protection requires artificial intelligence.
Nat. Mach. Intell.
Marco Lippi, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
2019 C conf
Deep Learning for Detecting and Explaining Unfairness in Consumer Contracts.
JURIX
Francesca Lagioia, Federico Ruggeri, Kasper Drazewski, Marco Lippi, Hans-Wolfgang Micklitz, Paolo Torroni, Giovanni Sartor
2019 — conf
GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism.
ASAIL@ICAIL
Ruta Liepina, Giuseppe Contissa, Kasper Drazewski, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
2019 — ch.
Intelligent Agents: Multi-Agent Systems.
Encyclopedia of Bioinformatics and Computational Biology (1)
Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Paolo Torroni
2019 J jnl
Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning.
Frontiers Big Data
Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao, Paolo Torroni
2019 J jnl
Neural-Symbolic Argumentation Mining: an Argument in Favour of Deep Learning and Reasoning.
CoRR
Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao, Paolo Torroni
2019 J jnl
Preface.
Fundam. Informaticae
Marco Maratea, Ivan Serina, Paolo Torroni
2019 J jnl
Principles and practice of multi-agent systems.
Knowl. Eng. Rev.
Qingliang Chen, Paolo Torroni, Serena Villata
2019 J jnl
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini, Paolo Torroni
2018 C conf
Argument Mining on Clinical Trials.
COMMA
Tobias Mayer, Elena Cabrio, Marco Lippi, Paolo Torroni, Serena Villata
2018 — conf
Argumentative Link Prediction using Residual Networks and Multi-Objective Learning.
ArgMining@EMNLP
Andrea Galassi, Marco Lippi, Paolo Torroni
2018 C conf
Automated Processing of Privacy Policies Under the EU General Data Protection Regulation.
JURIX
Giuseppe Contissa, Koen Docter, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
2018 J jnl
Blocking time under basic priority inheritance: Polynomial bound and exact computation.
CoRR
Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
2018 J jnl
CLAUDETTE: an Automated Detector of Potentially Unfair Clauses in Online Terms of Service.
CoRR
Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni
2018 J jnl
Comodo: Collaborative monitoring of commitment delegations.
Expert Syst. Appl.
Özgür Kafali, Paolo Torroni
2018 J jnl
Monitoring norms: a multi-disciplinary perspective.
Knowl. Eng. Rev.
Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith
2018 J jnl
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput.
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2018 J jnl
Preface.
Fundam. Informaticae
Qingliang Chen, Paolo Torroni, Serena Villata
2018 A* conf
Towards Consumer-Empowering Artificial Intelligence.
IJCAI
Giuseppe Contissa, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
2017 J jnl
Argumentation in Social Media.
ACM Trans. Internet Techn.
Iryna Gurevych, Marco Lippi, Paolo Torroni
2017 C conf
Automated Detection of Unfair Clauses in Online Consumer Contracts.
JURIX
Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Yannis Panagis, Giovanni Sartor, Paolo Torroni
2017 — conf
Claim Detection in Judgments of the EU Court of Justice.
AICOL
Marco Lippi, Francesca Lagioia, Giuseppe Contissa, Giovanni Sartor, Paolo Torroni
2017 J jnl
Preface.
Fundam. Informaticae
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
2016 A* conf
Argument Mining from Speech: Detecting Claims in Political Debates.
AAAI
Marco Lippi, Paolo Torroni
2016 J jnl
Argumentation Mining: State of the Art and Emerging Trends.
ACM Trans. Internet Techn.
Marco Lippi, Paolo Torroni
2016 A* conf
Constraint Detection in Natural Language Problem Descriptions.
IJCAI
Zeynep Kiziltan, Marco Lippi, Paolo Torroni
2016 J jnl
MARGOT: A web server for argumentation mining.
Expert Syst. Appl.
Marco Lippi, Paolo Torroni
2016 J jnl
Microdebates: Structuring debates without a structuring tool.
AI Commun.
Simone Gabbriellini, Paolo Torroni
2016 B ed.
PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
PRIMA
Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni
2016 J jnl
Preface.
Fundam. Informaticae
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
2015 J jnl
Applications of logical approaches to argumentation.
Argument Comput.
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2015 — conf
Argument Mining: A Machine Learning Perspective.
TAFA
Marco Lippi, Paolo Torroni
2015 A* conf
Context-Independent Claim Detection for Argument Mining.
IJCAI
Marco Lippi, Paolo Torroni
2015 B ed.
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
PRIMA
Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini
2014 B conf
Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device.
ICTAI
Nefise Yaglikci, Paolo Torroni
2014 J jnl
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII).
J. Log. Comput.
João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre
2013 — conf
A New Framework for ABMs Based on Argumentative Reasoning.
ESSA
Simone Gabbriellini, Paolo Torroni
2013 A conf
Arguments in social networks.
AAMAS
Simone Gabbriellini, Paolo Torroni
2013 — ed.
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
CLIMA
João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
2013 A conf
NetArg: an agent-based social simulator with argumentative agents.
AAMAS
Simone Gabbriellini, Paolo Torroni
2013 J jnl
Representing and monitoring social commitments using the event calculus.
Auton. Agents Multi Agent Syst.
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2012 J jnl
Exception diagnosis in multiagent contract executions.
Ann. Math. Artif. Intell.
Özgür Kafali, Paolo Torroni
2012 — conf
Large Scale Agreements via Microdebates.
AT
Simone Gabbriellini, Paolo Torroni
2012 — conf
Reactive Event Calculus for Monitoring Global Computing Applications.
Logic Programs, Norms and Action
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011 J jnl
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Serv. Res.
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 — conf
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
DALT
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2011 — conf
Bottom-Up Argumentation.
TAFA
Francesca Toni, Paolo Torroni
2011 A conf
Collaborative diagnosis of exceptions to contracts.
AAMAS
Özgür Kafali, Francesca Toni, Paolo Torroni
2011 — ed.
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
CLIMA
João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre
2011 A conf
Diagnosing commitments: delegation revisited.
AAMAS
Özgür Kafali, Paolo Torroni
2011 J jnl
Engineering and verifying agent-oriented requirements augmented by business constraints with
Auton. Agents Multi Agent Syst.
Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl
2011 J jnl
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011 J jnl
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
Cybern. Syst.
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2011 — conf
Reasoning about Exceptions to Contracts.
CLIMA
Özgür Kafali, Francesca Toni, Paolo Torroni
2011 — conf
Social Commitment Delegation and Monitoring.
CLIMA
Özgür Kafali, Paolo Torroni
2010 — ch.
25 Years of Applications of Logic Programming in Italy.
25 Years GULP
Alessandro Dal Palù, Paolo Torroni
2010 J jnl
A Logic-Based, Reactive Calculus of Events.
Fundam. Informaticae
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 J jnl
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Informaticae
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
2010 — ch.
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
25 Years GULP
Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
2010 — conf
Declarative Technologies for Open Agent Systems and Beyond.
KES-AMSTA (1)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 — ed.
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
LADS
Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2010 J jnl
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Multiagent Grid Syst.
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2010 — conf
Role Monitoring in Open Agent Societies.
KES-AMSTA (1)
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2010 — conf
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.
CLIMA
Özgür Kafali, Federico Chesani, Paolo Torroni
2009 — ch.
Arguing on the Semantic Grid.
Argumentation in Artificial Intelligence
Paolo Torroni, Marco Gavanelli, Federico Chesani
2009 A* conf
Commitment Tracking via the Reactive Event Calculus.
IJCAI
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2009 A conf
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
ICWS
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009 — conf
Introductory Essay of LADS'009.
MALLOW
Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2009 — ch.
Modelling Interactions via Commitments and Expectations.
Handbook of Research on Multi-Agent Systems
Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2009 — ed.
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009
MALLOW
Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge
2009 — conf
Social Commitments in Time: Satisfied or Compensated.
DALT
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2009 — conf
Verifying A-Priori the Composition of Declarative Specified Services.
MALLOW
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 J jnl
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Int. J. Electron. Commer.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008 — ed.
Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
LADS
Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2008 — conf
Modeling and Verification of Business Processes and Choreographies in ALP.
Il Milione
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 — conf
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
SWAP
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2008 J jnl
Verifiable agent interaction in abductive logic programming: The SCIFF framework.
ACM Trans. Comput. Log.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2008 B conf
Verification from Declarative Specifications Using Logic Programming.
ICLP
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008 — conf
Verification of Choreographies During Execution Using the Reactive Event Calculus.
WS-FM
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2007 — conf
-Tropos.
CLIMA
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
2007 — conf
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
RR
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 J jnl
Argumentation in the Semantic Web.
IEEE Intell. Syst.
Paolo Torroni, Marco Gavanelli, Federico Chesani
2007 J jnl
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.
Comput. Intell.
Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 — conf
Expressing and Verifying Business Contracts with Abductive Logic Programming.
Normative Multi-agent Systems
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007 J jnl
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp.
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2007 B conf
Web Service Contracting: Specification and Reasoning with SCIFF.
ESWC
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006 J jnl
Compliance verification of agent interaction: a logic-based software tool.
Appl. Artif. Intell.
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006 — conf
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the
WS-FM
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006 — ed.
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
CLIMA
Francesca Toni, Paolo Torroni
2006 — ed.
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
DALT
Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
2006 J jnl
Mapping deontic operators to abductive expectations.
Comput. Math. Organ. Theory
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006 C conf
Multi-agent agreements about actions through argumentation.
COMMA
Paolo Torroni
2005 A* conf
Abduction with Hypotheses Confirmation.
IJCAI
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — ed.
Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
CLIMA
João Alexandre Leite, Paolo Torroni
2005 — ed.
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
DALT
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
2005 — conf
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
W(C)LP
Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2005 J jnl
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
Mapping of Deontic Operators to Abductive Expectations.
NORMAS
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2005 — conf
Protocol Specification and Verification by Using Computational Logic.
WOA
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
2005 — conf
Security Protocols Verification in Abductive Logic Programming: A Case Study.
ESAW
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
CLIMA
Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2005 — conf
The
AI*IA
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004 C conf
A Logic based Approach to Interaction Design in Open Multi-Agent Systems.
WETICE
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2004 — conf
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.
CLIMA
Andrea Bracciali, Paolo Torroni
2004 A conf
Agent Planning, Negotiation and Control of Operation.
ECAI
Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou
2004 — conf
An Abductive Framework for Information Exchange in Multi-agent Systems.
CLIMA
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004 J jnl
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions.
Ann. Math. Artif. Intell.
Paolo Torroni
2004 — ed.
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
DALT
João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
2004 Misc conf
Specification and verification of agent interaction protocols in a logic-based system.
SAC
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
2004 — conf
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Global Computing
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004 J jnl
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Appl. Artif. Intell.
Anna Ciampolini, Paolo Torroni
2003 — conf
A Social ACL Semantics by Deontic Constraints.
CEEMAS
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 — conf
An Abductive Interpretation for Open Agent Societies.
AI*IA
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 J jnl
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell.
Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni
2003 — conf
Interpreting Abduction in CLP.
APPIA-GULP-PRODE
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2003 A* conf
Minimally intrusive negotiating agents for resource sharing.
IJCAI
Fariba Sadri, Francesca Toni, Paolo Torroni
2003 — conf
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
DALT
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003 — conf
Specification and Verification of Agent Interaction using Social Integrity Constraints.
LCMAS
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2002 B conf
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
JELIA
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2002 A conf
A study on the termination of negotiation dialogues.
AAMAS
Paolo Torroni
2002 B conf
An Abductive Logic Programming Architecture for Negotiating Agents.
JELIA
Fariba Sadri, Francesca Toni, Paolo Torroni
2002 A conf
Coordinating the safe execution of tasks in a constrained multi-agent system.
AAMAS
Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma
2002 — conf
Logics and Multi-agents: towards a new symbolic model of cognition.
CLIMA
Paolo Torroni
2001 — conf
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
ATAL
Fariba Sadri, Francesca Toni, Paolo Torroni
2001 — conf
Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.
ESAW
Paolo Torroni, Francesca Toni
2001 J jnl
LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang.
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000 — conf
Expressing Collaboration And Competition Among Abductive Logic Agents.
WOA
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000 — conf
Expressing Collaborative and Competitive Coordination among Abductive.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
2000 C conf
Planning while Executing: A Constraint-Based Approach.
ISMIS
Rosy Barruffi, Michela Milano, Paolo Torroni
1999 — conf
An Implementation for Abductive Logic Agents.
AI*IA
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni