Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[j48]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)- 2021
- [j47]Andrea Galassi, Marco Lippi, Paolo Torroni:
Attention in Natural Language Processing. IEEE Trans. Neural Networks Learn. Syst. 32(10): 4291-4308 (2021) - [c74]Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
A Preliminary Evaluation of a Privacy-Preserving Dialogue System. NL4AI@AI*IA 2021 - [c73]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
- [j46]Daniela Loreti, Marco Lippi, Paolo Torroni:
Parallelizing Machine Learning as a service for the end-user. Future Gener. Comput. Syst. 105: 275-286 (2020) - [j45]Costin Badica, Mirjana Ivanovic, Yannis Manolopoulos, Riccardo Rosati, Paolo Torroni:
Preface. Fundam. Informaticae 172(3) (2020) - [j44]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) - [j43]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) - [j42]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, Emmanuel Moss, Iyad Rahwan, Ken Goldberg, David Howard, Luciano Floridi, Jack Stilgoe:
AI reflections in 2019. Nat. Mach. Intell. 2(1): 2-9 (2020) - [c72]Andrea Galassi, Kasper Drazewski, Marco Lippi, Paolo Torroni:
Cross-lingual Annotation Projection in Legal Texts. COLING 2020: 915-926 - [c71]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
- [j41]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) - [j40]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) - [j39]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) - [j38]Marco Maratea, Ivan Serina, Paolo Torroni:
Preface. Fundam. Informaticae 167(1-2): v-vii (2019) - [j37]Qingliang Chen, Paolo Torroni, Serena Villata:
Principles and practice of multi-agent systems. Knowl. Eng. Rev. 34: e3 (2019) - [j36]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) - [c70]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 - [c69]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
- [j35]Özgür Kafali, Paolo Torroni:
Comodo: Collaborative monitoring of commitment delegations. Expert Syst. Appl. 105: 144-158 (2018) - [j34]Qingliang Chen, Paolo Torroni, Serena Villata:
Preface. Fundam. Informaticae 158(1-3): v-vii (2018) - [j33]Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith:
Monitoring norms: a multi-disciplinary perspective. Knowl. Eng. Rev. 33: e25 (2018) - [j32]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) - [c68]Andrea Galassi, Marco Lippi, Paolo Torroni:
Argumentative Link Prediction using Residual Networks and Multi-Objective Learning. ArgMining@EMNLP 2018: 1-10 - [c67]Tobias Mayer, Elena Cabrio, Marco Lippi, Paolo Torroni, Serena Villata:
Argument Mining on Clinical Trials. COMMA 2018: 137-148 - [c66]Giuseppe Contissa, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni:
Towards Consumer-Empowering Artificial Intelligence. IJCAI 2018: 5150-5157 - [c65]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
- [j31]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni:
Preface. Fundam. Informaticae 155(3): i-iii (2017) - [j30]Iryna Gurevych, Marco Lippi, Paolo Torroni:
Argumentation in Social Media. ACM Trans. Internet Techn. 17(3): 23:1-23:2 (2017) - [c64]Marco Lippi, Francesca Lagioia, Giuseppe Contissa, Giovanni Sartor, Paolo Torroni:
Claim Detection in Judgments of the EU Court of Justice. AICOL 2017: 513-527 - [c63]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
- [j29]Simone Gabbriellini, Paolo Torroni:
Microdebates: Structuring debates without a structuring tool. AI Commun. 29(1): 31-51 (2016) - [j28]Marco Lippi, Paolo Torroni:
MARGOT: A web server for argumentation mining. Expert Syst. Appl. 65: 292-303 (2016) - [j27]Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. Fundam. Informaticae 149(1-2): v-vii (2016) - [j26]Marco Lippi, Paolo Torroni:
Argumentation Mining: State of the Art and Emerging Trends. ACM Trans. Internet Techn. 16(2): 10:1-10:25 (2016) - [c62]Marco Lippi, Paolo Torroni:
Argument Mining from Speech: Detecting Claims in Political Debates. AAAI 2016: 2979-2985 - [c61]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
- [j25]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - [c60]Marco Lippi, Paolo Torroni:
Context-Independent Claim Detection for Argument Mining. IJCAI 2015: 185-191 - [c59]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
- [j24]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) - [c58]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
- [j23]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) - [c57]Simone Gabbriellini, Paolo Torroni:
Arguments in social networks. AAMAS 2013: 1119-1120 - [c56]Simone Gabbriellini, Paolo Torroni:
NetArg: an agent-based social simulator with argumentative agents. AAMAS 2013: 1365-1366 - [c55]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
- [j22]Özgür Kafali, Paolo Torroni:
Exception diagnosis in multiagent contract executions. Ann. Math. Artif. Intell. 64(1): 73-107 (2012) - [c54]Simone Gabbriellini, Paolo Torroni:
Large Scale Agreements via Microdebates. AT 2012: 366-377 - [c53]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
- [j21]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) - [j20]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. 42(7): 546-566 (2011) - [j19]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) - [j18]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) - [c52]Özgür Kafali, Francesca Toni, Paolo Torroni:
Collaborative diagnosis of exceptions to contracts. AAMAS 2011: 1167-1168 - [c51]Özgür Kafali, Paolo Torroni:
Diagnosing commitments: delegation revisited. AAMAS 2011: 1175-1176 - [c50]Özgür Kafali, Paolo Torroni:
Social Commitment Delegation and Monitoring. CLIMA 2011: 171-189 - [c49]Özgür Kafali, Francesca Toni, Paolo Torroni:
Reasoning about Exceptions to Contracts. CLIMA 2011: 225-242 - [c48]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127 - [c47]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
- [j17]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) - [j16]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae 105(1-2): 135-161 (2010) - [j15]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) - [c46]Özgür Kafali, Federico Chesani, Paolo Torroni:
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. CLIMA 2010: 82-98 - [c45]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5 - [c44]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
- [c43]Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243 - [c42]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 - [c41]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96 - [c40]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009 - [c39]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
- [j14]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) - [j13]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) - [c38]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione 2008 - [c37]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 - [c36]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008 - [c35]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
- [j12]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) - [j11]Paolo Torroni, Marco Gavanelli, Federico Chesani:
Argumentation in the Semantic Web. IEEE Intell. Syst. 22(6): 66-74 (2007) - [j10]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) - [c34]Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone:
-Tropos. CLIMA 2007: 157-176 - [c33]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 - [c32]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
- [j9]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) - [j8]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) - [c31]Paolo Torroni:
Multi-agent agreements about actions through argumentation. COMMA 2006: 323-328 - [c30]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
- [j7]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) - [c29]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c28]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 - [c27]