Publications Umili.

publications.bib

@@ -19,6 +19,41 @@ @inproceedings{citing-name
 %  note = {To appear},
 %
 
+@inproceedings{nesy2022uabc,
+  author    = {Elena Umili and Francesco Argenziano and Aymeric Barbin and Roberto Capobianco},
+  title     = {Visual Reward Machines},
+  booktitle = {Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy)},
+  year      = {2023},
+  url_paper    = {https://whitemech.github.io/papers/2023/nesy2022uabc.pdf},
+  bibbase_note = {<span style="color: red">To appear.</span>},
+}
+
+@inproceedings{kr2023ucd,
+  author    = {Elena Umili and
+               Roberto Capobianco and
+               Giuseppe De Giacomo},
+  title     = {Grounding LTLf Specifications in Image Sequences},
+  booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023)},
+  year      = {2023},
+  url_paper    = {https://whitemech.github.io/papers/2023/kr2023ucd.pdf},
+  bibbase_note = {<span style="color: red">To appear.</span>},
+}
+
+@inproceedings{ijclr2022ucd,
+  author       = {Elena Umili and
+                  Roberto Capobianco and
+                  Giuseppe De Giacomo},
+  title        = {Grounding LTLf Specifications in Images},
+  booktitle    = {Proceedings of the 16th International Workshop on Neural-Symbolic
+                  Learning and Reasoning at {(IJCLR} 2022)}},
+  series       = {{CEUR} Workshop Proceedings},
+  volume       = {3212},
+  pages        = {45--63},
+  publisher    = {CEUR-WS.org},
+  year         = {2022},
+  url_paper    = {https://ceur-ws.org/Vol-3212/paper4.pdf},
+}
+
 @article{si2022cmp,
   author       = {Francesco Chiariello and
                   Fabrizio Maria Maggi and
@@ -1036,8 +1071,7 @@ @inproceedings{dl2020ndl
    title     = {Extending DL-LiteR TBoxes with View Definitions},
    booktitle = {Proceedings of the Thirty-Third International Workshop on Description Logics
                 ({DL} 2020) co-located with the Seventeenth International Conference on Principles
-                of Knowledge Representation and Reasoning {(KR} 2020), Online Event
-                [Rhodes, Greece], September 12th to 14th, 2020},
+                of Knowledge Representation and Reasoning {(KR} 2020)}},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2663},
    publisher = {CEUR-WS.org},
@@ -1106,15 +1140,4 @@ @article{fi2019ddllr
 url_website = {https://www.mdpi.com/1999-5903/11/12/260},
 issn = {1999-5903},
 doi = {10.3390/fi11120260},
-abstract = {Although current languages used in ontology-based data access (OBDA) systems allow for mapping source data
-to instances of concepts and relations in the ontology, several application domains need more flexible tools for
-inferring knowledge from data, which are able to dynamically acquire axioms about new concepts and relations directly
-from the data. In this paper we introduce the notion of mapping-based knowledge base (MKB) to formalize the situation
-where both the extensional and the intensional level of the ontology are determined by suitable mappings to a set of
-data sources. This allows for making the intensional level of the ontology as dynamic as the extensional level
-traditionally is. To do so, we resort to the meta-modeling capabilities of higher-order description logics, in
-particular the description logic Hi(DL-Lite R), which allows seeing concepts and relations as individuals,
-and vice versa. The challenge in this setting is to design efficient algorithms for answering queries posed to MKBs.
-Besides the definition of MKBs, our main contribution is to prove that answering instance queries posed to MKBs
-expressed in Hi(DL-Lite R) can be done efficiently.},
 }