Searching for authors named "Linh Anh Nguyen" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Multimodal Logic Programming and Its Applications to Modal Deductive Databases
- …Multimodal Logic Programming and Its Applications to Modal Deductive Databases Linh Anh Nguyen…
- Cited by 13 (8 self) – Add To MetaCart
-
Constructing the Least Models for Positive Modal Logic Programs
- … Modal Logic Programs Linh Anh Nguyen Institute of Informatics Warsaw University ul. Banacha 2, 02…
- Cited by 15 (13 self) – Add To MetaCart
-
The Modal Query Language MDatalog
- … Anh Nguyen Institute of Informatics University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland…
- Cited by 7 (6 self) – Add To MetaCart
-
The modal logic programming system MProlog
- …The Modal Logic Programming System MProlog: Theory, Design, and Implementation Linh Anh Nguyen…
- Cited by 8 (5 self) – Add To MetaCart
-
MProlog: An extension of Prolog for modal logic programming
- …MProlog: An Extension of Prolog for Modal Logic Programming Linh Anh Nguyen Institute…
- Cited by 2 (2 self) – Add To MetaCart
-
Sequent-like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB , KDB , K 5, KD5
- … , K 5, KD5 Linh Anh Nguyen Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw…
- Cited by 2 (2 self) – Add To MetaCart
-
Clausal tableau systems and space bounds for the modal logics
- …Clausal Tableau Systems and Space Bounds for the Modal Logics K, D, T, KB, KDB and B ⋆ Linh Anh…
- Cited by 6 (5 self) – Add To MetaCart
-
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
- …Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief Linh Anh Nguyen…
- Cited by 4 (4 self) – Add To MetaCart
-
Analytic tableau systems and interpolation for the modal logics
- …Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K 5, KD5 ⋆ Linh Anh…
- Cited by 6 (6 self) – Add To MetaCart
-
A New Space Bound for the Modal Logics K4, KD4 and S4
- …A New Space Bound for the Modal Logics K4, KD4 and S4 Linh Anh Nguyen Institute of Informatics…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
