default search action

combined dblp search
author search
venue search
publication search

ask others

RCRA+RiCeRcA 2019: Rende, Italy

> Home > Conferences and Workshops > RCRA
> Home > Conferences and Workshops > RiCeRcA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/aiia/2019rcra
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/2019rcra
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

Regular Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CalabreseMMST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CalabreseMMST19
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.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/DodaroP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/DodaroP19
Carmine Dodaro, Alessandro Previti:
Minipref: A Tool for Preferences in SAT (short paper).
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/Bertolucci19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Bertolucci19
Riccardo Bertolucci:
TDeclarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots (short paper).
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/Calabrese19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Calabrese19
Agostina Calabrese:
Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CostantiniLO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CostantiniLO19
Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri:
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper).
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/ChrpaPG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/ChrpaPG19
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.