Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja: profesor uczelni, Instytut Informatyki
Mail: N.A.Linh@mimuw.edu.pl
Telefon: 55-44-440
Pokój: 4400
Strona internetowa: http://www.mimuw.edu.pl/~nguyen
Inne informacje: Strona pracownika w USOSweb
Terminy konsultacji dla studentów: poniedziałek, 14:15 - 15:15

Publikacje

Publikacje (131)

Dziedziny badań

Bazy danych
Dedukcyjne bazy danych
Inżynieria oprogramowania
Programowanie w logice, logiki multimodalne
Logika w informatyce
Logiki modalne, logiki dla baz danych
Sztuczna inteligencja i systemy wieloagentowe
Logika modalna, logika deskrypcyjna, wnioskowanie automatyczne, dedukcyjne bazy danych

Granty

Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
Finansowany przez: Narodowe Centrum Nauki
Teoria programowania w logikach modalnych i deskrypcyjnych
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego