![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
HYDRA/RCRA@LPNMR 2022: Genova, Italy
- Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati:
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings 3281, CEUR-WS.org 2022
Session 1: HYDRA 2022
- Abeer Dyoub, Stefania Costantini, Ivan Letteri
:
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper). 1-8 - Marco Scarfone, Pierangela Bruno, Francesco Calimeri:
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. 9-20 - Richard Comploi-Taupe
:
Towards Inductive Learning of Domain-Specific Heuristics for ASP. 21-33 - Francesca Alessandra Lisi, Gioacchino Sterlicchio:
Mining Sequences in Phone Recordings with Answer Set Programming. 34-50
Session 2: RCRA 2022
- Marco Esposito, Leonardo Picchiami:
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. 51-63 - Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. 64-77 - Wolfgang Faber, Michael Morak:
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. 78-89
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.