Frantisek Simancik

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 4

Top Venues

Description Logics

CoRR

Artif. Intell.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63 (2018)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. KR (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. CoRR (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SHIQ. Description Logics (2015)
Frantisek Simancik, Boris Motik, Ian Horrocks
Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209 (2014)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. 53 (1) (2014)
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
Description Logics. IEEE Intell. Syst. 29 (1) (2014)
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
Practical Reasoning with Nominals in the EL Family of Description Logics. KR (2012)
Frantisek Simancik
Elimination of Complex RIAs without Automata. Description Logics (2012)
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
A Description Logic Primer CoRR (2012)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
ELK Reasoner: Architecture and Evaluation. ORE (2012)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
Unchain My EL Reasoner. Description Logics (2011)
Frantisek Simancik, Boris Motik, Markus Krötzsch
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics (2011)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
Concurrent Classification of EL Ontologies. ISWC (1) (2011)
Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks
Consequence-Based Reasoning beyond Horn Ontologies. IJCAI (2011)

Frantisek Simancik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frantisek Simancik