( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Composition of E-services That Export Their Behavior.

, , , , и . ICSOC, том 2910 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Другие публикации лиц с тем же именем

Model Completeness, Covers and Superposition., , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis., , , и . IJCAI, стр. 4247-4253. AAAI Press, (2015)Enriching Ontology-based Data Access with Provenance., , , , и . IJCAI, стр. 1616-1623. ijcai.org, (2019)Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)., , , , и . CoRR, (2019)Data Scaling in OBDA Benchmarks: The VIG Approach., , и . CoRR, (2016)Knowledge base exchange: The case of OWL 2 QL., , , и . Artif. Intell., (2016)Expressive Approximations in DL-Lite Ontologies., , и . AIMSA, том 6304 из Lecture Notes in Computer Science, стр. 21-31. Springer, (2010)Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees., , и . IJCAI, стр. 84-89. Morgan Kaufmann, (1999)On Expansion and Contraction of DL-Lite Knowledge Bases., , , и . CoRR, (2020)Decidable Containment of Recursive Queries., , и . ICDT, том 2572 из Lecture Notes in Computer Science, стр. 327-342. Springer, (2003)