( en | de | ru )

 

Disambiguierung von "Giacomo, Giuseppe De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.

, , , und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Giacomo Ricciarelli

Giacomo D'Antonio

Giacomo Fornari

Giacomo Gazzaniga

Giacomo D'Antonio

 

Weitere Publikationen von Autoren mit dem selben Namen

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases., , und . Description Logics, Volume 11 von CEUR Workshop Proceedings, CEUR-WS.org, (1998)Ontology of Integration and Integration of Ontologies., , und . Description Logics, Volume 49 von CEUR Workshop Proceedings, CEUR-WS.org, (2001)MASTRO-I: Efficient Integration of Relational Data through DL Ontologies., , , , , und . Description Logics, Volume 250 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Reasoning on UML Class Diagrams is EXPTIME-hard., , und . Description Logics, Volume 81 von CEUR Workshop Proceedings, CEUR-WS.org, (2003)Description Logic-baqsed Framrwork for Planning with Sensing Actions., , , und . Description Logics, Volume 410 von URA-CNRS, (1997)Epistemic First-order Queries over Description Logic Knowledge Bases., , , , und . Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Ontologies and Databases: The DL-Lite Approach., , , , , , und . Reasoning Web, Volume 5689 von Lecture Notes in Computer Science, Seite 255-356. Springer, (2009)An Automata-Theoretic Approach to Regular XPath., , , und . DBPL, Volume 5708 von Lecture Notes in Computer Science, Seite 18-35. Springer, (2009)Bounded Epistemic Situation Calculus Theories., , und . IJCAI, Seite 846-853. IJCAI/AAAI, (2013)Planning with Sensing for a Mobile Robot., , , und . ECP, Volume 1348 von Lecture Notes in Computer Science, Seite 156-168. Springer, (1997)