IRIS

FORMISANO, ANDREA

FORMISANO, ANDREA  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
Epistemic Logic and Theory of Mind for Modelling Group Dynamics of Criminal Organizations 1-gen-2024 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 1-gen-2023 Costantini, S.; Formisano, A.; Pitoni, V.
Fast Prototyping of a Solver for Reduct-based ELP Semantics 1-gen-2023 Costantini, S.; Formisano, A.
Preference Management in Epistemic Logic L-DINF 1-gen-2023 Costantini, S.; Formisano, A.; Pitoni, V.
Epistemic Logic Programs: a Novel Perspective and Some Extensions 1-gen-2022 Costantini, S.; Formisano, A.
Epistemic Logic Programs: an Approach to Semantic Comparison 1-gen-2022 Costantini, S.; Formisano, A.
Temporalizing Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Modular Development of Multi-Agent Systems 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Cognitive Aspects in Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Epistemic Logic Programs: A Study of Some Properties 1-gen-2022 Costantini, S.; Formisano, A.
Modelling Agents Roles in the Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Multi-agent Systems with Budget and Costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
A logic of inferable in multi-agent systems with budget and costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
Adding Metalogic Features to Knowledge Representation Languages 1-gen-2021 Costantini, S.; Formisano, A.
Changes in surgicaL behaviOrs dUring the CoviD-19 pandemic. The SICE CLOUD19 Study 1-gen-2021 Bracale, U.; Podda, M.; Castiglioni, S.; Peltrini, R.; Sartori, A.; Arezzo, A.; Corcione, F.; Agresta, F.; Antonucci, A.; Zanframundo, C.; Cavallo, F.; Mazzarolo, G.; Agrusa, A.; Di Buono, G.; Aldrighetti, L.; Fiorentini, G.; Lucianetti, A.; Magnone, S.; Alfieri, S.; Rosa, F.; Altomare, D. F.; Picciariello, A.; Parisi, A.; Di Cintio, A.; Amisano, M. F.; Cravero, F.; Ammendola, M.; Ammerata, G.; Anastasi, A.; Canonico, G.; Gattolin, A.; Travaglio, E.; Sartori, A.; De Palma, M.; Angelini, P.; Galante, F.; Benevento, A.; Rausei, S.; Serao, A.; Abbatini, F.; Annecchiarico, M.; Varricchio, A.; Annessi, V.; Tumiati, D.; Annicchiarico, A.; Mirabella, A.; Marino, M. V.; Spinelli, A.; Braun, A.; Santi, H. T.; Romano, L.; Antoniutti, M.; Armellino, M. F.; Argenio, G.; Verzelli, A.; Budassi, A.; Baiocchi, G.; Alfano, M. S.; Balani, A.; Barone, M.; Baldazzi, G.; Cassini, D.; Canger, R. C. B.; Zabbialini, G.; Belli, A.; Izzo, F.; Bertolino, F.; Brunetti, M.; Bianco, F.; Cappiello, A.; Boccia, L.; Boffi, B.; Perna, F.; Bonilauri, S.; Frazzetta, G.; Bordoni, P.; Fleres, F.; Borghi, F.; Giraudo, G.; Bottino, V.; Canfora, A.; Piccoli, F. B.; Calligaris, L.; Nipote, B.; Nasti, A. G.; Bufalari, A.; Bettarini, F.; Buononato, M.; Greco, M.; Calo, P. G.; Medas, F.; Cardamone, E.; Castaldo, P.; Carlini, M.; Spoletini, D.; De Nisco, C.; Pulighe, F.; Feo, C. V.; Fabbri, N.; Antropoli, C.; Foroni, F.; Carnazza, M.; Ragazzi, S.; Cassinotti, E.; Boni, L.; Catena, F.; Giuffrida, M.; Perrone, G.; Ccotsoglou, C.; Granieri, S.; Ceccarelli, G.; Bugiantella, W.; Cedolini, C.; Seriau, L.; Cesari, M.; Contine, A.; Chiara, O.; Cimbanassi, S.; Cocozza, E.; Berselli, M.; Fantini, C.; Costi, R.; Casali, L.; Morini, A.; Crafa, F.; Vanela, S.; Curro, G.; Orsini, V.; Da Lio, C.; Biral, M.; Danelli, P.; Guerci, C.; Scala, D.; Marino, G.; De Carlis, L.; Lauterio, A.; De Giorgi, D.; Sciannamea, G.; De Manzini, N.; Losurdo, P.; De Palma, M.; Sangiuliano, N.; Degiuli, M.; Caterina, F.; Del Rio, P.; Bonati, E.; Di Lernia, S.; Ardizzone, M. V. R.; Di Saverio, S.; Franchi, C.; Di Venere, B.; Miglio, R.; Cuccurullo, D.; Sagnelli, C.; Docimo, L.; Tolone, S.; Longoni, M.; Faillace, G.; Rondelli, F.; Pennella, F. P.; Colucci, V.; Carfora, T.; Muttillo, I. A.; Picardi, B.; Stefano, R.; Campagnacci, R.; Maurizi, A.; Tricarico, F.; Montagna, M.; Amedeo, E.; Scollica, M. C.; Lauro, E.; Laterza, E.; Molinari, E.; Berta, G.; Bono, D.; Fabozzi, M.; Romano, M.; Facci, E.; Parini, D.; Farfaglia, R.; Arizzi, V.; Farsi, M.; Miranda, E.; Fei, L.; Flavio, G.; Pirozzi, F.; Sciuto, A.; Ferrero, A.; Palisi, M.; Filauro, M.; Barberis, A.; Azzinnaro, A.; Fiscon, V.; Vigna, S.; D'Ambra, M.; Pontecorvi, E.; Anania, G.; Bombardini, C.; Galizia, G.; Auricchio, A.; Cardella, F.; Genna, M.; Gentilli, S.; Herald, N.; Castagnoli, G.; Bartoli, A.; Gianotti, L.; Garancini, M.; Bellanova, G.; Palazzo, P.; De Palma, G.; Milone, M.; Ferrari, G.; Magistro, C.; Giuliani, A.; Di Natale, G.; Brisinda, G.; Cavallaro, G.; Sammarco, G.; Gallo, G.; Goletti, O.; Macchini, D.; Greco, V.; Amoroso, V.; Guercioni, G.; Benedetti, M.; Guzzo, G.; Pata, F.; Scandroglio, I.; Roscio, F.; Jovine, E.; Lombardi, R.; La Rocca, F.; Di Capua, F.; Lanci, C.; Leli, R.; Borasi, A.; Lepiane, P.; Balla, A.; Liberatore, E.; Morelli, L.; Di Franco, G.; Lucchi, A.; Vittori, L.; Bonavina, L.; Asti, E.; Maggioni, D.; Martino, G.; Manca, G.; Delvecchio, A.; Tedesco, M.; Gambardella, D.; Marafioti, S.; De Marco, M. L.; Guicciardi, M. A.; Motta, M.; Calgaro, M.; Adamo, V.; Guerrieri, M.; Coletta, P.; Ortenzi, M.; Martines, G.; Lantone, G.; Martinotti, M.; Fassardi, G.; Castriconi, M.; Squillante, S.; De Luca, M.; Pavanello, M.; Di Marco, C.; Ronconi, M.; Casiraghi, S.; Mazzaferro, V.; Battiston, C.; Perrotta, M.; Ripa, C.; Giancarlo, M.; Panizzo, V.; Millo, P.; Contul, R. B.; Ferraro, V.; Molino, C.; Crolla, E.; Moretto, G.; Bacchion, M.; Morino, M.; Allaix, M. E.; Motterlini, E.; Petracca, M.; Muratore, A.; Musella, M.; Vitiello, A.; Nardo, B.; Crocco, V.; Navarra, G.; Lazzara, S.; Navarra, G. G.; Cuoghi, M.; Olmi, S.; Oldani, A.; Uccelli, M.; Opocher, E.; Giovenzana, M.; De Paolis, P.; Santarelli, M.; Delrio, P.; Carbone, F.; Bianchi, P. P. G.; Formisano, Andrea; Capelli, P.; Baldini, E.; Festa, P.; Mottola, A.; Merola, G.; Perrotta, N.; Celiento, M.; Personnettaz, E.; Muzio, S.; Petitti, T.; Melchiorre, A.; Piccoli, M.; Pecchini, F.; Frontali, A.; Maffioli, A.; Maida, P.; Tammaro, P.; Pignata, G.; Andreuccetti, J.; Pilone, V.; Renzulli, M.; Pintaldi, S.; Ceretti, A. P.; Mariani, N. M.; Pisanu, A.; Polastri, R.; Maiello, F.; Porcu, A.; Perra, T.; Mucilli, F.; Barone, M.; Troisi, R.; Montalti, R.; Scognamillo, F.; Delogu, D.; Galleano, R.; Malerba, M.; Salfi, R.; Pisano, M.; Sechi, R.; Cillara, N.; Ramuscello, S.; De Leo, E.; Restini, E.; Tumolo, R.; Cianci, P.; Capuzzolo, S.; Rizzo, M.; Recordare, A.; Santoro, R.; Amodio, P. M.; Rocca, A.; Cecere, G.; Romito, R.; Portigliotti, L.; Rosati, R.; Elmore, U.; Russello, D.; Latteri, S.; Costarella, S. M.; Massa, S.; Capasso, L.; Santangelo, M.; Sodo, M.; Sarro, G.; Rivolta, U.; Scabini, S.; Pertile, D.; Selvaggi, F.; Rossi, S.; Selvaggi, F.; Pellino, G.; Sganga, G.; Fransvea, P.; Testa, S.; De Rosa, C.; Siquini, W.; Trana, C.; Solej, M.; Bolzon, S.; Guerra, E.; Stella, M.; Ferrara, F.; Stipa, F.; Stringhi, E.; Celotti, A.; Taglietti, L.; Del Giudice, R.; Talarico, C. A.; Ruggiero, M.; Tirone, G.; Romario, U. F.; Petz, W.; Caracino, V.; Rossetti, V.; Verza, L. A.; Vescovi, L.; Marini, M.; Vettoretto, N.; Botteri, E.; Vincenti, L.; Giannandrea, G.; Viora, T.; Maganuco, L.; Veronesi, P.; Zani, B.; Zanus, G.; Brizzolari, M.; Zanzi, F.; Guariniello, A.; Zappa, M. A.; Galfrascoli, E.; Zonta, S.; Oragano, L.; Zuliani, W.; Chiari, D.
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 1-gen-2019 Costantini, S.; Formisano, A.
Augmenting knowledge representation and reasoning languages with customizable metalogic features 1-gen-2019 Costantini, S.; Formisano, A.
Multi-context systems in dynamic environments 1-gen-2019 Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea
Timed Memory in Resource-Bounded Agents 1-gen-2018 Costantini, S.; Formisano, A.; Pitoni, V.