Search

Your search keyword '"Torroni, A."' showing total 259 results
Start Over Author "Torroni, A." Publisher springer berlin heidelberg

Refine your results

more »

more »

259 results on '"Torroni, A."'

3. Gastric Volvulus

Author

Caldaro, Tamara, Torroni, Filippo, Romeo, Erminia, di Abriola, Giovanni Federici, Dall’Oglio, Luigi, Till, Holger, editor, Thomson, Mike, editor, Foker, John E., editor, Holcomb III, George W., editor, and Khan, Khalid M., editor

Published
2017
Full Text
View/download PDF

4. Esophageal Injuries and Foreign Bodies

Author

Torroni, Filippo, De Angelis, Paola, Dall’Oglio, Luigi, Till, Holger, editor, Thomson, Mike, editor, Foker, John E., editor, Holcomb III, George W., editor, and Khan, Khalid M., editor

Published
2017
Full Text
View/download PDF

5. Reasoning about Exceptions to Contracts

Author

Kafalı, Özgür, Toni, Francesca, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Leite, João, editor, Torroni, Paolo, editor, Ågotnes, Thomas, editor, Boella, Guido, editor, and van der Torre, Leon, editor

Published
2011
Full Text
View/download PDF

6. Social Commitment Delegation and Monitoring

Author

Kafalı, Özgür, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Leite, João, editor, Torroni, Paolo, editor, Ågotnes, Thomas, editor, Boella, Guido, editor, and van der Torre, Leon, editor

Published
2011
Full Text
View/download PDF

8. Specification and Verification of Agent Interaction Using Abductive Reasoning

Author

Chesani, Federico, Gavanelli, Marco, Alberti, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Toni, Francesca, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

11. Reactive Event Calculus for Monitoring Global Computing Applications

Author

Bragaglia, Stefano, Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Artikis, Alexander, editor, Craven, Robert, editor, Kesim Çiçekli, Nihan, editor, Sadighi, Babak, editor, and Stathis, Kostas, editor

Published
2012
Full Text
View/download PDF

12. Bottom-Up Argumentation

Author

Toni, Francesca, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Modgil, Sanjay, editor, Oren, Nir, editor, and Toni, Francesca, editor

Published
2012
Full Text
View/download PDF

13. A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

Author

Torroni, Paolo, Chesani, Federico, Mello, Paola, Montali, Marco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Sakama, Chiaki, editor, Sardina, Sebastian, editor, Vasconcelos, Wamberto, editor, and Winikoff, Michael, editor

Published
2012
Full Text
View/download PDF

14. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior

Author

Kafalı, Özgür, Chesani, Federico, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Dix, Jürgen, editor, Leite, João, editor, Governatori, Guido, editor, and Jamroga, Wojtek, editor

Published
2010
Full Text
View/download PDF

15. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

Author

Baldoni, Matteo, Baroglio, Cristina, Mascardi, Viviana, Omicini, Andrea, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dovier, Agostino, editor, and Pontelli, Enrico, editor

Published
2010
Full Text
View/download PDF

16. 25 Years of Applications of Logic Programming in Italy

Author

Dal Palù, Alessandro, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dovier, Agostino, editor, and Pontelli, Enrico, editor

Published
2010
Full Text
View/download PDF

17. Role Monitoring in Open Agent Societies

Author

Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Jędrzejowicz, Piotr, editor, Nguyen, Ngoc Thanh, editor, Howlet, Robert J., editor, and Jain, Lakhmi C., editor

Published
2010
Full Text
View/download PDF

18. Declarative Technologies for Open Agent Systems and Beyond

Author

Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Jędrzejowicz, Piotr, editor, Nguyen, Ngoc Thanh, editor, Howlet, Robert J., editor, and Jain, Lakhmi C., editor

Published
2010
Full Text
View/download PDF

19. Social Commitments in Time: Satisfied or Compensated

Author

Torroni, Paolo, Chesani, Federico, Mello, Paola, Montali, Marco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Baldoni, Matteo, editor, Bentahar, Jamal, editor, van Riemsdijk, M. Birna, editor, and Lloyd, John, editor

Published
2010
Full Text
View/download PDF

21. Verification of Choreographies During Execution Using the Reactive Event Calculus

Author

Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bruni, Roberto, editor, and Wolf, Karsten, editor

Published
2009
Full Text
View/download PDF

22. Verification from Declarative Specifications Using Logic Programming

Author

Montali, Marco, Torroni, Paolo, Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Garcia de la Banda, Maria, editor, and Pontelli, Enrico, editor

Published
2008
Full Text
View/download PDF

25. A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Marchiori, Massimo, editor, Pan, Jeff Z., editor, and Marie, Christian de Sainte, editor

Published
2007
Full Text
View/download PDF

26. Web Service Contracting: Specification and Reasoning with SCIFF

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Franconi, Enrico, editor, Kifer, Michael, editor, and May, Wolfgang, editor

Published
2007
Full Text
View/download PDF

27. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Storari, Sergio, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bravetti, Mario, editor, Núñez, Manuel, editor, and Zavattaro, Gianluigi, editor

Published
2006
Full Text
View/download PDF

28. Security Protocols Verification in Abductive Logic Programming: A Case Study

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Dikenelli, Oğuz, editor, Gleizes, Marie-Pierre, editor, and Ricci, Alessandro, editor

Published
2006
Full Text
View/download PDF

29. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

Author

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Priami, Corrado, editor, and Quaglia, Paola, editor

Published
2005
Full Text
View/download PDF

30. The SCIFF Abductive Proof-Procedure

Author

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Bandini, Stefania, editor, and Manzoni, Sara, editor

Published
2005
Full Text
View/download PDF

31. A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction

Author

Bracciali, Andrea, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Dix, Jürgen, editor, and Leite, João, editor

Published
2005
Full Text
View/download PDF

32. An Abductive Framework for Information Exchange in Multi-agent Systems

Author

Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Dix, Jürgen, editor, and Leite, João, editor

Published
2005
Full Text
View/download PDF

33. A Social ACL Semantics by Deontic Constraints

Author

Alberti, Marco, Ciampolini, Anna, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Mařík, Vladimír, editor, Pěchouček, Michal, editor, and Müller, Jörg, editor

Published
2003
Full Text
View/download PDF

39. An Implementation for Abductive Logic Agents

Author

Ciampolini, A., Lamma, E., Mello, P., Stefanelli, C., Torroni, P., Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Lamma, Evelina, editor, and Mello, Paola, editor

Published
2000
Full Text
View/download PDF

47. ${\cal B}$ -Tropos

Author

Bryl, Volha, primary, Mello, Paola, additional, Montali, Marco, additional, Torroni, Paolo, additional, and Zannone, Nicola, additional

Published
2008
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results