


Остановите войну!
for scientists:
Paolo 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]