callback( { "result":{ "query":":facetid:toc:\"db/conf/aiia/rcra2019.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"179.94" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"7", "@dc":"7", "@oc":"7", "@id":"43378575", "text":":facetid:toc:db/conf/aiia/rcra2019.bht" } }, "hits":{ "@total":"7", "@computed":"7", "@sent":"7", "@first":"0", "hit":[{ "@score":"1", "@id":"1861883", "info":{"authors":{"author":[{"@pid":"m/MarcoMaratea","text":"Marco Maratea"},{"@pid":"13/7563","text":"Mauro Vallati"}]},"title":"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.","venue":["RCRA/RiCeRcA@AIIA","CEUR Workshop Proceedings"],"volume":"2538","publisher":"CEUR-WS.org","year":"2020","type":"Editorship","access":"open","key":"conf/aiia/2019rcra","ee":"https://ceur-ws.org/Vol-2538","url":"https://dblp.org/rec/conf/aiia/2019rcra"}, "url":"URL#1861883" }, { "@score":"1", "@id":"2115654", "info":{"authors":{"author":{"@pid":"231/8822","text":"Riccardo Bertolucci"}},"title":"TDeclarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots (short paper).","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/Bertolucci19","ee":"https://ceur-ws.org/Vol-2538/paper3.pdf","url":"https://dblp.org/rec/conf/aiia/Bertolucci19"}, "url":"URL#2115654" }, { "@score":"1", "@id":"2115666", "info":{"authors":{"author":{"@pid":"257/1827","text":"Agostina Calabrese"}},"title":"Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios.","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/Calabrese19","ee":"https://ceur-ws.org/Vol-2538/paper4.pdf","url":"https://dblp.org/rec/conf/aiia/Calabrese19"}, "url":"URL#2115666" }, { "@score":"1", "@id":"2115667", "info":{"authors":{"author":[{"@pid":"257/1827","text":"Agostina Calabrese"},{"@pid":"14/290","text":"Toni Mancini"},{"@pid":"04/3046","text":"Annalisa Massini"},{"@pid":"156/3466","text":"Stefano Sinisi"},{"@pid":"76/1427","text":"Enrico Tronci"}]},"title":"Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/CalabreseMMST19","ee":"https://ceur-ws.org/Vol-2538/paper1.pdf","url":"https://dblp.org/rec/conf/aiia/CalabreseMMST19"}, "url":"URL#2115667" }, { "@score":"1", "@id":"2115675", "info":{"authors":{"author":[{"@pid":"52/604","text":"Lukás Chrpa"},{"@pid":"42/8571","text":"Martin Pilát"},{"@pid":"49/3327","text":"Jakub Gemrot"}]},"title":"Compiling Planning Problems with Non-deterministic Events into FOND Planning.","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/ChrpaPG19","ee":"https://ceur-ws.org/Vol-2538/paper6.pdf","url":"https://dblp.org/rec/conf/aiia/ChrpaPG19"}, "url":"URL#2115675" }, { "@score":"1", "@id":"2115679", "info":{"authors":{"author":[{"@pid":"c/StefaniaCostantini","text":"Stefania Costantini"},{"@pid":"53/2779","text":"Francesca A. Lisi"},{"@pid":"167/9918","text":"Raffaele Olivieri"}]},"title":"Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper).","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/CostantiniLO19","ee":"https://ceur-ws.org/Vol-2538/paper5.pdf","url":"https://dblp.org/rec/conf/aiia/CostantiniLO19"}, "url":"URL#2115679" }, { "@score":"1", "@id":"2115687", "info":{"authors":{"author":[{"@pid":"115/6847","text":"Carmine Dodaro"},{"@pid":"29/9729","text":"Alessandro Previti"}]},"title":"Minipref: A Tool for Preferences in SAT (short paper).","venue":"RCRA/RiCeRcA@AI*IA","year":"2019","type":"Conference and Workshop Papers","access":"open","key":"conf/aiia/DodaroP19","ee":"https://ceur-ws.org/Vol-2538/paper2.pdf","url":"https://dblp.org/rec/conf/aiia/DodaroP19"}, "url":"URL#2115687" } ] } } } )