Vol-3281
urn:nbn:de:0074-3281-3

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

HYDRA-RCRA 2022
HYbrid Models for Coupling Deductive and Inductive ReAsoning and Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2022

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.

Edited by

Pierangela Bruno *
Francesco Calimeri *
Francesco Cauteruccio
Marco Maratea *
Giorgio Terracina *
Mauro Vallati ****

* University of Calabria, Rende, Italy
** Polytechnic University of Marche, Ancona, Italy
*** University of Genova, Genova, Italy
*** University of Huddersfield, Huddersfield, United Kingdom

Table of Contents

Summary: There were a total of 7 papers submitted for peer-review to these workshops. Out of these, 7 papers were accepted for this volume, 6 as regular papers and 1 as short papers.

Session 1: HYDRA 2022

Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper) 1-8
Abeer Dyoub, Stefania Costantini, Ivan Letteri
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images 9-20
Marco Scarfone, Pierangela Bruno, Francesco Calimeri
Towards Inductive Learning of Domain-Specific Heuristics for ASP 21-33
Richard Comploi-Taupe
Mining Sequences in Phone Recordings with Answer Set Programming 34-50
Francesca Alessandra Lisi, Gioacchino Sterlicchio

Session 2: RCRA 2022

Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking 51-63
Marco Esposito, Leonardo Picchiami
Explainability via Short Formulas: the Case of Propositional Logic with Implementation 64-77
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers 78-89
Wolfgang Faber, Michael Morak

2022-11-20: submitted by Pierangela Bruno, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-21: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|