Sfoglia per Serie
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021
2021-01-01 D'Agostino, Marcello; D'Asaro, Fabio Aurelio; Larese, Costanza
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021
2021-01-01 Arias, Joaqu('(i))n; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gupta, Gopal; Hecher, Markus; Leblanc, Emily; Pe(~(n))aloza, Rafael; Salazar, Elmer; Saptawijaya, Ari; Weitkamper, Felix; Zangari, Jessica
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Proof-checking Bias in Labeling Methods
2022-01-01 Primiero, G.; D'Asaro, F. A.
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
2024-01-01 Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Semantic information elicitation from unstructured medical records
2006-01-01 Ruffolo, M.; Cozza, V.; Gallucci, L.; Manna, Marco; Pizzonia, M.
Sisinflab: An ensemble of supervised and unsupervised strategies for the NEEL-IT challenge at Evalita 2016
2016-01-01 Cozza, V.; Bruna, W. L.; Di Noia, Tommaso
Static Analysis for GDPR Compliance
2018-01-01 Ferrara, Pietro; Spoto, Nicola Fausto
Strong Controllability of Temporal Networks with Decisions
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Tabular Model Learning in Monte Carlo Tree Search
2023-01-01 Castellini, Alberto; Bragantini, Davide; Rossignolo, Davide; Segala, Federico; Farinelli, Alessandro
Tackling different business process perspectives modeling data, time, and decisions in BPMN processes
2019-01-01 Zerbato, F.
Temporal and Resource Controllability of Workflows Under Uncertainty
2019-01-01 Zavatteri, Matteo
Towards a logic-based approach for multi-modal fusion and decision making during motor rehabilitation sessions
2019-01-01 D?asaro, F. A.; Origlia, A.; Rossi, S.
Using Inductive Logic Programming to globally approximate Neural Networks for preference learning: challenges and preliminary results
2022-01-01 Fossemò, Daniele; Mignosi, Filippo; Raggioli, Luca; Spezialetti, Matteo; D'Asaro, Fabio Aurelio
When a Dollar in a Fully Clustered Word Makes a BWT
2022-01-01 Giuliani, Sara; Liptak, Zsuzsanna; Masillo, Francesco
When a Dollar Makes a BWT
2019-01-01 Giuliani, Sara; Liptak, Zsuzsanna; Rizzi, Romeo
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