( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies

, и . Proc. TABLEAUX 07, том 4548 из LNAI, стр. 133-148. (2007)

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.

Vu Linh Nguyen

Linh-Toan Nguyen

Nguyen Anh Dung

Nguyen-Anh-Tuan

Anh Nguyen-Ngoc

 

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

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies, и . Proc. TABLEAUX 07, том 4548 из LNAI, стр. 133-148. (2007)Reasoning About Epistemic States of Agents by Modal Logic Programming.. CLIMA, том 3900 из Lecture Notes in Computer Science, стр. 37-56. Springer, (2005)An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination., и . ADBIS (2), том 312 из Advances in Intelligent Systems and Computing, стр. 109-120. Springer, (2014)The Influence of the Test Operator on the Expressive Power of PDL-like Logics.. J. Log. Comput., 29 (8): 1289-1310 (2019)An Efficient Tableau Prover using Global Caching for the Description Logic ALC.. Fundam. Informaticae, 93 (1-3): 273-288 (2009)Clausal Tableaux for Multimodal Logics of Belief., и . Fundam. Informaticae, 94 (1): 21-40 (2009)Foundations of Modal Deductive Databases.. Fundam. Informaticae, 79 (1-2): 85-135 (2007)The Modal Query Language MDatalog.. Fundam. Informaticae, 46 (4): 315-342 (2001)Checking Consistency of an ABox w.r.t. Global Assumptions in PDL., и . Fundam. Informaticae, 102 (1): 97-113 (2010)Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.. Fundam. Informaticae, 70 (4): 351-366 (2006)