( en | de | ru )

 

Disambiguierung von "Nguyen, Linh Anh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.

, und . Fundam. Informaticae, 102 (1): 97-113 (2010)

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

Reasoning About Epistemic States of Agents by Modal Logic Programming.. CLIMA, Volume 3900 von Lecture Notes in Computer Science, Seite 37-56. Springer, (2005)On Modal Deductive Databases.. ADBIS, Volume 3631 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2005)A Tableau Calculus for Regular Grammar Logics with Converse., und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 421-436. Springer, (2009)Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.. TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 206-220. Springer, (2002)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)