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-01-01 A. Dal Palù; P. Torroni
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004)
2004-01-01 Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar
3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005)
2005-01-01 Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo
6th International Workshop on Computational Logic in Multi-Agent Systems
2005-01-01 F. Toni; P. Torroni
A computational logic application framework for service discovery and contracting
2011-01-01 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-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
2004-01-01 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
A Logic-Based, Reactive Calculus of Events
2010-01-01 F. Chesani; P. Mello; M. Montali; P. Torroni
A New Framework for ABMs Based on Argumentative ReasoningAdvances in Social Simulation
2014-01-01 Simone Gabbriellini; Paolo Torroni
A retrospective on the reactive event calculus and commitment modeling language
2012-01-01 P. Torroni; F. Chesani; P. Mello; M. Montali
Abduction with hypotheses confirmation
2005-01-01 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Abduction with Hypothesis Confirmation
2004-01-01 Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo
An Abductive Framework for Information Exchange in Multi-Agent systems
2004-01-01 GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010-01-01 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
Agent Planning, Negotiation, and Control of Operation
2004-01-01 KAKAS A.; TORRONI P.; DEMETRIOU N.
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
2010-01-01 Matteo Baldoni; Cristina Baroglio; Viviana Mascardi; Andrea Omicini; Paolo Torroni
AI reflections in 2019
2020-01-01 Rich, Alexander S.; Rudin, Cynthia; Jacoby, David M. P.; Freeman, Robin; Wearn, Oliver R.; Shevlin, Henry; Dihal, Kanta; ÓhÉigeartaigh, Seán S.; Butcher, James; Lippi, Marco; Palka, Przemyslaw; Torroni, Paolo; Wongvibulsin, Shannon; Begoli, Edmon; Schneider, Gisbert; Cave, Stephen; Sloane, Mona; Moss, Emmanuel; Rahwan, Iyad; Goldberg, Ken; Howard, David; Floridi, Luciano; Stilgoe, Jack
ALIAS: The Abductive LogIc AgentS architecture
2004-01-01 Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G.
AMICA: An Argumentative Search Engine for COVID-19 Literature
2022-01-01 Marco Lippi and Francesco Antici and Gianfranco Brambilla and Evaristo Cisbani and Andrea Galassi and Daniele Giansanti and Fabio Magurano and Antonella Rosi and Federico Ruggeri and Paolo Torroni
Applications of logical approaches to argumentation
2015-01-01 João, Leite; Tran, Cao Son; Paolo, Torroni; Stefan, Woltran
| 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 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 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 | - |
| 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 | - |
| An Abductive Framework for Information Exchange in Multi-Agent systems | GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. | 2004-01-01 | - | - | 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 | - |
| Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? | Matteo Baldoni; Cristina Baroglio; Viviana Mascardi; Andrea Omicini; Paolo Torroni | 2010-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| AI reflections in 2019 | Rich, Alexander S.; Rudin, Cynthia; Jacoby, David M. P.; Freeman, Robin; Wearn, Oliver R.; Shevli...n, Henry; Dihal, Kanta; ÓhÉigeartaigh, Seán S.; Butcher, James; Lippi, Marco; Palka, Przemyslaw; Torroni, Paolo; Wongvibulsin, Shannon; Begoli, Edmon; Schneider, Gisbert; Cave, Stephen; Sloane, Mona; Moss, Emmanuel; Rahwan, Iyad; Goldberg, Ken; Howard, David; Floridi, Luciano; Stilgoe, Jack | 2020-01-01 | NATURE MACHINE INTELLIGENCE | - | 1.04 Replica / breve intervento (e simili) | - |
| ALIAS: The Abductive LogIc AgentS architecture | Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G. | 2004-01-01 | - | - | 7.04 Software | - |
| AMICA: An Argumentative Search Engine for COVID-19 Literature | Marco Lippi and Francesco Antici and Gianfranco Brambilla and Evaristo Cisbani and Andrea Galassi... and Daniele Giansanti and Fabio Magurano and Antonella Rosi and Federico Ruggeri and Paolo Torroni | 2022-01-01 | - | International Joint Conferences on Artificial Intelligence Organization | 4.01 Contributo in Atti di convegno | - |
| Applications of logical approaches to argumentation | João, Leite; Tran, Cao Son; Paolo, Torroni; Stefan, Woltran | 2015-01-01 | ARGUMENT & COMPUTATION | - | 1.04 Replica / breve intervento (e simili) | - |