General information

Mokslo tyrimai

Matematinė logika, išvedimų paieškos automatizavimas, multimodalinės logikos su sąveika.