( en | de | ru )

 

Disambiguierung von "Calvanese, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tractable reasoning and efficient query answering in description logics: The DL-Lite family

, , , , und . Journal of Automated reasoning, 39 (3): 385--429 (2007)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Weitere Publikationen von Autoren mit dem selben Namen

A Foundational Vision of e-Services., , , , und . WES, Volume 3095 von Lecture Notes in Computer Science, Seite 28-40. Springer, (2003): A Tool for Automatic Composition ofServices Based on Logics of Programs., , , , und . TES, Volume 3324 von Lecture Notes in Computer Science, Seite 80-94. Springer, (2004)Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis., , , und . IJCAI, Seite 4247-4253. AAAI Press, (2015)Enriching Ontology-based Data Access with Provenance., , , , und . IJCAI, Seite 1616-1623. ijcai.org, (2019)Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees., , und . IJCAI, Seite 84-89. Morgan Kaufmann, (1999)Model Completeness, Covers and Superposition., , , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 142-160. Springer, (2019)Automatic Composition of E-services That Export Their Behavior., , , , und . ICSOC, Volume 2910 von Lecture Notes in Computer Science, Seite 43-58. Springer, (2003)A Formal Framework for Reasoning on UML Class Diagrams., , , und . ISMIS, Volume 2366 von Lecture Notes in Computer Science, Seite 503-513. Springer, (2002)Data Scaling in OBDA Benchmarks: The VIG Approach., , und . CoRR, (2016)Decidable Containment of Recursive Queries., , und . ICDT, Volume 2572 von Lecture Notes in Computer Science, Seite 327-342. Springer, (2003)