Jan Jakubuv
Název
Citace
Citace
Rok
ENIGMA: efficient learning-based inference guiding machine
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 292-302, 2017
642017
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for E
K Chvalovský, J Jakubův, M Suda, J Urban
International Conference on Automated Deduction, 197-215, 2019
492019
Generating multi-agent plans by distributed intersection of finite state machines
J Tožička, J Jakubův, A Komenda
ECAI 2014, 1111-1112, 2014
312014
Hammering Mizar by learning clause guidance
J Jakubův, J Urban
arXiv preprint arXiv:1904.01677, 2019
272019
ENIGMA anonymous: Symbol-independent inference guiding machine (system description)
J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban
International Joint Conference on Automated Reasoning, 448-463, 2020
232020
Privacy-concerned multiagent planning
J Tožička, J Jakubův, A Komenda, M Pěchouček
Knowledge and Information Systems 48 (3), 581-618, 2016
212016
Enhancing ENIGMA given clause guidance
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 118-124, 2018
202018
BliStrTune: hierarchical invention of theorem proving strategies
J Jakubův, J Urban
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
202017
First neural conjecturing datasets and experiments
J Urban, J Jakubův
International Conference on Intelligent Computer Mathematics, 315-323, 2020
152020
Validation of an air-traffic controller behavioral model for fast time simulation
P Volf, J Jakubu̇v, L Koranda, D S̆is̆́lák, M Pĕchouc̆ek, S Mereu, ...
2014 Integrated Communications, Navigation and Surveillance Conference (ICNS …, 2014
152014
Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions.
J Tozicka, J Jakubuv, K Durkota, A Komenda, M Pechoucek
ICAART (1), 178-189, 2014
152014
Hierarchical invention of theorem proving strategies
J Jakubův, J Urban
AI Communications 31 (3), 237-250, 2018
142018
ProofWatch: Watchlist guidance for large theories in E
Z Goertzel, J Jakubův, S Schulz, J Urban
International Conference on Interactive Theorem Proving, 270-288, 2018
132018
ENIGMAWatch: proofWatch meets ENIGMA
Z Goertzel, J Jakubův, J Urban
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
122019
Extending E prover with similarity based clause selection strategies
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 151-156, 2016
122016
Multiagent Planning by Plan Set Intersection and Plan Verification.
J Jakubuv, J Tozicka, A Komenda
ICAART (2), 173-182, 2015
122015
Psm-based planners description for codmap 2015 competition
J Tozicka, J Jakubuv, A Komenda
Proceedings of the competition of distributed and multi-agent planners …, 2015
112015
On internally dependent public actions in multiagent planning
J Tozicka, J Jakubuv, A Komenda
Distributed and multi-agent planning (DMAP-15) 18, 2015
82015
Expressiveness of generic process shape types
J Jakubův, JB Wells
International Symposium on Trustworthy Global Computing, 103-119, 2010
72010
Recursive polynomial reductions for classical planning
J Tozicka, J Jakubuv, M Svatos, A Komenda
Proceedings of the International Conference on Automated Planning and …, 2016
62016
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20