dr hab. Anh Linh Nguyen profesor uczelni

Wydział Matematyki, Informatyki i Mechaniki


Dyscyplina naukowa:

informatyka

Zainteresowania badawcze:

Jestem zainteresowany automatycznym wnioskowaniem i regułowymi językami zapytań w logikach deskrypcyjnych i modalnych. Moje obszary zainteresowań naukowych obejmują również przetwarzanie zapytań w logice klasycznej, zagadnienia związane z bysimulacją takie jak uczenie się pojęć w logikach deskrypcyjnych, oraz logiki rozmyte.

description of research interests:

I am interested in automated reasoning and rule-based query languages in modal and description logics. My research areas also include query processing in classical logic, topics related to bisimulation like concept learning in description logics, as well as fuzzy logics.

Realizowane projekty:

brak

research projects implemented:

none

USOSweb

Słowa kluczowe:

logiki deskrypcyjne, logiki modalne, automatyczne wnioskowanie, regułowe języki zapytań

Słowa kluczowe:

description logics, modal logics, automated reasoning, rule-based query languages

Kontakt:

pokaż


« Wstecz