HYDRA/RCRA@LPNMR

Keyphrases

Publications

2022

Wolfgang Faber, Michael Morak
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR (2022)
Abeer Dyoub, Stefania Costantini, Ivan Letteri
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper). HYDRA/RCRA@LPNMR (2022)
Marco Scarfone, Pierangela Bruno, Francesco Calimeri
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. HYDRA/RCRA@LPNMR (2022)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR (2022)
Marco Esposito, Leonardo Picchiami
Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. HYDRA/RCRA@LPNMR (2022)
Francesca Alessandra Lisi, Gioacchino Sterlicchio
Mining Sequences in Phone Recordings with Answer Set Programming. HYDRA/RCRA@LPNMR (2022)
Richard Comploi-Taupe
Towards Inductive Learning of Domain-Specific Heuristics for ASP. HYDRA/RCRA@LPNMR (2022)

volume 3281, 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. HYDRA/RCRA@LPNMR 3281 (2022)