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.

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.

brak

none