The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HYDRA/RCRA@LPNMR"( http://dblp.L3S.de/Venues/HYDRA/RCRA@LPNMR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lpnmr

Publication years (Num. hits)
2022 (8)
Publication types (Num. hits)
inproceedings(7) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wolfgang Faber 0001, Michael Morak Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Abeer Dyoub, Stefania Costantini, Ivan Letteri Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper). Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Marco Scarfone, Pierangela Bruno, Francesco Calimeri A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati (eds.) 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. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander Explainability via Short Formulas: the Case of Propositional Logic with Implementation. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Marco Esposito, Leonardo Picchiami Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Francesca Alessandra Lisi, Gioacchino Sterlicchio Mining Sequences in Phone Recordings with Answer Set Programming. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
1Richard Comploi-Taupe Towards Inductive Learning of Domain-Specific Heuristics for ASP. Search on Bibsonomy HYDRA/RCRA@LPNMR The full citation details ... 2022 DBLP  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license