CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoTORRONI, PAOLO
Dettaglio
TORRONI, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
Pubblicazioni
Risultati 1 - 20 di 173 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | 25 Years of Applications of Logic Programming in Italy | A. Dal Palù; P. Torroni | 2010 | Springer | 2.01 Capitolo / saggio in libro | - | |
| 2 | 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004) | Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar | 2004 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
| 3 | 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005) | Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo | 2005 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
| 4 | 6th International Workshop on Computational Logic in Multi-Agent Systems | F. Toni; P. Torroni | 2005 | AGENTLINK NEWSLETTER | 1.01 Articolo in rivista | - | |
| 5 | 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 | INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH | 1.01 Articolo in rivista | - | |
| 6 | 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 | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - | |
| 7 | 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 | IEEE Press | 4.01 Contributo in Atti di convegno | - | |
| 8 | A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
| 9 | A New Framework for ABMs Based on Argumentative ReasoningAdvances in Social Simulation | Simone Gabbriellini; Paolo Torroni | 2014 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 10 | A retrospective on the reactive event calculus and commitment modeling language | P. Torroni; F. Chesani; P. Mello; M. Montali | 2012 | Springer-Verlag | 2.01 Capitolo / saggio in libro | - | |
| 11 | Abduction with hypotheses confirmation | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2005 | Morgan Kaufmann | 4.02 Riassunto (Abstract) | - | |
| 12 | Abduction with Hypothesis Confirmation | Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo | 2004 | Dipartimento di Matematica, Università di Parma | 4.01 Contributo in Atti di convegno | - | |
| 13 | An Abductive Framework for Information Exchange in Multi-Agent systems | GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. | 2004 | 4.01 Contributo in Atti di convegno | - | ||
| 14 | 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 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
| 15 | Agent Planning, Negotiation, and Control of Operation | KAKAS A.; TORRONI P.; DEMETRIOU N. | 2004 | IOS Press | 4.01 Contributo in Atti di convegno | - | |
| 16 | Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? | Matteo Baldoni; Cristina Baroglio; Viviana Mascardi; Andrea Omicini; Paolo Torroni | 2010 | Springer | 2.01 Capitolo / saggio in libro | - | |
| 17 | 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 | NATURE MACHINE INTELLIGENCE | 1.04 Replica / breve intervento (e simili) | - | |
| 18 | ALIAS: The Abductive LogIc AgentS architecture | Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G. | 2004 | 7.04 Software | - | ||
| 19 | Applications of logical approaches to argumentation | João, Leite; Tran, Cao Son; Paolo, Torroni; Stefan, Woltran | 2015 | ARGUMENT & COMPUTATION | 1.04 Replica / breve intervento (e simili) | - | |
| 20 | Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; P. Torroni | 2005 | INTELLIGENZA ARTIFICIALE | 1.01 Articolo in rivista | - |
Copyright © 2022