Seminarium o logikach deskryptywnych w Instytucie Informatyki UO

26 czerwca 2025 r. w Instytucie Informatyki Uniwersytetu Opolskiego odbyło się seminarium naukowe poświęcone logikom deskryptywnym oraz projektowi UnifDL – Automation of the Problem of Unification in Description Logics. Seminarium zorganizowano w ramach działań badawczych zespołu realizującego projekt w Instytucie Informatyki UO.

Wykłady wygłosili członkowie zespołu UnifDL:
dr hab. Barbara Morawska, prof. UO – kierownik projektu,
dr Sławomir Kost,
doktorant Dariusz Marzec,
oraz student informatyki Michał Henne.

Udostępnij post

Przejdź do treści