Linh Anh Nguyen's Other Papers

---

Technical Reports

---

• Query-Subquery Nets, Linh Anh Nguyen and Son Thanh Cao. Manuscript arXiv:1201.2564, 2012.
• Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI, Linh Anh Nguyen. Manuscript arXiv:1106.2305, 2011.
• On Bisimulations for Description Logics, Ali Rezaei Divroodi and Linh Anh Nguyen. Manuscript arXiv:1104.1964, 2011.
• A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms, Linh Anh Nguyen. Manuscript arXiv:1104.0405, 2011.
• Optimal Tableau Decision Procedures for PDL, Linh Anh Nguyen and Andrzej Szałas. Manuscript arXiv:0904.0721v2, 2009.
• Optimised EXPTIME Tableaux for ALC Using Sound Global Caching, Propagation and Cutoffs, Rajeev Goré and inh Anh Nguyen. Manuscript, 2007.
  pdf.
• Foundations of Modal Logic Programming: The Direct Approach, Linh Anh Nguyen. Warsaw, November 2006 (last revised 2010-05-03: Release 2.2).
  pdf, bibtex.
• A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs, Linh Anh Nguyen. Report TR 01-02 (265), Institute of Informatics, University of Warsaw, 2001.
  ps.gz, bibtex.
• Clausal Tableau Systems and Space Bounds for the Modal Logics K, D, T, KB, KDB and B, Linh Anh Nguyen. Report TR 00-01(261), Institute of Informatics, University of Warsaw, 2000.
  ps.gz, pdf, bibtex.
• Constructing the Least Models for Positive Modal Logic Programs, Linh Anh Nguyen. Report TR 259, Institute of Informatics, University of Warsaw, 1999.

---

Theses

---

• Selected Semantic and Computational Aspects of Modal Logic Programming, Linh Anh Nguyen. Habilitation thesis, Institute of Informatics, University of Warsaw, 2009.
  a summary, autoreferat.
• Results on Modal Reasoning with Applications to Modal Deductive Databases, Linh Anh Nguyen. Ph.D. thesis (adviser: prof. Andrzej Szałas), Institute of Informatics, University of Warsaw, 2000.
  ps.gz, bibtex;  a summary: html, ps.gz;  autoreferat: html, ps.gz.
• Algorytmy deskolemizacji i ich zastosowania, Linh Anh Nguyen. (M.Sc. thesis - in Polish) Praca magisterska napisana pod opieką prof. Andrzeja Szałasa, 1997.
  ps.gz.