Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Planning and Inverse Kinematics of Hyper-Redundant Manipulators with VO-FABRIK
2025-01-01 Morasso, Cristian; Meli, Daniele; Divet, Yann; Sessa, Salvatore; Farinelli, Alessandro
Predicting humans: A sensor-based architecture for real time Intent Recognition using Problog
2021-01-01 Acciaro, G. D.; D(')Asaro, F. A.; Rossi, S.
Preface to the 2nd Workshop on Search, Exploration, and Analysis in Heterogeneous Datastores
2021-01-01 Mottin, Davide; Lissandrini, Matteo; (Senjuti Basu), Roy; Velegrakis, Yannis
Probabilistic typed natural deduction for trustworthy computations
2021-01-01 D(')Asaro, F. A.; Primiero, G.
Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022)
2022-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Primiero, Giuseppe
Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming
2023-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gorrieri, Laura; Lisi, Francesca A.; Manganini, Chiara; Primiero, Giuseppe
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.
Recent Results on Computable and Compositional Semantics for Hybrid Systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano
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.
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