( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On First-Order mu-Calculus over Situation Calculus Action Theories

, , , и . Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., стр. 411--420. (2016)

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

 

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

Decidable Containment of Recursive Queries., , и . ICDT, том 2572 из Lecture Notes in Computer Science, стр. 327-342. Springer, (2003)On Expansion and Contraction of DL-Lite Knowledge Bases., , , и . CoRR, (2020)A Foundational Vision of e-Services., , , , и . WES, том 3095 из Lecture Notes in Computer Science, стр. 28-40. Springer, (2003)A Formal Framework for Reasoning on UML Class Diagrams., , , и . ISMIS, том 2366 из Lecture Notes in Computer Science, стр. 503-513. Springer, (2002): A Tool for Automatic Composition ofServices Based on Logics of Programs., , , , и . TES, том 3324 из Lecture Notes in Computer Science, стр. 80-94. Springer, (2004)First-Order Ontology Mediated Database Querying via Query Reformulation., и . A Comprehensive Guide Through the Italian Database Research, том 31 из Studies in Big Data, Springer International Publishing, (2018)Expressive Description Logics., и . Description Logic Handbook, Cambridge University Press, (2003)Unifying Class-Based Representation Formalisms., , и . J. Artif. Intell. Res., (1999)Automatic Composition of E-services That Export Their Behavior., , , , и . ICSOC, том 2910 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2003)Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)., , , , и . CoRR, (2019)