From post

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.

 

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

Data Scaling in OBDA Benchmarks: The VIG Approach., , и . CoRR, (2016)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)Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees., , и . IJCAI, стр. 84-89. Morgan Kaufmann, (1999)Automatic Composition of E-services That Export Their Behavior., , , , и . ICSOC, том 2910 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2003)A Formal Framework for Reasoning on UML Class Diagrams., , , и . ISMIS, том 2366 из Lecture Notes in Computer Science, стр. 503-513. Springer, (2002)Decidable Containment of Recursive Queries., , и . ICDT, том 2572 из Lecture Notes in Computer Science, стр. 327-342. Springer, (2003)Finite model reasoning on UML class diagrams via constraint programming., , , и . Intelligenza Artificiale, 7 (1): 57-65 (2013)Automatic Composition of Web Services in Colombo., , , , и . SEBD, стр. 8-15. (2005)