Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Linh Anh Nguyen

ExpTime Tableau Decision Procedures for Regular Grammar Logics With Converse

Studia Logica
Philosophy of ScienceLogicHistory
2011English

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Bisimulation-Based Concept Learning for Information Systems in Description Logics

Vietnam Journal of Computer Science
2015English

Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2005English

On Modal Deductive Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

An Efficient Tableau Prover Using Global Caching for the Description Logic ALC

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy