Jan Jakubuv
Title
Cited by
Cited by
Year
ENIGMA: efficient learning-based inference guiding machine
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 292-302, 2017
422017
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
272019
Generating multi-agent plans by distributed intersection of finite state machines
J Tožička, J Jakůbuv, A Komenda
Proceedings of the Twenty-first European Conference on Artificial …, 2014
272014
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
192016
BliStrTune: hierarchical invention of theorem proving strategies
J Jakubův, J Urban
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
162017
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
Hammering Mizar by learning clause guidance
J Jakubův, J Urban
arXiv preprint arXiv:1904.01677, 2019
122019
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
122015
Validation of an air-traffic controller behavioral model for fast time simulation
P Volf, J Jakubův, L Koranda, D Šišlák, M Pěchouček, S Mereu, B Hilburn, ...
2014 Integrated Communications, Navigation and Surveillance Conference (ICNS …, 2014
122014
Multiagent Planning by Plan Set Intersection and Plan Verification.
J Jakubuv, J Tozicka, A Komenda
ICAART (2), 173-182, 2015
112015
Enhancing ENIGMA given clause guidance
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 118-124, 2018
102018
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
102018
Extending E prover with similarity based clause selection strategies
J Jakubův, J Urban
International Conference on Intelligent Computer Mathematics, 151-156, 2016
92016
Hierarchical invention of theorem proving strategies
J Jakubův, J Urban
AI Communications 31 (3), 237-250, 2018
82018
On internally dependent public actions in multiagent planning
J Tozicka, J Jakubuv, A Komenda
Distributed and multi-agent planning (DMAP-15) 18, 2015
72015
Expressiveness of generic process shape types
J Jakubův, JB Wells
International Symposium on Trustworthy Global Computing, 103-119, 2010
72010
ProofWatch meets ENIGMA: first experiments
Z Goertzel, J Jakubuv, J Urban
LPAR-22 Workshop and Short Paper Proceedings 9, 15-22, 2018
52018
Recursive polynomial reductions for classical planning
J Tozicka, J Jakubuv, M Svatos, A Komenda
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
52016
ENIGMAWatch: ProofWatch Meets ENIGMA
Z Goertzel, J Jakubův, J Urban
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
42019
Multiagent planning by iterative negotiation over distributed planning graphs
J Tozicka, J Jakubuv, K Durkota, A Komenda
Proceedings of the Workshop on Distributed and Mutiltiagent Planning (ICAPS …, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20