Frantisek Simancik
|
Frantisek Simancik
Doctoral Student
Wolfson Building, Parks Road, Oxford OX1 3QD |
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.
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
