( en | de | ru )

 

Disambiguierung von "Nguyen, Linh Anh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies

, und . Proc. TABLEAUX 07, Volume 4548 von LNAI, Seite 133-148. (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.

Vu Linh Nguyen

Linh-Toan Nguyen

Nguyen Anh Dung

Nguyen-Anh-Tuan

Anh Nguyen-Ngoc

 

Weitere Publikationen von Autoren mit dem selben Namen

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies, und . Proc. TABLEAUX 07, Volume 4548 von LNAI, Seite 133-148. (2007)Reasoning About Epistemic States of Agents by Modal Logic Programming.. CLIMA, Volume 3900 von Lecture Notes in Computer Science, Seite 37-56. Springer, (2005)An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination., und . ADBIS (2), Volume 312 von Advances in Intelligent Systems and Computing, Seite 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., und . 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., und . 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)