University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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

SHARE THIS: