( en | de | ru )

 

Disambiguierung von "Nguyen, Linh Anh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Web Ontology Rule Language OWL 2 RL.

, , und . ICCCI (1), Volume 6922 von Lecture Notes in Computer Science, Seite 254-264. Springer, (2011)

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

On Modal Deductive Databases.. ADBIS, Volume 3631 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2005)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)Reasoning About Epistemic States of Agents by Modal Logic Programming.. CLIMA, Volume 3900 von Lecture Notes in Computer Science, Seite 37-56. 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)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)Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics., und . ICCCI (1), Volume 11683 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2019)ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCALC., und . ICCCI, Volume 5796 von Lecture Notes in Computer Science, Seite 437-448. Springer, (2009)Computing Bisimulation-Based Comparisons.. CS&P, Volume 1698 von CEUR Workshop Proceedings, Seite 245-256. CEUR-WS.org, (2016)The Influence of the Test Operator on the Expressive Power of PDL-like Logics.. J. Log. Comput., 29 (8): 1289-1310 (2019)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)