University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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

Info

Themes

Activities

Supervisor

Manage publications