Skip to main content

Frantisek Simancik

Personal photo - Frantisek Simancik

Frantisek Simancik

Doctoral Student

Interests

My research focuses on practical consequence-based algorithms for Description Logics, particularly on reasoning in EL and its extensions by non-Horn constructors, such as disjunctions and cardinality constraints.

list of publications

Selected Publications

View AllManage publications

Activities

Supervisor