default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Torroni
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j49]Eleonora Mancini
, Andrea Galassi, Federico Ruggeri, Paolo Torroni:
Disruptive situation detection on public transport through speech emotion recognition. Intell. Syst. Appl. 21: 200305 (2024)- [c87]Nicolò Donati, Matteo Periani, Paolo Di Natale, Giuseppe Savino, Paolo Torroni:
Generation and Evaluation of English Grammar Multiple-Choice Cloze Exercises. CLiC-it 2024 - [c86]Giulia Grundler, Andrea Galassi, Piera Santin, Alessia Fidelangeli, Federico Galli, Elena Palmieri, Francesca Lagioia, Giovanni Sartor, Paolo Torroni:
AMELIA - Argument Mining Evaluation on Legal documents in ItAlian: A CALAMITA Challenge. CLiC-it 2024 - [c85]Eleonora Mancini, Federico Ruggeri, Paolo Torroni:
Multimodal Fallacy Classification in Political Debates. EACL (2) 2024: 170-178 - [c84]Davide Baldelli, Junfeng Jiang, Akiko Aizawa, Paolo Torroni:
TWOLAR: A TWO-Step LLM-Augmented Distillation Method for Passage Reranking. ECIR (1) 2024: 470-485 - [i18]Leonidas Gee, Andrea Zugarini, Leonardo Rigutini, Paolo Torroni:
Fast Vocabulary Transfer for Language Model Compression. CoRR abs/2402.09977 (2024) - [i17]Davide Baldelli, Junfeng Jiang, Akiko Aizawa, Paolo Torroni:
TWOLAR: a TWO-step LLM-Augmented distillation method for passage Reranking. CoRR abs/2403.17759 (2024) - [i16]Eleonora Mancini, Ana Tanevska, Andrea Galassi, Alessio Galatolo, Federico Ruggeri, Paolo Torroni:
Promoting Fairness and Diversity in Speech Datasets for Mental Health and Neurological Disorders Research. CoRR abs/2406.04116 (2024) - [i15]Federico Ruggeri, Eleonora Misino, Arianna Muti, Katerina Korre, Paolo Torroni, Alberto Barrón-Cedeño:
Let Guidelines Guide You: A Prescriptive Guideline-Centered Data Annotation Methodology. CoRR abs/2406.14099 (2024) - [i14]Jacopo D'Abramo, Andrea Zugarini, Paolo Torroni:
Dynamic Few-Shot Learning for Knowledge Graph Question Answering. CoRR abs/2407.01409 (2024) - [i13]Bettina Fazzinga, Elena Palmieri, Margherita Vestoso, Luca Bolognini, Andrea Galassi, Filippo Furfaro, Paolo Torroni:
A Chatbot for Asylum-Seeking Migrants in Europe. CoRR abs/2407.09197 (2024) - [i12]Eleonora Mancini, Francesco Paissan, Paolo Torroni, Mirco Ravanelli, Cem Subakan:
Investigating the Effectiveness of Explainability Methods in Parkinson's Detection from Speech. CoRR abs/2411.08013 (2024) - 2023
- [j48]Andrea Galassi, Marco Lippi, Paolo Torroni:
Multi-Task Attentive Residual Networks for Argument Mining. IEEE ACM Trans. Audio Speech Lang. Process. 31: 1877-1892 (2023) - [c83]Piera Santin, Giulia Grundler, Andrea Galassi, Federico Galli, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni:
Argumentation Structure Prediction in CJEU Decisions on Fiscal State Aid. ICAIL 2023: 247-256 - 2022
- [j47]Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni:
Detecting and explaining unfairness in consumer contracts through memory networks. Artif. Intell. Law 30(1): 59-92 (2022) - [j46]Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
A privacy-preserving dialogue system based on argumentation. Intell. Syst. Appl. 16: 200113 (2022) - [c82]Sezen Perçin, Andrea Galassi, Francesca Lagioia, Federico Ruggeri, Piera Santin, Giovanni Sartor, Paolo Torroni:
Combining WordNet and Word Embeddings in Data Augmentation for Legal Texts. NLLP@EMNLP 2022: 47-52 - [c81]Giulia Grundler, Piera Santin, Andrea Galassi, Federico Galli, Francesco Godano, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni:
Detecting Arguments in CJEU Decisions on Fiscal State Aid. ArgMining@COLING 2022: 143-157 - [c80]Eleonora Mancini, Federico Ruggeri, Andrea Galassi, Paolo Torroni:
Multimodal Argument Mining: A Case Study in Political Debates. ArgMining@COLING 2022: 158-170 - [c79]Leonidas Gee, Andrea Zugarini, Leonardo Rigutini, Paolo Torroni:
Fast Vocabulary Transfer for Language Model Compression. EMNLP (Industry Track) 2022: 409-416 - [c78]Marco Lippi, Francesco Antici, Gianfranco Brambilla, Evaristo Cisbani, Andrea Galassi, Daniele Giansanti, Fabio Magurano, Antonella Rosi, Federico Ruggeri, Paolo Torroni:
AMICA: An Argumentative Search Engine for COVID-19 Literature. IJCAI 2022: 5932-5935 - [c77]Federico Galli, Giulia Grundler, Alessia Fidelangeli, Andrea Galassi, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni:
Predicting Outcomes of Italian VAT Decisions. JURIX 2022: 188-193 - 2021
- [j45]Andrea Galassi, Marco Lippi, Paolo Torroni:
Attention in Natural Language Processing. IEEE Trans. Neural Networks Learn. Syst. 32(10): 4291-4308 (2021) - [c76]Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni:
A Corpus for Multilingual Analysis of Online Terms of Service. NLLP@EMNLP 2021: 1-8 - [c75]Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
A Preliminary Evaluation of a Privacy-Preserving Dialogue System. NL4AI@AI*IA 2021 - [c74]Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
An Argumentative Dialogue System for COVID-19 Vaccine Information. CLAR 2021: 477-485 - [i11]Andrea Galassi, Marco Lippi, Paolo Torroni:
Multi-Task Attentive Residual Networks for Argument Mining. CoRR abs/2102.12227 (2021) - [i10]Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
An Argumentative Dialogue System for COVID-19 Vaccine Information. CoRR abs/2107.12079 (2021) - [i9]Federico Ruggeri, Marco Lippi, Paolo Torroni:
Tree-Constrained Graph Neural Networks For Argument Mining. CoRR abs/2110.00124 (2021) - [i8]Federico Ruggeri, Marco Lippi, Paolo Torroni:
MemBERT: Injecting Unstructured Knowledge into BERT. CoRR abs/2110.00125 (2021) - 2020
- [j44]Daniela Loreti, Marco Lippi, Paolo Torroni:
Parallelizing Machine Learning as a service for the end-user. Future Gener. Comput. Syst. 105: 275-286 (2020) - [j43]Costin Badica, Mirjana Ivanovic, Yannis Manolopoulos, Riccardo Rosati, Paolo Torroni:
Preface. Fundam. Informaticae 172(3) (2020) - [j42]Ewa Andrejczuk, Juan M. Alberola, Leandro Soriano Marcolino, Paolo Torroni:
Special issue of Teams in Multiagent Systems (TEAMAS): Preface. Fundam. Informaticae 174(1): 61-62 (2020) - [j41]Marco Lippi, Giuseppe Contissa, Agnieszka Jablonowska, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
The Force Awakens: Artificial Intelligence for Consumer Law. J. Artif. Intell. Res. 67: 169-190 (2020) - [j40]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:
AI reflections in 2019. Nat. Mach. Intell. 2(1): 2-9 (2020) - [c73]Andrea Galassi, Kasper Drazewski, Marco Lippi, Paolo Torroni:
Cross-lingual Annotation Projection in Legal Texts. COLING 2020: 915-926 - [c72]Ruta Liepina, Federico Ruggeri, Francesca Lagioia, Marco Lippi, Kasper Drazewski, Paolo Torroni:
Explaining Potentially Unfair Clauses to the Consumer with the CLAUDETTE tool. NLLP@KDD 2020: 61-64 - [i7]Daniela Loreti, Marco Lippi, Paolo Torroni:
Parallelizing Machine Learning as a Service for the End-User. CoRR abs/2005.14080 (2020) - [i6]Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni:
Memory networks for consumer protection: unfairness exposed. CoRR abs/2008.07346 (2020)
2010 – 2019
- 2019
- [j39]Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni:
CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service. Artif. Intell. Law 27(2): 117-139 (2019) - [j38]Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao, Paolo Torroni:
Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning. Frontiers Big Data 2: 52 (2019) - [j37]Stefano Bistarelli, Francesco Santini, Paolo Torroni:
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Fundam. Informaticae 166(2): 139-140 (2019) - [j36]Marco Maratea, Ivan Serina, Paolo Torroni:
Preface. Fundam. Informaticae 167(1-2): v-vii (2019) - [j35]Qingliang Chen, Paolo Torroni, Serena Villata:
Principles and practice of multi-agent systems. Knowl. Eng. Rev. 34: e3 (2019) - [j34]Marco Lippi, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
Consumer protection requires artificial intelligence. Nat. Mach. Intell. 1(4): 168-169 (2019) - [c71]Ruta Liepina, Giuseppe Contissa, Kasper Drazewski, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism. ASAIL@ICAIL 2019 - [c70]Francesca Lagioia, Federico Ruggeri, Kasper Drazewski, Marco Lippi, Hans-Wolfgang Micklitz, Paolo Torroni, Giovanni Sartor:
Deep Learning for Detecting and Explaining Unfairness in Consumer Contracts. JURIX 2019: 43-52 - [r1]Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Paolo Torroni:
Intelligent Agents: Multi-Agent Systems. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 315-320 - [i5]Andrea Galassi, Marco Lippi, Paolo Torroni:
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing. CoRR abs/1902.02181 (2019) - [i4]Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao, Paolo Torroni:
Neural-Symbolic Argumentation Mining: an Argument in Favour of Deep Learning and Reasoning. CoRR abs/1905.09103 (2019) - 2018
- [j33]Özgür Kafali, Paolo Torroni:
Comodo: Collaborative monitoring of commitment delegations. Expert Syst. Appl. 105: 144-158 (2018) - [j32]Qingliang Chen, Paolo Torroni, Serena Villata:
Preface. Fundam. Informaticae 158(1-3): v-vii (2018) - [j31]Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith:
Monitoring norms: a multi-disciplinary perspective. Knowl. Eng. Rev. 33: e25 (2018) - [j30]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. 28(3): 475-476 (2018) - [c69]Andrea Galassi, Marco Lippi, Paolo Torroni:
Argumentative Link Prediction using Residual Networks and Multi-Objective Learning. ArgMining@EMNLP 2018: 1-10 - [c68]Tobias Mayer, Elena Cabrio, Marco Lippi, Paolo Torroni, Serena Villata:
Argument Mining on Clinical Trials. COMMA 2018: 137-148 - [c67]Giuseppe Contissa, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
Towards Consumer-Empowering Artificial Intelligence. IJCAI 2018: 5150-5157 - [c66]Giuseppe Contissa, Koen Docter, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
Automated Processing of Privacy Policies Under the EU General Data Protection Regulation. JURIX 2018: 51-60 - [i3]Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni:
CLAUDETTE: an Automated Detector of Potentially Unfair Clauses in Online Terms of Service. CoRR abs/1805.01217 (2018) - [i2]Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella:
Blocking time under basic priority inheritance: Polynomial bound and exact computation. CoRR abs/1806.01589 (2018) - 2017
- [j29]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni:
Preface. Fundam. Informaticae 155(3): i-iii (2017) - [j28]Iryna Gurevych, Marco Lippi, Paolo Torroni:
Argumentation in Social Media. ACM Trans. Internet Techn. 17(3): 23:1-23:2 (2017) - [c65]Marco Lippi, Francesca Lagioia, Giuseppe Contissa, Giovanni Sartor, Paolo Torroni:
Claim Detection in Judgments of the EU Court of Justice. AICOL 2017: 513-527 - [c64]Marco Lippi, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Yannis Panagis, Giovanni Sartor, Paolo Torroni:
Automated Detection of Unfair Clauses in Online Consumer Contracts. JURIX 2017: 145-154 - 2016
- [j27]Simone Gabbriellini, Paolo Torroni:
Microdebates: Structuring debates without a structuring tool. AI Commun. 29(1): 31-51 (2016) - [j26]Marco Lippi, Paolo Torroni:
MARGOT: A web server for argumentation mining. Expert Syst. Appl. 65: 292-303 (2016) - [j25]Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. Fundam. Informaticae 149(1-2): v-vii (2016) - [j24]Marco Lippi, Paolo Torroni:
Argumentation Mining: State of the Art and Emerging Trends. ACM Trans. Internet Techn. 16(2): 10:1-10:25 (2016) - [c63]Marco Lippi, Paolo Torroni:
Argument Mining from Speech: Detecting Claims in Political Debates. AAAI 2016: 2979-2985 - [c62]Zeynep Kiziltan, Marco Lippi, Paolo Torroni:
Constraint Detection in Natural Language Problem Descriptions. IJCAI 2016: 744-750 - [e12]Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings. Lecture Notes in Computer Science 9862, Springer 2016, ISBN 978-3-319-44831-2 [contents] - 2015
- [j23]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - [c61]Marco Lippi, Paolo Torroni:
Context-Independent Claim Detection for Argument Mining. IJCAI 2015: 185-191 - [c60]Marco Lippi, Paolo Torroni:
Argument Mining: A Machine Learning Perspective. TAFA 2015: 163-176 - [e11]Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini:
PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings. Lecture Notes in Computer Science 9387, Springer 2015, ISBN 978-3-319-25523-1 [contents] - 2014
- [j22]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. 24(6): 1141-1144 (2014) - [c59]Nefise Yaglikci, Paolo Torroni:
Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device. ICTAI 2014: 792-799 - 2013
- [j21]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Representing and monitoring social commitments using the event calculus. Auton. Agents Multi Agent Syst. 27(1): 85-130 (2013) - [c58]Simone Gabbriellini, Paolo Torroni:
Arguments in social networks. AAMAS 2013: 1119-1120 - [c57]Simone Gabbriellini, Paolo Torroni:
NetArg: an agent-based social simulator with argumentative agents. AAMAS 2013: 1365-1366 - [c56]Simone Gabbriellini, Paolo Torroni:
A New Framework for ABMs Based on Argumentative Reasoning. ESSA 2013: 25-36 - [e10]João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran:
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 [contents] - 2012
- [j20]Özgür Kafali, Paolo Torroni:
Exception diagnosis in multiagent contract executions. Ann. Math. Artif. Intell. 64(1): 73-107 (2012) - [c55]Simone Gabbriellini, Paolo Torroni:
Large Scale Agreements via Microdebates. AT 2012: 366-377 - [c54]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146 - 2011
- [j19]Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl:
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Auton. Agents Multi Agent Syst. 23(2): 193-223 (2011) - [j18]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. 42(7): 546-566 (2011) - [j17]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5(1): 101-105 (2011) - [j16]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8(3): 1-25 (2011) - [c53]Özgür Kafali, Francesca Toni, Paolo Torroni:
Collaborative diagnosis of exceptions to contracts. AAMAS 2011: 1167-1168 - [c52]Özgür Kafali, Paolo Torroni:
Diagnosing commitments: delegation revisited. AAMAS 2011: 1175-1176 - [c51]Özgür Kafali, Paolo Torroni:
Social Commitment Delegation and Monitoring. CLIMA 2011: 171-189 - [c50]Özgür Kafali, Francesca Toni, Paolo Torroni:
Reasoning about Exceptions to Contracts. CLIMA 2011: 225-242 - [c49]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127 - [c48]Francesca Toni, Paolo Torroni:
Bottom-Up Argumentation. TAFA 2011: 249-262 - [e9]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre:
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents] - 2010
- [j15]Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma:
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102(3-4): 325-361 (2010) - [j14]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae 105(1-2): 135-161 (2010) - [j13]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent Grid Syst. 6(2): 165-190 (2010) - [c47]Özgür Kafali, Federico Chesani, Paolo Torroni:
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA 2010: 82-98 - [c46]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5 - [c45]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121 - [p4]Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni:
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP 2010: 204-230 - [p3]Alessandro Dal Palù, Paolo Torroni:
25 Years of Applications of Logic Programming in Italy. 25 Years GULP 2010: 300-328 - [e8]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6039, Springer 2010, ISBN 978-3-642-13337-4 [contents]
2000 – 2009
- 2009
- [c44]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243 - [c43]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni:
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [c42]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96 - [c41]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009 - [c40]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Introductory Essay of LADS'009. MALLOW 2009 - [p2]Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - [p1]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Arguing on the Semantic Grid. Argumentation in Artificial Intelligence 2009: 423-441 - [e7]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:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009 [contents] - 2008
- [j12]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [j11]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): 29:1-29:43 (2008) - [c39]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione 2008 - [c38]Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c37]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008 - [c36]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72 - [e6]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5118, Springer 2008, ISBN 978-3-540-85057-1 [contents] - 2007
- [j10]Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni:
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Comput. Intell. 23(1): 61-91 (2007) - [j9]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Argumentation in the Semantic Web. IEEE Intell. Syst. 22(6): 66-74 (2007) - [j8]Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8(1) (2007) - [c35]Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone:
-Tropos. CLIMA 2007: 157-176 - [c34]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c33]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288 - [i1]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007 - 2006
- [j7]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2-4): 133-157 (2006) - [j6]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12(2-3): 205-225 (2006) - [c32]Paolo Torroni:
Multi-agent agreements about actions through argumentation. COMMA 2006: 323-328 - [c31]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - [e5]Francesca Toni, Paolo Torroni:
Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3900, Springer 2006, ISBN 3-540-33996-5 [contents] - [e4]Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni:
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Lecture Notes in Computer Science 3904, Springer 2006, ISBN 3-540-33106-9 [contents] - 2005
- [j5]Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005) - [c30]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c29]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c28]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c27]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546 - [c26]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136 - [c25]Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64 - [c24]Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192 - [e3]João Alexandre Leite, Paolo Torroni:
Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3487, Springer 2005, ISBN 3-540-28060-X [contents] - [e2]João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum:
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476, Springer 2005, ISBN 3-540-26172-9 [contents] - 2004
- [j4]Anna Ciampolini, Paolo Torroni:
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. Appl. Artif. Intell. 18(3-4): 251-275 (2004) - [j3]Paolo Torroni:
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions. Ann. Math. Artif. Intell. 42(1-3): 293-305 (2004) - [c23]Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52 - [c22]Andrea Bracciali, Paolo Torroni:
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA 2004: 159-177 - [c21]Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou:
Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32 - [c20]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - [c19]Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello:
Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 - [c18]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392 - [e1]João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni:
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 [contents] - 2003
- [j2]Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni:
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003) - [c17]Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 - [c16]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299 - [c15]Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213 - [c14]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262 - [c13]Fariba Sadri, Francesca Toni, Paolo Torroni:
Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804 - [c12]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS 2003: 94-116 - 2002
- [c11]Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma:
Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941 - [c10]Paolo Torroni:
A study on the termination of negotiation dialogues. AAMAS 2002: 1223-1230 - [c9]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26 - [c8]Fariba Sadri, Francesca Toni, Paolo Torroni:
An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431 - [c7]Paolo Torroni:
Logics and Multi-agents: towards a new symbolic model of cognition. CLIMA 2002: 199-203 - 2001
- [j1]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27(4): 137-161 (2001) - [c6]Fariba Sadri, Francesca Toni, Paolo Torroni:
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421 - [c5]Paolo Torroni, Francesca Toni:
Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation. ESAW 2001: 105-118 - 2000
- [c4]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 35-43 - [c3]Rosy Barruffi, Michela Milano, Paolo Torroni:
Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236 - [c2]Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69
1990 – 1999
- 1999
- [c1]Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni:
An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71
Coauthor Index
João Leite 0001
aka: João Alexandre Leite
aka: João Alexandre Leite
[j21] [c54] [j19] [j18] [j17] [j16] [c49] [j15] [j14] [j13] [c46] [c45] [c44] [c43] [c42] [c41] [p2] [j12] [j11] [c39] [c38] [c37] [c36] [j8] [c35] [c34] [c33] [i1] [j7] [j6] [c31] [j5] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c20] [c19] [c18] [j2] [c17] [c16] [c15] [c14] [c12] [c11] [c9] [j1] [c4] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
