Roman Barták
发表
Roman Barták,
Vladimír Rovenský,
R. Barták,
2012,
MICAI.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2015,
PPDP.
T. L. McCluskey,
Roman Barták,
Simone Fratini,
2010,
AI Mag..
Roman Barták,
Jindrich Vodrázka,
Jirí Svancara,
2020,
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
Filip Dvořák,
Daniel Toropila,
2015,
J. Exp. Theor. Artif. Intell..
Roman Barták,
R. Barták,
2011,
SCAI.
Lukás Chrpa,
Agostino Dovier,
Roman Barták,
2017,
Sci. Comput. Program..
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem
Roman Barták,
Ondrej Kuzelka,
Filip Zelezný,
2010,
Abstraction, Reformulation, and Approximation.
Roman Barták,
Marta Vomlelová,
R. Barták,
2017,
FLAIRS.
Roman Barták,
Pavel Surynek,
Ondrej Cepek,
2007,
2007 IEEE Symposium on Computational Intelligence in Scheduling.
Roman Barták,
Hana Rudová,
2005,
SAC '05.
Roman Barták,
2000
.
T. L. McCluskey,
Roman Barták,
R. Barták,
2010,
AI Mag..
Roman Barták,
Marek Vlk,
R. Barták,
2015
.
Roman Barták,
2009,
FLAIRS Conference.
Roman Barták,
Jirí Kucera,
R. Barták,
2018,
PKAW.
Roman Barták,
Matematicko-Fyzikální Fakulta,
EXPERTNê Systmy ZALOëEN,
1999
.
Roman Barták,
Pavel Surynek,
Ondrej Cepek,
2010,
Ann. Oper. Res..
Roman Barták,
1999
.
Roman Barták,
Jindrich Vodrázka,
R. Barták,
2016,
ICAART.
Roman Barták,
Jindrich Vodrázka,
R. Barták,
2016,
FLAIRS Conference.
Roman Barták,
Pavel Surynek,
R. Barták,
2004,
CP.
Roman Barták,
Hana Rudová,
2008
.
Roman Barták,
2013,
FLAIRS Conference.
Roman Barták,
Daniel Toropila,
Otakar Trunda,
2012,
2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Roman Barták,
2005,
Artif. Intell..
Roman Barták,
Ondrej Cepek,
Petr Vilím,
2005,
Constraints.
Roman Barták,
Jindrich Vodrázka,
Lukáš Chrpa,
2022,
IEEE Transactions on Knowledge and Data Engineering.
Roman Barták,
Ondrej Cepek,
Petr Vilím,
2004,
CP.
Roman Barták,
Ondrej Cepek,
2006,
ICAPS.
Roman Barták,
Vladimír Rovenský,
Milan Jaska,
2012,
ECAI.
Roman Barták,
Tomás Dvorák,
2016,
MICAI.
Roman Barták,
Josef Zlomek,
2005,
CP.
Roman Barták,
R. Barták,
2007,
SARA.
Roman Barták,
Jirí Svancara,
2019,
ICAART.
Roman Barták,
Daniel Toropila,
2009,
CPAIOR.
Roman Barták,
Neng-Fa Zhou,
Roni Stern,
2017,
2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
Neng-Fa Zhou,
2017,
ICLP.
Roman Barták,
Jirí Svancara,
2019,
SOCS.
Roman Barták,
2006,
FLAIRS Conference.
Roman Barták,
2005,
CSCLP.
Roman Barták,
Daniel Toropila,
Filip Dvorak,
2013,
SARA.
Amedeo Cesta,
Roman Barták,
Miguel A. Salido,
2007
.
Roman Barták,
R. Barták,
1998
.
Roman Barták,
Ondrej Cepek,
Martin Hejna,
2008,
CSCLP.
Roman Barták,
2004,
IEEE Intell. Informatics Bull..
Roman Barták,
Pavel Surynek,
R. Barták,
2005,
FLAIRS.
Roman Barták,
2002,
SOFSEM.
Roman Barták,
2000
.
Zdenek Hanzálek,
Roman Barták,
Marek Vlk,
2017,
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Roman Barták,
Petr Stepánek,
1997,
Kybernetika.
Roman Barták,
1999
.
Roman Barták,
Vladislav Kubon,
R. Barták,
2016,
FLAIRS Conference.
T. L. McCluskey,
Roman Barták,
R. Barták,
2008
.
Roman Barták,
Pavel Cejnar,
2005,
CP.
Roman Barták,
Filip Matzner,
2015,
MICAI.
Roman Barták,
Otakar Trunda,
2014,
MetaSel@ECAI.
T. L. McCluskey,
Amedeo Cesta,
Roman Barták,
2010,
Knowl. Eng. Rev..
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2016,
CILC.
Roman Barták,
Gregor Behnke,
Pascal Bercher,
2020,
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
2009,
2009 IEEE Symposium on Computational Intelligence in Scheduling.
Roman Barták,
Daniel Toropila,
2008,
FLAIRS Conference.
Roman Barták,
2001
.
Roman Barták,
Hana Rudová,
Tomás Müller,
2003,
CSCLP.
Roman Barták,
Ondrej Cepek,
2006,
2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06).
Roman Barták,
Zdravko Markov,
Keith W. Brawner,
2018,
AI Mag..
Francesca Rossi,
Roman Barták,
Miguel A. Salido,
2010,
The Knowledge Engineering Review.
Roman Barták,
Neng-Fa Zhou,
R. Barták,
2014,
Theory and Practice of Logic Programming.
Lukás Chrpa,
Roman Barták,
2016,
KR.
Lukás Chrpa,
Roman Barták,
R. Barták,
2009,
SARA.
Roman Barták,
Stefan Edelkamp,
2014,
SOCS.
T. L. McCluskey,
Roman Barták,
2007,
Knowl. Eng. Rev..
Roman Barták,
Ondrej Cepek,
R. Barták,
2007,
FLAIRS.
Roman Barták,
Miguel A. Salido,
Antonio Garrido,
2008,
Eng. Appl. Artif. Intell..
Roman Barták,
2000
.
Roman Barták,
David Obdrzálek,
2018,
FLAIRS Conference.
Roman Barták,
Adrien Maillard,
2017,
PPDP.
Roman Barták,
David Obdrzálek,
2014,
FLAIRS Conference.
Roman Barták,
2000
.
Roman Barták,
Neng-Fa Zhou,
Roni Stern,
2018,
SOCS.
Roman Barták,
Maroš Kasinec,
Michal Koutný,
2015
.
Roman Barták,
Jirí Svancara,
Ivan Krasicenko,
2019,
IJCAI.
Roman Barták,
Keith Brawner,
R. Barták,
2019,
FLAIRS Conference.
Roman Barták,
Markus Zanker,
Marius-Calin Silaghi,
2006,
IACR Cryptol. ePrint Arch..
Roman Barták,
Hana Rudová,
Tomás Müller,
2004,
PATAT.
Roman Barták,
R. Barták,
2014,
Computing Handbook, 3rd ed..
Roman Barták,
Ondrej Cepek,
2006,
CSCLP.
Roman Barták,
Keith Brawner,
Vasile Rus,
2019,
AI Mag..
Roman Barták,
Martin Kolombo,
2014,
MICAI.
Roman Barták,
R. Barták,
2011
.
Roman Barták,
Kristen Brent Venable,
Robert A. Morris,
2014,
An Introduction to Constraint-Based Temporal Reasoning.
Roman Barták,
R. Barták,
2008,
Comput. Sci. Rev..
Roman Barták,
1999
.
Julian Togelius,
Jichen Zhu,
Scott Sanner,
2018,
AI Mag..
Roman Barták,
Neil Yorke-Smith,
Miguel A. Salido,
2010
.
Roman Barták,
Jirí Svancara,
Ivan Krasicenko,
2019,
AAMAS.
Roman Barták,
Jindrich Vodrázka,
R. Barták,
2015,
RCRA@AI*IA.
Roman Barták,
Stanislav Slusny,
Michal Zerola,
2011,
ICAART.
Roman Barták,
Michal Sumbera,
Jérôme Lauret,
2009,
2009 21st IEEE International Conference on Tools with Artificial Intelligence.
Roman Barták,
Andrej Chovanec,
2011,
MICAI.
Roman Barták,
Miguel A. Salido,
2011,
Constraints.
Roman Barták,
2001,
ArXiv.
Roman Barták,
Cyril Brom,
Martin Cerný,
2014,
AIIDE.
Roman Barták,
Tomás Balyo,
2015,
SOCS.
Roman Barták,
Pavel Surynek,
Tomás Balyo,
2012,
SOCS.
Roman Barták,
R. Barták,
2000
.
Roman Barták,
Daniel Toropila,
Cyril Brom,
2012,
FLAIRS Conference.
Roman Barták,
1999,
New Trends in Constraints.
Roman Barták,
2000,
Electron. Notes Discret. Math..
Roman Barták,
Andrej Chovanec,
R. Barták,
2011,
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
Kenneth N. Brown,
Toby Walsh,
Amedeo Cesta,
2003
.
Lukás Chrpa,
Roman Barták,
Jindrich Vodrázka,
2020,
ICAART.
Roman Barták,
Roman Barták,
2000
.
Roman Barták,
Pavel Surynek,
R. Barták,
2005,
CP.
Roman Barták,
2016,
SOFSEM.
Roman Barták,
Otakar Trunda,
R. Barták,
2013,
MICAI.
Roman Barták,
Hana Rudová,
2001
.
Rafael Cauê Cardoso,
Roman Barták,
Adrien Maillard,
2018,
ICAPS.
Roman Barták,
R. Barták,
2018,
ICAART.
Roman Barták,
Daniel Toropila,
R. Barták,
2009,
FLAIRS.
Roman Barták,
2010,
MICAI.
Roman Barták,
R. Barták,
2010,
AIMSA.
Roman Barták,
Tomás Müller,
2001,
ArXiv.
Roman Barták,
Pavel Surynek,
Tomás Balyo,
2012,
2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Roman Barták,
Jerome Lauret,
Michal Sumbera,
2012
.
Roman Barták,
Andrej Chovanec,
R. Barták,
2012,
AIMSA.
Roman Barták,
Michela Milano,
2005
.
Roman Barták,
Daniel Toropila,
2009,
SARA.
Roman Barták,
Radek Erben,
R. Barták,
2004,
FLAIRS.
Roman Barták,
Pavel Surynek,
2007,
FLAIRS Conference.
Roman Barták,
Neng-Fa Zhou,
Roni Stern,
2017,
SOCS.
Roman Barták,
David Obdrzálek,
Andrej Hrasko,
2014,
FLAIRS.
Roman Barták,
2002,
International Workshop on Constraint Solving and Constraint Logic Programming.
Roman Barták,
R. Barták,
2008
.
Roman Barták,
Ondrej Kuzelka,
Filip Zelezný,
2013,
Constraints.
Roman Barták,
R. Barták,
2003,
Ann. Oper. Res..
Roman Barták,
R. Barták,
2016,
Theory and Practice of Logic Programming.
Roman Barták,
Cyril Brom,
Jakub Gemrot,
2013,
ICAART.
Roman Barták,
Neng-Fa Zhou,
2013,
MICAI.
Roman Barták,
Jindrich Vodrázka,
R. Barták,
2016,
Fundam. Informaticae.
Roman Barták,
Con Sheahan,
Ann Sheahan,
2012,
SOFSEM.
Roman Barták,
Cyril Brom,
Jakub Gemrot,
2016,
Comput. Intell..
T. L. McCluskey,
Roman Barták,
Simone Fratini,
2013,
The Knowledge Engineering Review.
Roman Barták,
Roman Mecl,
R. Barták,
2003,
CSCLP.
Roman Barták,
2004,
INAP/WLP.
Roman Barták,
Michela Milano,
2005,
CPAIOR.
Roman Barták,
Marek Vlk,
R. Barták,
2015,
ICAART.
Roman Barták,
Adrien Maillard,
Rafael C. Cardoso,
2019
.
Roman Barták,
Michela Milano,
2006,
Constraints.
Roman Barták,
Marek Vlk,
R. Barták,
2016,
MICAI.
Roman Barták,
Michal Sumbera,
Jérôme Lauret,
2009,
2009 10th IEEE/ACM International Conference on Grid Computing.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2016,
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
2003
.
Roman Barták,
Jan Jelínek,
2016,
PADL.
Roman Barták,
R. Barták,
1997,
PACT.
Roman Barták,
Miguel A. Salido,
2015
.
Lukás Chrpa,
Roman Barták,
2008,
SCAI.
Roman Barták,
2020
.
Roman Barták,
Otakar Trunda,
R. Barták,
2020,
ICAART.
Roman Barták,
Daniel Toropila,
2010,
Fundam. Informaticae.
Roman Barták,
Jirí Svancara,
Vera Skopková,
2018,
IBERAMIA.
Lukás Chrpa,
Roman Barták,
R. Barták,
2008,
FLAIRS.
Roman Barták,
Daniel Toropila,
2009,
ISMIS.
Roman Barták,
Stefan Edelkamp,
2014
.
Roman Barták,
R. Barták,
2009,
Encyclopedia of Artificial Intelligence.
Using constraint programming to resolve the multi-source/multi-site data movement paradigm on the Grid
pdf
Roman Barták,
Michal Sumbera,
Jérôme Lauret,
2009,
ArXiv.
Roman Barták,
Jirí Svancara,
Roni Stern,
2019,
AAAI.
Roman Barták,
2011,
FLAIRS Conference.
Roman Barták,
Thomas Leo McCluskey,
R. Barták,
2005
.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2015,
Theory and Practice of Logic Programming.
Roman Barták,
Filip Dvorak,
R. Barták,
2010,
2010 22nd IEEE International Conference on Tools with Artificial Intelligence.
Roman Barták,
Marek Vlk,
R. Barták,
2015,
ICAART.
Roman Barták,
Vladislav Kubon,
2016,
MICAI.
Roman Barták,
Miguel A. Salido,
2016,
Knowl. Eng. Rev..
Julian Togelius,
Jichen Zhu,
Scott Sanner,
2017,
AI Mag..
Roman Barták,
Toshinori Munakata,
R. Barták,
2010,
Artificial Intelligence Review.
Roman Barták,
Ondrej Cepek,
2008,
SAC '08.
Roman Barták,
Jan Skoda,
2015,
FLAIRS Conference.
Roman Barták,
R. Barták,
1999
.
Roman Barták,
Jindrich Vodrázka,
R. Barták,
2015,
2015 Conference on Technologies and Applications of Artificial Intelligence (TAAI).
Roman Barták,
Markus Zanker,
Marius-Calin Silaghi,
2005,
FLAIRS.
Francesca Rossi,
Roman Barták,
Miguel A. Salido,
2010,
J. Intell. Manuf..
Roman Barták,
Michal Sumbera,
Michal Zerola,
2010
.
Roman Barták,
Jirí Svancara,
Vera Skopková,
2020,
ICAART.
Roman Barták,
Con Sheahan,
James Little,
2010,
J. Intell. Manuf..
Roman Barták,
2002,
ECAI.
Roman Barták,
Jirí Svancara,
Ivan Krasicenko,
2020,
AAAI.
Roman Barták,
Jiri Svancara,
Marek Vlk,
2018,
AAMAS.
Roman Barták,
Michal Sumbera,
Jérôme Lauret,
2009,
ArXiv.
Roman Barták,
Jan Skoda,
2017,
ROBOT.
Roman Barták,
Adam Vykovsky,
R. Barták,
2015,
2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI).
Roman Barták,
Félix Ingrand,
Malik Ghallab,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Roman Barták,
Neng-Fa Zhou,
Roni Stern,
2020,
J. Artif. Intell. Res..
Roman Barták,
Hana Rudová,
2010,
J. Sched..
Roman Barták,
Ondrej Cepek,
2008,
AIMSA.
Roman Barták,
David Obdržálek,
Andrej Hrasko,
2014,
ICEC 2014.
Roman Barták,
Petr Vilm,
2002
.
Roman Barták,
Toshinori Munakata,
R. Barták,
2006
.
Roman Barták,
Vladimír Rovenský,
R. Barták,
2014,
Expert Syst. Appl..
Roman Barták,
2002,
CP.
Roman Barták,
Ondrej Cepek,
2006,
ICTAI.
Roman Barták,
R. Barták,
2005
.
Roman Barták,
Rudolf Kadlec,
Cyril Brom,
2012,
AIIDE.
Roman Barták,
R. Barták,
2008
.
Roman Barták,
David Obdrzálek,
Michal Koutný,
2016,
IJCAI.
Roman Barták,
Jindrich Vodrázka,
2014,
AIMSA.
Roman Barták,
2007
.
Roman Barták,
2009
.
Roman Barták,
Petr Vilím,
R. Barták,
2002,
AIPS.
Roman Barták,
R. Barták,
2009
.
Roman Barták,
Ondrej Kuzelka,
Filip Zelezný,
2010,
FLAIRS.
Roman Barták,
Jakub Mestek,
2021,
AAAI.
Roman Barták,
Gregor Behnke,
Pascal Bercher,
2021,
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
Kristýna Pantůčková,
2021,
FLAIRS Conference.
Roman Barták,
Gregor Behnke,
Pascal Bercher,
2021,
KR.
Meir Kalech,
Roman Barták,
Michal Nekvinda,
2021,
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
Marika Ivanová,
Jiří Švancara,
2021,
FLAIRS Conference.
Roman Barták,
Jirí Svancara,
Marika Ivanová,
2021,
SOCS.
Roman Barták,
Věra Škopková,
David Nohejl,
2018
.
Roman Barták,
2006
.
Roman Barták,
Radek Erben,
R. Barták,
2003
.
Roman Barták,
Hana Rudová,
Tomáš Müller,
2003
.
Roman Barták,
R. Barták,
2001
.
Roman Barták,
2003
.
Roman Barták,
Michal Zerola,
Jérôme Lauret,
2009
.
Roman Barták,
R. Barták,
2011
.
Roman Barták,
Daniel Toropila,
2010
.
Roman Barták,
Hana Rudová,
Tomáš Müller,
2004
.
Roman Barták,
2004
.
Roman Barták,
R. Barták,
1999
.
Roman Barták,
2002
.
Roman Barták,
R. Barták,
1997
.
Roman Barták,
Ondřej Čepek,
R. Barták,
2010
.
Roman Barták,
R. Barták,
2002
.
Roman Barták,
Charles,
R. Barták,
2003
.
Roman Barták,
Roman Mecl,
2003
.