- Marco Maratea, Mauro Vallati:
Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019. CEUR Workshop Proceedings 2538, CEUR-WS.org 2020
- Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.
- Carmine Dodaro, Alessandro Previti:
Minipref: A Tool for Preferences in SAT (short paper).
- Riccardo Bertolucci:
TDeclarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots (short paper).
- Agostina Calabrese:
Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios.
- Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri:
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper).
- Lukás Chrpa, Martin Pilát, Jakub Gemrot:
Compiling Planning Problems with Non-deterministic Events into FOND Planning.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.