Institute of Informatics
University of Warsaw
nguyen@mimuw.edu.pl
(+48) 22 55-44-440

Konsultacje:
Poniedziałek, 9:00- 10:00,
pokój 4400.

• Associate Professor, Institute of Informatics, University of Warsaw.
• Education: M.Sc. 1997, Ph.D. 2000, Dr.Sc. 2009, all in Computer Science and from the University of Warsaw.
• Citizenships: Vietnamese and Polish.

• Automated Reasoning in Modal and Description Logics
• Rule Languages for Modal and Description Logics
  • Modal Logic Programming
  • Modal Deductive Databases
  • Horn Fragments of Modal and Description Logics
  • Nonmonotonic Rule Languages
• Description Logics and Semantic Web
  • Concept Learning in Description Logics
  • Paraconsistent Semantics and Reasoning in Description Logics
• Multiagent Systems and Artificial Intelligence
• Deductive Databases and Logic Programming in Classical First-Order Logic

• DBLP Entry
• MIMUW Entry
• List Sorted by Areas
• Theses

• TGC2: Tableaux with Global Caching - a Reasoner for Modal and Description Logics
• TGC 1.2 : An Efficient Tableau Prover using Global Caching for the Description Logic ALC
• MProlog : A Modal Logic Programming System