Search

Your search keyword '"Genovese, Valerio"' showing total 127 results
Start Over Author "Genovese, Valerio"
127 results on '"Genovese, Valerio"'

1. Acute Colonic Diverticulitis

Author

Tartaglia, Dario, Coccolini, Federico, Mazzoni, Alessio, Genovese, Valerio, Cremonini, Camilla, Cicuttin, Enrico, Chiarugi, Massimo, Coccolini, Federico, Series Editor, Coimbra, Raul, Series Editor, Kirkpatrick, Andrew W., Series Editor, Di Saverio, Salomone, Series Editor, Ansaloni, Luca, Editorial Board Member, Balogh, Zsolt, Editorial Board Member, Biffl, Walt, Editorial Board Member, Catena, Fausto, Editorial Board Member, Davis, Kimberly, Editorial Board Member, Ferrada, Paula, Editorial Board Member, Fraga, Gustavo, Editorial Board Member, Ivatury, Rao, Editorial Board Member, Kluger, Yoram, Editorial Board Member, Leppaniemi, Ari, Editorial Board Member, Maier, Ron, Editorial Board Member, Moore, Ernest E., Editorial Board Member, Napolitano, Lena, Editorial Board Member, Peitzman, Andrew, Editorial Board Member, Reilly, Patrick, Editorial Board Member, Rizoli, Sandro, Editorial Board Member, Sakakushev, Boris E., Editorial Board Member, Sartelli, Massimo, Editorial Board Member, Scalea, Thomas, Editorial Board Member, Spain, David, Editorial Board Member, Stahel, Philip, Editorial Board Member, Sugrue, Michael, Editorial Board Member, Velmahos, George, Editorial Board Member, Weber, Dieter, Editorial Board Member, Podda, Mauro, editor, Lim, Robert B., editor, and Chiarugi, Massimo, editor

Published
2023
Full Text
View/download PDF

2. Acute Colonic Diverticulitis

Author

Tartaglia, Dario, primary, Coccolini, Federico, additional, Mazzoni, Alessio, additional, Genovese, Valerio, additional, Cremonini, Camilla, additional, Cicuttin, Enrico, additional, and Chiarugi, Massimo, additional

Published
2023
Full Text
View/download PDF

3. coMpliAnce with evideNce-based cliniCal guidelines in the managemenT of acute biliaRy pancreAtitis): The MANCTRA-1 international audit

Author

Podda, Mauro, Gerardi, Chiara, Coccolini, Federico, di Saverio, Salomone, Pellino, Gianluca, Pata, Francesco, Ielpo, Benedetto, Virdis, Francesco, Damaskos, Dimitris, Gourgiotis, Stavros, Poillucci, Gaetano, Pacella, Daniela, Jayant, Kumar, Agresta, Ferdinando, Sartelli, Massimo, Leppaniemi, Ari, Riboni, Cristiana, Catena, Fausto, Kluger, Yoram, Pisanu, Adolfo, Giordano, Alessio, Ferrario, Luca, Calvo, Mikel Prieto, Wilson, Michael, Soggiu, Fiammetta, Hamdan, Alaa, Gomes, Carlos Augusto, Fraga, Gustavo, Ioannidis, Argyrios, De Simone, Belinda, Demetrashvili, Zaza, Sahani, Saaz, Bains, Lovenish, Khamees, Almu'atasim, Ababneh, Hazim, Aljaiuossi, Osama, Pimentel, Samuel, Mohamad, Ikhwan Sani, Yusoff, Ahmad Ramzi, Zarnescu, Narcis Octavian, Calu, Valentin, Litvin, Andrey, Lesko, Dusan, Elmehrath, Ahmed, Elshami, Mohamedraed, de Santibañes, Martin, Gundara, Justin, Alawadhi, Kamel, Lui, Rashid, Julianov, Alexander, Ralon, Sergio, Garzali, Ibrahim-Umar, Machain, Gustavo M., Quispe-Cruz, Darwin Artidoro, Orantia, Abigail Cheska C., Walędziak, Maciej, Correia de Sá, Tiago, Ali, Syed Muhammad, Kovacevic, Bojan, Noel, Colin, Abdalah, Haidar M., Kchaou, Ali, Isik, Arda, Ansaloni, Luca, Biffl, Walter, Guerrieri, Mario, Sartori, Alberto, Abradelo, Manuel, Nigri, Giuseppe, Di Lorenzo, Nicola, Mingoli, Andrea, Chiarugi, Massimo, Di Menno Stavron, Juliana, Mazza, Oscar, Valenzuela, José Ignacio, Pantoja Pachajoa, Diana Alejandra, Alvarez, Fernando Andrés, Liaño, Julian Ezequiel, Tefay, Joan, Alshaikh, Abdulrahman, Hasan, Layla, Augusto Gomes, Carlos, Gomes, Felipe Couto, Fraga, Gustavo P., Calderan, Thiago R.A., Hirano, Elcio S., Dardanov, Dragomir, Saroglu, Azize, Atanasov, Boyko, Belev, Nikolay, Kovachev, Nikola, Chan, Shannon Melissa, Lok, Hon-Ting, Salcedo, Diego, Robayo, Diana, Triviño, María Alejandra, Manak, Jan, de Araujo, Jorann, Sethi, Ananya, Awad, Ahmed, Elbadawy, Merihan, Farid, Ahmed, Hanafy, Asmaa, Nafea, Ahmed, Sherief-Ghozy, Salah – Abbas, Alzhraa, Abdelsalam, Wafaa, Emile, Sameh, Elfallal, Ahmed, Elfeki, Hossam, Elghadban, Hosam, Shoma, Ashraf, Shetiwy, Mohamed, Elbahnasawy, Mohamed, Mohamed, Salem, Hamed, Emad Fawzi, Khalil, Usama Ahmed, Chouillard, Elie, Gumbs, Andrew, Police, Andréa, Mabilia, Andrea, Khutsishvili, Kakhi, Tvaladze, Anano, Ioannidis, Orestis, Anestiadou, Elissavet, Loutzidou, Lydia, Konstantinidis, Konstantinis, Konstantinidou, Sofia, Manatakis, Dimitrios, Acheimastos, Vasileios, Tasis, Nikolaos, Michalopoulos, Nikolaos, Kokoropoulos, Panagiotis, Papadoliopoulou, Maria, Sotiropoulou, Maria, Kapiris, Stylianos, Metaxas, Panagiotis, Tsouknidas, Ioannis, Kefili, Despoina, Petrakis, George, Dakis, Konstantinos, Alexandridou, Eirini, Synekidou, Eirini, Dakis, Kostas, Papadopoulos, Aristeidis, Chouliaras, Christos, Mouzakis, Odysseas, Mulita, Francesk, Maroulis, Ioannis, Vailas, Michail, Triantafyllou, Tania, Theodorou, Dimitrios, Lostoridis, Eftychios, Nagorni, Eleni-Aikaterini, Tourountzi, Paraskevi, Baili, Efstratia, Charalabopoulos, Alexandros, Liakakos, Theodore, Schizas, Dimitrios, Kozadinos, Alexandros, Syllaios, Athanasios, Machairas, Nikolaos, Kykalos, Stylianos, Stamopoulos, Paraskevas, Delis, Spiros, Farazi-Chongouki, Christos, Kalaitzakis, Evangelos, Giannarakis, Miltiadis, Lasithiotakis, Konstantinos, Petra, Giorgia, Gupta, Amit, Medappil, Noushif, Muthukrishnan, Vijayanand, Kamar, Jubin, Lal, Pawan, Agarwal, Rajendra, Magnoli, Matteo, Aonzo, Paolo, Serventi, Alberto, Giuliani, Antonio, Di Lascio, Pierpaolo, Pinto, Margherita, Bergamini, Carlo, Bottari, Andrea, Fortuna, Laura, Martellucci, Jacopo, Cicako, Atea, Miglietta, Claudio, Morino, Mario, Delogu, Daniele, Picchetto, Andrea, Assenza, Marco, D'Ambrosio, Giancarlo, Argenio, Giulio, Armellino, Mariano Fortunato, Ioia, Giovanna, Occhionorelli, Savino, Andreotti, Dario, Domenico, Lacavalla, Luppi, Davide, Casadei, Massimiliano, Di Donato, Luca, Manoochehri, Farshad, Lucia Marchese, Tiziana Rita, Sergi, William, Manca, Roberto, Murgia, Raimondo, Piras, Enrico, Conti, Lorenzo, Gianazza, Simone, Rizzi, Andrea, Segalini, Edoardo, Monti, Marco, Iiritano, Elena, Mariani, Nicolò Maria, De Nicola, Enrico, Scifo, Giovanna, Pignata, Giusto, Andreuccetti, Jacopo, Fleres, Francesco, Clarizia, Guglielmo, Spolini, Alessandro, Biloslavo, Alan, Germani, Paola, Mastronardi, Manuela, Bogoni, Selene, Palmisano, Silvia, De Manzini, Nicolo’, Marino, Marco Vito, Martines, Gennaro, Trigiante, Giuseppe, Lagouvardou, Elpiniki, Anania, Gabriele, Bombardini, Cristina, Oppici, Dario, Pilia, Tiziana, Murzi, Valentina, Gessa, Emanuela, Bracale, Umberto, Di Nuzzo, Maria Michela, Peltrini, Roberto, Salvetti, Francesco, Viganò, Jacopo, Sganga, Gabriele, Bianchi, Valentina, Fransvea, Pietro, Fontana, Tommaso, Sarro, Giuliano, Dinuzzi, Vincenza Paola, Scaravilli, Luca, Papa, Mario Virgilio, Jovine, Elio, Ciabatti, Giulia, Mastrangelo, Laura, Rottoli, Matteo, Ricci, Claudio, Russo, Iris Shari, Aiolfi, Alberto, Bona, Davide, Lombardo, Francesca, Cianci, Pasquale, Bini, Roberto, Chiara, Osvaldo, Cioffi, Stefano, Cantafio, Stefano, Coretti, Guido, Licitra, Edelweiss, Savino, Grazia, Grimaldi, Sergio, Porfidia, Raffaele, Moggia, Elisabetta, Garino, Mauro, Marafante, Chiara, Pesce, Antonio, Fabbri, Nicolò, Feo, Carlo Vittorio, Marra, Ester, Troian, Marina, Drigo, Davide, Nagliati, Carlo, Andrea, Muratore, Danna, Riccardo, Murgese, Alessandra, Crespi, Michele, Guerci, Claudio, Frontali, Alice, Ferrari, Luca, Favi, Francesco, Picariello, Erika, Rampini, Alessia, D'Acapito, Fabrizio, Ercolani, Giorgio, Solaini, Leonardo, Palmieri, Francesco, Calì, Matteo, Ferrara, Francesco, Muttillo, Irnerio Angelo, Muttillo, Edoardo Maria, Picardi, Biagio, Galleano, Raffaele, Badran, Ali, Ghazouani, Omar, Cervellera, Maurizio, Campanella, Gaetano, Papa, Gennaro, Di Bella, Annamaria, Perrone, Gennaro, Petracca, Gabriele Luciano, Prioriello, Concetta, Giuffrida, Mario, Cozzani, Federico, Rossini, Matteo, Inama, Marco, Butturini, Giovanni, Moretto, Gianluigi, Morelli, Luca, Di Candio, Giulio, Guadagni, Simone, Cicuttin, Enrico, Cremonini, Camilla, Tartaglia, Dario, Genovese, Valerio, Cillara, Nicola, Cannavera, Alessandro, Deserra, Antonello, Picciariello, Arcangelo, Papagni, Vincenzo, Vincenti, Leonardo, Bagaglini, Giulia, Sica, Giuseppe, Lapolla, Pierfrancesco, Brachini, Gioia, Bono, Dario, Nicotera, Antonella, Zago, Marcello, Sammartano, Fabrizio, Benuzzi, Laura, Stella, Marco, Rossi, Stefano, Cerioli, Alessandra, Puccioni, Caterina, Olmi, Stefano, Rubicondo, Carolina, Uccelli, Matteo, Balla, Andrea, Guida, Anna, Lepiane, Pasquale, Sasia, Diego, Giraudo, Giorgio, Salomone, Sara, Belloni, Elena, Cossa, Alessandra, Lancellotti, Francesco, Caronna, Roberto, Chirletti, Piero, Saullo, Paolina, Troiano, Raffaele, Mucilli, Felice, Barone, Mirko, Ippoliti, Massimo, Grande, Michele, Sensi, Bruno, Siragusa, Leandro, Ortenzi, Monica, Santini, Andrea, Di Carlo, Isidoro, Veroux, Massimiliano, Gioco, Rossella, Veroux, Gastone, Currò, Giuseppe, Ammendola, Michele, Komaei, Iman, Navarra, Giuseppe, Tonini, Valeria, Sartarelli, Lodovico, Vaccari, Samuele, Ceresoli, Marco, Perrone, Stefano, Roccamatisi, Linda, Millo, Paolo, Contul, Riccardo Brachet, Ponte, Elisa, Zuin, Matteo, Portale, Giuseppe, Tonello, Alice Sabrina, Fratini, Geri, Bianchini, Matteo, Perotti, Bruno, Doria, Emanuele, Lunghi, Elia Giuseppe, Visconti, Diego, Al-Shami, Khayry, Awadi, Sajeda, Khalil Buwaitel, Mohammad Musallam, Naief Naffa', Mo'taz Fawzat, Samhouri, Ahmad, Sawalha, Hatem, Ramzi Yusoff, Ahmad, Che Ani, Mohd Firdaus, Ahmed Fathil, Ida Nadiah, Huei, Jih, Zakaria, Andee Dzulkarnaen, Ya'acob, Mohammad Zawawi, Beristain-Hernandez, Jose-Luis, Garcia-Meza, Alejandro, Sepulveda-Rdriguez, Rafael, Lozada Hernández, Edgard Efren, Acuña Pinzón, Camilo Levi, Condoy, Jefferson Nieves, Becerra García, Francisco C., Sadik, Mohammad, Jalpa, kadir, Bushra, Devi, Jalpa, Seerani, Nandlal, Zainab, Asghar, Mohammad Sohail, Afzal, Ameer, Akbar, Ali, Lohse, Helmut Segovia, Lohse, Herald Segovia, Artidoro Quispe-Cruz, Darwin, Leon Cabrera, Zamiara Solange, Yamamoto Seto, Gaby Susana, Chiuyari, José Ríos, Ordemar, Jorge, Rodríguez, Martha, Orantia-Carlos, Abigail Cheska C., Quitoy, Margie Antionette, Kwiatkowski, Andrzej, Mawlichanów, Maciej, Rocha, Mónica, Soares, Carlos, Muhammad Ali, Syed, Stoian, Alexandru Rares, Diana Draghici, Andreea, Draghici, Andreea Diana, Grigorean, Valentin Titus, Radulescu, Raluca Bievel, Costea, Radu Virgil, Zarnescu, Eugenia Claudia, Kurtenkov, Mikhail, Gendrikson, George, Alla-Angelina, Volovich, Arina, Tsurbanova, Kaldarov, Ayrat, Gachabayov, Mahir, Abdullaev, Abakar, Milentijevic, Milica, Karamarkovic, Milovan, Panyko, Arpád, Radonak, Jozef, Soltes, Marek, Álvarez Morán, Laura, García, Haydée Calvo, Vega, Pilar Suárez, Estevez, Sergio, Ausania, Fabio, Farguell, Jordi, González-Abós, Carolina, Sánchez-Cabús, Santiago, Martín, Belén, Molina, Víctor, Oms, Luis, Ilzarbe, Lucas, Feijóo, Eva Pont, Perra, Elena Sofia, Rojas-Bonet, Noel, Penalba-Palmí, Rafael, Pérez-Bru, Susana, Tur-Martínez, Jaume, Álvarez-Torrado, Andrea, Domingo-Gonzalez, Marta, Tejedor-Tejada, Javier, Di Martino, Marcello, García del Alamo, Yaiza, Mendoza-Moreno, Fernando, García-Moreno-Nisa, Francisca, Matías-García, Belén, Durán, Manuel, Calleja-Lozano, Rafael, Perez de Villar, José Manuel, Sánchez-Guillén, Luis, Caravaca, Iban, Triguero-Cánovas, Daniel, Maya Aparicio, Antonio Carlos, Meléndez, Blas Durán, Palacios, Andrea Masiá, Landaluce-olavarria, Aitor, De Francisco, Mario, Estraviz-Mateos, Begoña, Alconchel, Felipe, Nicolás-López, Tatiana, Ramírez, Pablo, Muñoz-Cruzado, Virginia Duran, Ciuró, Felipe Pareja, Perea del Pozo, Eduardo, Pizarro, Sergio Olivares, Cabrera, Vicente Herrera, Bayo, Jose Muros, Hamid, Hytham K.S., Roesel, Raffaello, Cristaudi, Alessandra, Abbas, Kinan, Ali, Iyad, Tlili, Ahmed, Bayhan, Hüseyin, Türkoğlu, Mehmet Akif, Uzunoglu, Mustafa Yener, Azamat, Ibrahim Fethi, Omarov, Nail, Uymaz, Derya Salim, Altintoprak, Fatih, Akin, Emrah, First, Necattin, Das, Koray, Ozer, Nazmi, Seker, Ahmet, Kara, Yasin, Bozkurt, Mehmet Abdussamet, Kocataş, Ali, Atici, Semra Demirli, Akalin, Murat, Calik, Bulent, Colak, Elif, Altinel, Yuksel, Meric, Serhat, Aktimur, Yunus Emre, Hudson, Victoria, Duval, Jean-Luc, Khan, Mansoor, Saad, Ahmed, Kaur, Mandeep, Bradley, Alison, Fox, Katherine, Tomasi, Ivan, Beasley, Daniel, Prasanti, Alekhya Kotta, Kotecha, Pinky, Ebied, Husam, Paul, Michaela, Sheth, Hemant, Gerogiannis, Ioannis, Gaber, Mohannad, Sheikh, Zara, Seth, Shatadru, Kunitsyna, Maria, Leo, Cosimo Alex, Bellato, Vittoria, Zafar, Noman, Elserafy, Amr, Bond-smith, Giles, Tebala, Giovanni, Mathur, Pawan, Abid, Izza, Chidumije, Nnaemeka, Sandhar, Pardip, Zohaib Ullah, Syed Osama, Lezama, Tamara, Anwaar, Muhammad Hassan, Magee, Conor, Ahmed, Salma, Davies, Brooke, Apollos, Jeyakumar, McCormack, Kieran, Choudhary, Hasham, Doulias, Triantafyllos, Morrison, Tamsin, Palepa, Anna, Cal, Fernando Bonilla, Sánchez, Lianet, Domínguez, Fabiana, Al-Raimi, Ibrahim, Alshargabi, Haneen, Meead, Abdullah, Di Saverio, Salomone, Damaskos, Dimitrios, Agnoletti, Vanni, and Mole, Damian

Published
2022
Full Text
View/download PDF

5. Quantified Conditional Logics are Fragments of HOL

Author

Benzmueller, Christoph and Genovese, Valerio

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 03B60, 03B15, 68T27, 68T30, 68T15, I.2.3, I.2.4, I.2.0, F.4.1
Abstract

A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented., Comment: This work has been presented at the conference on Non-classical Modal and Predicate Logics 2011, Guangzhou (Canton), China, 5-9 December 2011

Published
2012

6. Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Author

Benzmueller, Christoph, Gabbay, Dov, Genovese, Valerio, and Rispoli, Daniele

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Mathematics - Logic, 03B60, 03B15, 68T27, 68T30, 68T15, I.2.3, I.2.4, I.2.0, F.4.1
Abstract

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics., Comment: 15 pages, 1 Figure, 1 Table

Published
2011

7. Labeled Goal-Directed Search in Access Control Logic

Author

Genovese, Valerio, Garg, Deepak, Rispoli, Daniele, 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, Jøsang, Audun, editor, Samarati, Pierangela, editor, and Petrocchi, Marinella, editor

Published
2013
Full Text
View/download PDF

8. New Modalities for Access Control Logics: Permission, Control and Ratification

Author

Genovese, Valerio, Garg, Deepak, 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, Meadows, Catherine, editor, and Fernandez-Gago, Carmen, editor

Published
2012
Full Text
View/download PDF

9. Socially Constructed Trust for Distributed Authorization

Author

Barker, Steve, Genovese, Valerio, 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, Atluri, Vijay, editor, and Diaz, Claudia, editor

Published
2011
Full Text
View/download PDF

10. Dynamics in Delegation and Revocation Schemes: A Logical Approach

Author

Aucher, Guillaume, Barker, Steve, Boella, Guido, Genovese, Valerio, van der Torre, Leendert, 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, and Li, Yingjiu, editor

Published
2011
Full Text
View/download PDF

11. A Conditional Constructive Logic for Access Control and Its Sequent Calculus

Author

Genovese, Valerio, Giordano, Laura, Gliozzi, Valentina, Pozzato, Gian Luca, 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, Brünnler, Kai, editor, and Metcalfe, George, editor

Published
2011
Full Text
View/download PDF

12. Secommunity: A Framework for Distributed Access Control

Author

Barker, Steve, Genovese, Valerio, 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, Delgrande, James P., editor, and Faber, Wolfgang, editor

Published
2011
Full Text
View/download PDF

13. A Middleware for Modeling Organizations and Roles in Jade

Author

Baldoni, Matteo, Boella, Guido, Genovese, Valerio, Mugnaini, Andrea, Grenna, Roberto, van der Torre, Leendert, 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, Braubach, Lars, editor, Briot, Jean-Pierre, editor, and Thangarajah, John, editor

Published
2010
Full Text
View/download PDF

14. A Logic of Privacy

Author

Barker, Steve, Genovese, Valerio, 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, Foresti, Sara, editor, and Jajodia, Sushil, editor

Published
2010
Full Text
View/download PDF

15. Merging Roles in Coordination and in Agent Deliberation

Author

Boella, Guido, Genovese, Valerio, Grenna, Roberto, van der Torre, Leendert, 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, Ghose, Aditya, editor, Governatori, Guido, editor, and Sadananda, Ramakoti, editor

Published
2009
Full Text
View/download PDF

27. Type 4 vein resection during robot-assisted pancreaticoduodenectomy

Author

Kauffmann, Emanuele, primary, Napoli, Niccol, additional, Menonna, Francesca, additional, Genovese, Valerio, additional, Cacace, Concetta, additional, Andrea, Cacciato, additional, Daniela, Campani, additional, Vistoli, Fabio, additional, Amorese, Gabriella, additional, and Boggi, Ugo, additional

Published
2020
Full Text
View/download PDF

29. Robot-assisted pancreaticoduodenectomy with vein resection

Author

Kauffmann, Emanuele, primary, Napoli, Niccol, additional, Menonna, Francesca, additional, Genovese, Valerio, additional, Cacace, Concetta, additional, Andrea, Cacciato, additional, Daniela, Campani, additional, Vistoli, Fabio, additional, Amorese, Gabriella, additional, and Boggi, Ugo, additional

Published
2020
Full Text
View/download PDF

30. Type 3 vein resection during robot-assisted pancreaticoduodenectomy

Author

Kauffmann, Emanuele, primary, Napoli, Niccol, additional, Menonna, Francesca, additional, Genovese, Valerio, additional, Cacace, Concetta, additional, Andrea, Cacciato, additional, Daniela, Campani, additional, Vistoli, Fabio, additional, Amorese, Gabriella, additional, and Boggi, Ugo, additional

Published
2020
Full Text
View/download PDF

32. On the Relationship between I-O Logic and Connectionism

Author

Boella, Guido, Colombo Tosatto, Silvano, d'Avila Garcez, Artur S., and Genovese, Valerio

Subjects
Computer science [C05] [Engineering, computing & technology], Sciences informatiques [C05] [Ingénierie, informatique & technologie]
Published
2010

33. Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving

Author

Genovese, Valerio, Rispoli, Daniele, Gabbay, Dov M., and van der Torre, Leon

Subjects
Computer science [C05] [Engineering, computing & technology], FOL Theorem Proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Axiomatization, Computer Science::Logic in Computer Science, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Semantics
Abstract

We present and study a Modal Access Control Logic (M-ACL) to specify and reason about access control policies. We identify canonical properties of well-known access control axioms. We provide a Hilbert-style proof-system and we prove soundness, completeness and decidability of the logic. We present a sound and complete embedding of Modal Access Control Logic into First-Order Logic. We show how to use SPASS theorem prover to reason about access control policies expressed as formulas of Modal Access Control Logic, and we compare our logic with existing ones.

Published
2010

34. Higher-Order Coalition Logic

Author

Boella, Guido, Gabbay, Dov M., Genovese, Valerio, and van der Torre, Leon

Subjects
Computer science [C05] [Engineering, computing & technology], TheoryofComputation_GENERAL, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Higher-Order Coalition
Abstract

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is reasoning about their abilities. We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.

Published
2010

36. FSL - Fibred Security Language

Author

Genovese, Valerio, Gabbay, Dov M., Boella, Guido, and van der Torre, Leendert

Subjects
Access Control, Trust Management, Fibring Logics
Abstract

We develop a fibred security language capable to express statements of the form begin{center} ${x }varphi (x) says psi$ end{center} where ${x}varphi (x)$ is the set of all $x$ that satisfy $varphi$ and $psi$ is any formula. $varphi$ and $psi$ may share several free variables. For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$ in which one of its authors says that he has published a paper with him after 2007" begin{center} $ eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$ end{center}

Published
2009

39. Adding Organizations and Roles as Primitives to the JADE Framework

Author

Grenna, Roberto, Baldoni, Matteo, Boella, Guido, van der Torre, Leendert, Dorni, Mauro, Mugnaini, Andrea, and Genovese, Valerio

Subjects
Roles, Organizations, JADE
Abstract

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.

Published
2008
Full Text
View/download PDF

40. Towards a General Framework for Modelling Roles

Author

Genovese, Valerio

Subjects
Roles, Organizations, Object OrientedModelling, Security, Multi-Agent Systems
Abstract

Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO mod- elling. Unfortunately, it seems that the literature is not actually able to give a uniform definition of roles, there exist several approaches that model roles in many different (or even opposite) ways. In this draft we start to define a meta-model for roles. Our aim is to build a formal framework through which we can describe different roles appeared in the literature or implemented in up and running computer systems. In particular we give a new definition of role���s foundation introducing ses- sions, which are a formal instrument to talk about role���s states and we show how sessions may be useful to model many different role���s accounts.

Published
2007
Full Text
View/download PDF

41. Learning and Reasoning about Norms using Neural-Symbolic Systems

Author

Perotti, Alan, Boella, Guido, Colombo Tosatto, Silvano, d’Avila Garcez, Artur S., Genovese, Valerio, van der Torre, Leon, Perotti, Alan, Boella, Guido, Colombo Tosatto, Silvano, d’Avila Garcez, Artur S., Genovese, Valerio, and van der Torre, Leon

Abstract

In this paper we provide a neural-symbolic framework to model, reason about and learn norms in multi-agent systems. To this purpose, we define a fragment of Input/Output (I/O) logic that can be embedded into a neural network. We extend d’Avila Garcez et al. Connectionist Inductive Learning and Logic Programming System (CILP) to translate an I/O logic theory into a Neural Network (NN) that can be trained further with examples: we call this new system Normative- CILP (N-CILP). We then present a new algorithm to handle priorities between rules in order to cope with normative issues like Contrary to Duty (CTD), Priorities, Exceptions and Permissions. We illustrate the applicability of the framework on a case study based on RoboCup rules: within this working example, we compare the learning capacity of a network built with N-CILP with a non symbolic neural net- work, we explore how the initial knowledge impacts on the overall performance, and we test the NN capacity of learn- ing norms, generalizing new Contrary to Duty rules from examples.

Published
2012

43. New Modalities for Access Control Logics: Permission, Control and Ratification

Author

Genovese, Valerio, Garg, Deepak, Genovese, Valerio, and Garg, Deepak

Abstract

We present a new modal access control logic, ACL + , to specify, reason about and enforce access control policies. The logic includes new modalities for permission, control, and ratification to overcome some limits of current access control logics. We present a Hilbert-style proof system for ACL + and a sound and complete Kripke semantics for it. We exploit the Kripke semantics to define Seq-ACL + : a sound, complete and cut-free sequent calculus for ACL + , implying that ACL + is at least semi-decidable. We point at a Prolog implementation of Seq-ACL + and discuss possible extensions of ACL + with axioms for subordination between principals.

Published
2011

44. Embedding Normative Reasoning into Neural Symbolic Systems

Author

Boella, Guido, Colombo Tosatto, Silvano, d'Avila Garcez, Artur, Genovese, Valerio, van der Torre, Leon, Boella, Guido, Colombo Tosatto, Silvano, d'Avila Garcez, Artur, Genovese, Valerio, and van der Torre, Leon

Abstract

Normative systems are dynamic systems because their rules can change over time. Considering this problem, we propose a neural- symbolic approach to provide agents the instru- ments to reason about and learn norms in a dynamic environment. We propose a variant of d’Avila Garcez et al. Con- nectionist Inductive Learning and Logic Program- ming(CILP) System to embed Input/Output logic normative rules into a feed-forward neural network. The resulting system called Normative-CILP(N- CILP) shows how neural networks can cope with some of the underpinnings of normative reasoning: permissions , dilemmas , exceptions and contrary to duty problems. We have applied our approach in a simplified RoboCup environment, using the N-CILP simula- tor that we have developed. In the concluding part of the paper, we provide some of the results ob- tained in the experiments

Published
2011

45. Neural Symbolic Architecture for Normative Agents

Author

Boella, Guido, Colombo Tosatto, Silvano, d'Avila Garcez, Artur, Genovese, Valerio, Ienco, Dino, van der Torre, Leon, Boella, Guido, Colombo Tosatto, Silvano, d'Avila Garcez, Artur, Genovese, Valerio, Ienco, Dino, and van der Torre, Leon

Abstract

In this paper we propose a neural-symbolic architecture to represent and reason with norms in multi-agent systems. On the one hand, the architecture contains a symbolic knowledge base to represent norms and on the other hand it contains a neural network to reason with norms. The interaction between the symbolic knowledge and the neural network is used to learn norms. We describe how to handle normative reasoning issues like contrary to duties, dilemmas and exceptions by using a priority-based ordering between the norms in a neural-symbolic architecture.

Published
2011

46. A constructive conditional logic for access control: a preliminary report

Author

Genovese, Valerio, Giordano, Laura, Gliozzi, Valentina, Pozzato, Gian Luca, Genovese, Valerio, Giordano, Laura, Gliozzi, Valentina, and Pozzato, Gian Luca

Abstract

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.

Published
2010

47. Checking Consistency in role oriented Dependence Networks

Author

Boella, Guido, Genovese, Valerio, van der Torre, Leon, Villata, Serena, Boella, Guido, Genovese, Valerio, van der Torre, Leon, and Villata, Serena

Abstract

In this paper we first formalize dependence networks that can be automaticaly build to model goalbased relationships among agents. Then, we propose three algorithms to build and check the consistency of a dependence network. We start presenting the elements composing our ontology such as agents, goals, skills, dependencies with the addition of the institutional notions of roles, institutional goals, institutional skills. We investigate the reasons behind the possible inconsistencies in building the combined dependence network and we propose an algorithm to check them

Published
2009

48. A Middleware for modeling Organizations and Roles in Jade

Author

Baldoni, Matteo, Boella, Guido, Genovese, Valerio, Grenna, Roberto, Mugnaini, Andrea, van der Torre, Leon, Baldoni, Matteo, Boella, Guido, Genovese, Valerio, Grenna, Roberto, Mugnaini, Andrea, and van der Torre, Leon

Abstract

Organizations and roles are often seen as mental constructs, good to be used during the design phase in Multi Agent Systems, but they have also been considered as first class citizens in MAS, when objective coordination is needed. Roles facilitate the coordination of agents inside an organization, and they give new abilities in the context of organizations, called powers, to the agents which satisfy the necessary requirements to play them. No general purpose programming languages for multiagent systems offer primitives to program organizations and roles as instances existing at runtime, so, in this paper, we propose our extension of the Jade framework, with Java primitives to program organizations structured in roles, and to enable agents to play roles in organizations. We provide classes and protocols which enable an agent to enact a new role in an organization, to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles and organizations can be on a different platform with respect to the role players, and communication is protocol-based. Since they can have complex behaviours, they are implemented by extending the Jade agent class. Our aim is to give to programmers a middle tier, built on the Jade platform, useful to solve with minimal implementative effort many coordination problems, and to offer a first, implicit, management of norms and sanctions.

Published
2009

49. FSL – Fibred Security Language

Author

Valerio Genovese and Dov M. Gabbay and Guido Boella and Leendert van der Torre, Genovese, Valerio, Gabbay, Dov M., Boella, Guido, van der Torre, Leendert, Valerio Genovese and Dov M. Gabbay and Guido Boella and Leendert van der Torre, Genovese, Valerio, Gabbay, Dov M., Boella, Guido, and van der Torre, Leendert

Abstract

We develop a fibred security language capable to express statements of the form begin{center} ${x }varphi (x) says psi$ end{center} where ${x}varphi (x)$ is the set of all $x$ that satisfy $varphi$ and $psi$ is any formula. $varphi$ and $psi$ may share several free variables. For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$ in which one of its authors says that he has published a paper with him after 2007" begin{center} $ eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$ end{center}

Published
2009
Full Text
View/download PDF

50. Adding Organizations and Roles as Primitives to JADE Framework

Author

Genovese, Valerio, Grenna, Roberto, van der Torre, Leon, Baldoni, Matteo, Genovese, Valerio, Grenna, Roberto, van der Torre, Leon, and Baldoni, Matteo

Abstract

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.

Published
2008

Catalog

Books, media, physical & digital resources
See catalog results