F. Simančík
发表
Markus Krötzsch,
Yevgeny Kazakov,
Frantisek Simancik,
2014,
J. Autom. Reason..
Boris Motik,
Markus Krötzsch,
Frantisek Simancik,
2011,
Description Logics.
M. Nosko,
R. Florek,
F. Simančík,
2010
.
P. Švec,
I. Matko,
M. Čavojský,
2016
.
J. Kováčik,
P. Tobolka,
M. Nosko,
2017
.
W. Rajner,
R. Laag,
F. Simančík,
2000
.
M. Krötzsch,
F. Simančík,
Yevgeny Kazakov,
2014,
Journal of Automated Reasoning.
C. Poletti,
F. Simancik,
M. Balog,
2011
.
C. Poletti,
H. Degischer,
M. Balog,
2010
.
P. Švec,
I. Matko,
M. Balog,
2014
.
Ian Horrocks,
Yevgeny Kazakov,
Frantisek Simancik,
2011,
IJCAI.
M. Balog,
F. Simančík,
J. Verner,
2007
.
P. Švec,
F. Simancik,
D. Janičkovič,
2012
.
M. Qian,
M. Yan,
M. Balog,
2013
.
P. Švec,
P. Štefánik,
K. Iždinský,
2014
.
A. Kokabi,
A. Gerlich,
A. Simchi,
2015
.
F. Simancik,
M. Balog,
M. Nosko,
2012
.
T. W. Clyne,
F. Simančík,
2000
.
Frantisek Simancik,
S. Wojciechowski,
Marcin Leonowicz,
2004
.
A. Kokabi,
A. Simchi,
P. Švec,
2014
.
C. Poletti,
M. Balog,
M. Walcher,
2011
.
De-Shin Liu,
M. Balog,
P. Krížik,
2014
.
M. Qian,
M. Balog,
P. Krížik,
2014
.
P. Švec,
D. Janičkovič,
M. Čavojský,
2012
.
G. Requena,
F. Simancik,
M. Balog,
2009
.
Ľ. Orovčík,
Š. Nagy,
P. Švec,
2015
.
P. Švec,
K. Iždinský,
M. Nosko,
2011
.
Markus Krötzsch,
Yevgeny Kazakov,
M. Krötzsch,
2012
.
P. Král,
M. Balog,
J. Dvořák,
2010
.
P. Štefánik,
K. Iždinský,
F. Simančík,
2014
.
I. Sevostianov,
J. Kováčik,
F. Simancik,
2006
.
J. Kováčik,
F. Simančík,
1998
.
J. Banhart,
G. Schumacher,
M. Wollgarten,
2012
.
L. Marșavina,
J. Kováčik,
Emanoil Linul,
2014
.
Ian Horrocks,
Markus Krötzsch,
Frantisek Simancik,
2012,
ArXiv.
Frantisek Simancik,
F. Simančík,
2013
.
F. Simančík,
G. Jangg,
1994
.
J. Kováčik,
F. Simančík,
J. Jerz,
2017
.
Boris Motik,
Ian Horrocks,
Bernardo Cuenca Grau,
2018,
J. Artif. Intell. Res..
M. Nosko,
R. Florek,
F. Simančík,
2011
.
T. W. Clyne,
F. Simančík,
2000
.
Frantisek Simancik,
Jaroslav Jerz,
Jaroslav Kováčik,
2003
.
P. Švec,
I. Matko,
E. Illeková,
2011
.
H. Danninger,
K. Iždinský,
F. Simančík,
2010
.
F. Rouzbahani,
H. Danninger,
F. Simančík,
2005
.
F. Simancik,
F. Simančík,
2001
.
P. Štefánik,
P. Tobolka,
F. Simančík,
2022,
Kovove Materialy-Metallic Materials.
J. Kováčik,
F. Simančík,
N. Mináriková,
2017
.
M. Balog,
A. Michalcová,
F. Simančík,
2007
.
Markus Krötzsch,
Yevgeny Kazakov,
Frantisek Simancik,
2012,
ORE.
Markus Krötzsch,
Yevgeny Kazakov,
Frantisek Simancik,
2012,
KR.
P. Švec,
M. Balog,
K. Iždinský,
2005
.
M. Balog,
K. Iždinský,
F. Simančík,
2005
.
Boris Motik,
Ian Horrocks,
Bernardo Cuenca Grau,
2016,
Description Logics.
Frantisek Simancik,
F. Simančík,
2012,
Description Logics.
Thomas Mailund,
Jotun Hein,
Rune B. Lyngsø,
2007,
Genetics.
Ján Španielka,
J. Kováčik,
P. Tobolka,
2018
.
J. Kováčik,
M. Nosko,
F. Simančík,
2021,
Processes.