Sfoglia per Serie
Leveraging commitments and goals in agent interaction
2015-01-01 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto
Leveraging Digital Twins to enhance Green Public Procurement in AECO industry
2022-01-01 Meschini, Silvia; Tagliabue, LAVINIA CHIARA; DI GIUDA, GIUSEPPE MARTINO
Leveraging on Responsibilities for Optimal Process Alignment Computation
2023-01-01 Baldoni M.; Baroglio C.; Marengo E.; Micalizio R.
Leveraging social and semantic components in adaptive environments
2012-01-01 Cristina Gena
Leveraging structured data in Predictive Process Monitoring: The case of the ICD-9-CM in the scenario of the Home Hospitalization Service
2021-01-01 Aringhieri R.; Boella G.; Brunetti E.; Di Caro L.; Di Francescomarino C.; Dragoni M.; Ferrod R.; Ghidini C.; Marinello R.; Ronzani M.; Sulis E.
Mapping Biographical events to ODPs through Lexico-Semantic Patterns?
2021-01-01 Stranisci M.A.; Basile V.; Damiano R.; Patti V.
Mental state attribution to educational robots: an experience with children in primary school
2023-01-01 Gena C.; Capecchi S.
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
2010-01-01 M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)
2010-01-01 Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Metadata annotation for dramatic texts
2017-01-01 Lombardo, Vincenzo; Damiano, Rossana; Pizzo, Antonio
A methodology for large-scale, disambiguated and unbiased lexical knowledge acquisition based on multilingual word alignment
2021-01-01 Grasso, F.; Di Caro, L.
Minimal Model Semantics and Rational Closure in Description Logics
2013-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Minimal models for rational closure in SHIQ
2014-01-01 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
A Modal Reconstruction of Rational Closure
2012-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Modelling norm types and their inter-relationships in EU directives
2019-01-01 Amantea I.A.; Di Caro L.; Humphreys L.; Nanda R.; Sulis E.
Movement recognition using context: A lexical approach based on coherence
2010-01-01 Mileo, A.; Pinardi, S.; Bisiani, R.
A Movie Timeline for a Movie Recommender
2013-01-01 F. Cena;E. Chiabrando;A. Crevola;M. Deplano;C. Gena;M. Perrero
Multi-Event Survival Prediction for Amyotrophic Lateral Sclerosis
2022-01-01 Corrado Pancotti, Giovanni Birolo, Tiziana Sanavia, Cesare Rollo, Piero Fariselli
A natural sequent calculus for Lewis logic of counterfactuals
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics
2013-01-01 N. Olivetti; G.L. Pozzato
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Leveraging commitments and goals in agent interaction | 2015 | Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto | |
Leveraging Digital Twins to enhance Green Public Procurement in AECO industry | 2022 | Meschini, Silvia; Tagliabue, LAVINIA CHIARA; DI GIUDA, GIUSEPPE MARTINO | |
Leveraging on Responsibilities for Optimal Process Alignment Computation | 2023 | Baldoni M.; Baroglio C.; Marengo E.; Micalizio R. | |
Leveraging social and semantic components in adaptive environments | 2012 | Cristina Gena | |
Leveraging structured data in Predictive Process Monitoring: The case of the ICD-9-CM in the scenario of the Home Hospitalization Service | 2021 | Aringhieri R.; Boella G.; Brunetti E.; Di Caro L.; Di Francescomarino C.; Dragoni M.; Ferrod R.; Ghidini C.; Marinello R.; Ronzani M.; Sulis E. | |
Mapping Biographical events to ODPs through Lexico-Semantic Patterns? | 2021 | Stranisci M.A.; Basile V.; Damiano R.; Patti V. | |
Mental state attribution to educational robots: an experience with children in primary school | 2023 | Gena C.; Capecchi S. | |
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems | 2010 | M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi | |
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) | 2010 | Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea | |
Metadata annotation for dramatic texts | 2017 | Lombardo, Vincenzo; Damiano, Rossana; Pizzo, Antonio | |
A methodology for large-scale, disambiguated and unbiased lexical knowledge acquisition based on multilingual word alignment | 2021 | Grasso, F.; Di Caro, L. | |
Minimal Model Semantics and Rational Closure in Description Logics | 2013 | L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato | |
Minimal models for rational closure in SHIQ | 2014 | Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato | |
A Modal Reconstruction of Rational Closure | 2012 | L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato | |
Modelling norm types and their inter-relationships in EU directives | 2019 | Amantea I.A.; Di Caro L.; Humphreys L.; Nanda R.; Sulis E. | |
Movement recognition using context: A lexical approach based on coherence | 2010 | Mileo, A.; Pinardi, S.; Bisiani, R. | |
A Movie Timeline for a Movie Recommender | 2013 | F. Cena;E. Chiabrando;A. Crevola;M. Deplano;C. Gena;M. Perrero | |
Multi-Event Survival Prediction for Amyotrophic Lateral Sclerosis | 2022 | Corrado Pancotti, Giovanni Birolo, Tiziana Sanavia, Cesare Rollo, Piero Fariselli | |
A natural sequent calculus for Lewis logic of counterfactuals | 2015 | Olivetti, Nicola; Pozzato, Gian Luca | |
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics | 2013 | N. Olivetti; G.L. Pozzato |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile