TORRONI, PAOLO
TORRONI, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
25 Years of Applications of Logic Programming in Italy
2010 A. Dal Palù; P. Torroni
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004)
2004 Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar
3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005)
2005 Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo
6th International Workshop on Computational Logic in Multi-Agent Systems
2005 F. Toni; P. Torroni
A computational logic application framework for service discovery and contracting
2011 M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
A computational logic-based approach to verification of IT systems
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A Corpus for Multilingual Analysis of Online Terms of Service
2021 Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
2004 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
A Logic-Based, Reactive Calculus of Events
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
A New Framework for ABMs Based on Argumentative ReasoningAdvances in Social Simulation
2014 Simone Gabbriellini; Paolo Torroni
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
2004 BRACCIALI A.; TORRONI P.
A Preliminary Evaluation of a Privacy-Preserving Dialogue System
2021 Bettina Fazzinga, Andrea Galassi, Paolo Torroni
A Privacy-Preserving Dialogue System Based on Argumentation
2022 Fazzinga, Bettina; Galassi, Andrea; Torroni, Paolo
A REC-based commitment tracking tool
2009 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
A retrospective on the reactive event calculus and commitment modeling language
2012 P. Torroni; F. Chesani; P. Mello; M. Montali
A rule-based approach for reasoning about collaboration between smart Web services
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Abduction with hypotheses confirmation
2005 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Abduction with Hypothesis Confirmation
2004 Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
Agent Planning, Negotiation, and Control of Operation
2004 KAKAS A.; TORRONI P.; DEMETRIOU N.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
25 Years of Applications of Logic Programming in Italy | A. Dal Palù; P. Torroni | 2010-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004) | Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar | 2004-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005) | Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo | 2005-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
6th International Workshop on Computational Logic in Multi-Agent Systems | F. Toni; P. Torroni | 2005-01-01 | AGENTLINK NEWSLETTER | - | 1.01 Articolo in rivista | - |
A computational logic application framework for service discovery and contracting | M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2011-01-01 | INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH | - | 1.01 Articolo in rivista | - |
A computational logic-based approach to verification of IT systems | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni | 2007-01-01 | - | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - |
A Corpus for Multilingual Analysis of Online Terms of Service | Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans ...Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni | 2021-01-01 | - | Association for Computational Linguistics | 4.01 Contributo in Atti di convegno | 2021.nllp-1.1.pdf |
A Logic based Approach to Interaction Design in Open Multi-Agent Systems | ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P. | 2004-01-01 | - | IEEE Press | 4.01 Contributo in Atti di convegno | - |
A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A New Framework for ABMs Based on Argumentative ReasoningAdvances in Social Simulation | Simone Gabbriellini; Paolo Torroni | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction | BRACCIALI A.; TORRONI P. | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Preliminary Evaluation of a Privacy-Preserving Dialogue System |
Bettina Fazzinga, Andrea Galassi, Paolo Torroni |
2021-01-01 | - | CEUR-WS.org | 4.01 Contributo in Atti di convegno | Paper.pdf |
A Privacy-Preserving Dialogue System Based on Argumentation | Fazzinga, Bettina; Galassi, Andrea; Torroni, Paolo | 2022-01-01 | INTELLIGENT SYSTEMS WITH APPLICATIONS | - | 1.01 Articolo in rivista | 1-s2.0-S2667305322000515-main.pdf |
A REC-based commitment tracking tool | Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A retrospective on the reactive event calculus and commitment modeling language | P. Torroni; F. Chesani; P. Mello; M. Montali | 2012-01-01 | - | Springer-Verlag | 2.01 Capitolo / saggio in libro | - |
A rule-based approach for reasoning about collaboration between smart Web services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Abduction with hypotheses confirmation | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2005-01-01 | - | Morgan Kaufmann | 4.02 Riassunto (Abstract) | - |
Abduction with Hypothesis Confirmation | Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo | 2004-01-01 | - | Dipartimento di Matematica, Università di Parma | 4.01 Contributo in Atti di convegno | - |
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
Agent Planning, Negotiation, and Control of Operation | KAKAS A.; TORRONI P.; DEMETRIOU N. | 2004-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |