Matching Cross-Domain Data with Cooperative Training of Triplet Networks: A Case Study on Underwater Robotics von De Giacomo, Giovanni G., dos Santos, Matheus M., Drews-Jr, Paulo L. J., Botelho, Silvia S. C.

Volltext

Guided Sonar-to-Satellite Translation von De Giacomo, Giovanni G., dos Santos, Matheus M., Drews, Paulo L. J., Botelho, Silvia S. C.

Volltext

Description Logic Knowledge and Action Bases von Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.

Volltext

Ecai 2020: 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain - Including 10th Conference on Prestigious Applications of... von De Giacomo, G, Catala, A, Dilkina, B

Volltext

A Probabilistic Underwater Localisation based on Cross-view and Cross-domain Acoustic and Aerial Images von dos Santos, Matheus Machado, de Oliveira Evald, Paulo Jefferson Dias, de Giacomo, Giovanni G., Drews-Jr, Paulo Lilles Jorge, da Costa Botelho, Silvia Silva

Volltext

Matching Color Aerial Images and Underwater Sonar Images Using Deep Learning for Underwater Localization von Machado Dos Santos, Matheus, De Giacomo, Giovanni G., Drews, Paulo L.J., Botelho, Silvia S. C.

Volltext

Reasoning on UML class diagrams von Berardi, Daniela, Calvanese, Diego, De Giacomo, Giuseppe

Volltext

Cross-View and Cross-Domain Underwater Localization Based on Optical Aerial and Acoustic Underwater Images von Santos, Matheus M. Dos, De Giacomo, Giovanni G., Drews-Jr, Paulo L. J., Botelho, Silvia S. C.

Volltext

Reasoning on regular path queries von Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M. Y.

Volltext

ConGolog, a concurrent programming language based on the situation calculus von De Giacomo, Giuseppe, Lespérance, Yves, Levesque, Hector J.

Volltext

A Uniform Framework for Concept Definitions in Description Logics von De Giacomo, G., Lenzerini, M.

Volltext

Enhanced foraging in robot swarms using collective Lévy walks von Nauta, Johannes, Van Havermaet, Stef, Simoens, Pieter, Khaluf, Yara

Volltext

On Instance-level Update and Erasure in Description Logic Ontologies von De Giacomo, Giuseppe, Lenzerini, Maurizio, Poggi, Antonella, Rosati, Riccardo

Volltext

Automatic Composition of E-services That Export Their Behavior von Berardi, Daniela, Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio, Mecella, Massimo

Volltext

Description logics: foundations for class-based knowledge representation von Calvanese, D., De Giacomo, G., Lenzerini, M.

Volltext

Data integration under integrity constraints von Calı̀, Andrea, Calvanese, Diego, De Giacomo, Giuseppe, Lenzerini, Maurizio

Volltext

View-based query processing and constraint satisfaction von Calvanese, D., de Giacomo, G., Lenzerini, M., Vardi, M.Y.

Volltext

Data Integration: A Logic‐Based Perspective von Calvanese, Diego, De Giacomo, Giuseppe

Volltext

Automata-Theoretic Approach to Planning for Temporally Extended Goals von De Giacomo, Giuseppe, Vardi, Moshe Y.

Volltext

Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach von Calvanese, Diego, De Giacomo, Giuseppe, Lembo, Domenico, Lenzerini, Maurizio, Rosati, Riccardo

Volltext