| MaLARea SG1-machine learner for automated reasoning with semantic guidance J Urban, G Sutcliffe, P Pudlák, J Vyskočil International Joint Conference on Automated Reasoning, 441-456, 2008 | 165 | 2008 |
| MaLeCoP machine learning connection prover J Urban, J Vyskočil, P Štěpánek International Conference on Automated Reasoning with Analytic Tableaux and …, 2011 | 93 | 2011 |
| Efficient semantic features for automated reasoning over large theories C Kaliszyk, J Urban, J Vyskocil Palo Alto: AAAI Press, 2015 | 74 | 2015 |
| Learning to parse on aligned corpora (rough diamond) C Kaliszyk, J Urban, J Vyskočil Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015 | 35 | 2015 |
| Theorem proving in large formal mathematics as an emerging AI field J Urban, J Vyskočil Automated Reasoning and Mathematics: Essays in Memory of William W. McCune …, 2013 | 35 | 2013 |
| The digital twin as a core component for industry 4.0 smart production planning P Novák, J Vyskočil, B Wally IFAC-PapersOnLine 53 (2), 10803-10809, 2020 | 32 | 2020 |
| Certified connection tableaux proofs for HOL Light and TPTP C Kaliszyk, J Urban, J Vyskočil Proceedings of the 2015 Conference on Certified Programs and Proofs, 59-66, 2015 | 32 | 2015 |
| Flexible production systems: Automated generation of operations plans based on ISA-95 and PDDL B Wally, J Vyskočil, P Novák, C Huemer, R Šindelár, P Kadera, A Mazak, ... IEEE Robotics and Automation Letters 4 (4), 4062-4069, 2019 | 31 | 2019 |
| Automating formalization by statistical and semantic parsing of mathematics C Kaliszyk, J Urban, J Vyskočil Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 30 | 2017 |
| Machine learner for automated reasoning 0.4 and 0.5 C Kaliszyk, J Urban, J Vyskočil arXiv preprint arXiv:1402.2359, 2014 | 29 | 2014 |
| System description: ET 0.1 C Kaliszyk, S Schulz, J Urban, J Vyskočil International Conference on Automated Deduction, 389-398, 2015 | 28 | 2015 |
| Developing corpus-based translation methods between informal and formal mathematics: Project description C Kaliszyk, J Urban, J Vyskočil, H Geuvers International Conference on Intelligent Computer Mathematics, 435-439, 2014 | 28 | 2014 |
| Leveraging iterative plan refinement for reactive smart manufacturing systems B Wally, J Vyskočil, P Novák, C Huemer, R Šindelář, P Kadera, ... IEEE Transactions on Automation Science and Engineering 18 (1), 230-243, 2020 | 27 | 2020 |
| Automated proof compression by invention of new definitions J Vyskočil, D Stanovský, J Urban Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010 | 24 | 2010 |
| Production Planning with IEC 62264 and PDDL B Wally, J Vyskočil, P Novák, C Huemer, R Šindelář, P Kadera, A Mazak, ... 2019 IEEE 17th international conference on industrial informatics (INDIN) 1 …, 2019 | 23 | 2019 |
| Digitalized automation engineering of Industry 4.0 production systems and their tight cooperation with digital twins P Novák, J Vyskočil Processes 10 (2), 404, 2022 | 22 | 2022 |
| Plan executor mes: manufacturing execution system combined with a planner for Industry 4.0 production systems P Novák, J Vyskočil, P Kadera Industrial Applications of Holonic and Multi-Agent Systems: 9th …, 2019 | 15 | 2019 |
| Calibrating industrial robots with absolute position tracking system P Novák, Š Stoszek, J Vyskočil 2020 25th IEEE international conference on emerging technologies and factory …, 2020 | 14 | 2020 |
| A digital twin-based distributed manufacturing execution system for industry 4.0 with ai-powered on-the-fly replanning capabilities J Vyskočil, P Douda, P Novák, B Wally Sustainability 15 (7), 6251, 2023 | 11 | 2023 |
| Lemmatization for stronger reasoning in large theories C Kaliszyk, J Urban, J Vyskočil Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015 | 11 | 2015 |
Josef UrbanDistinguished Researcher at Czech Technical University in Prague在 cvut.cz 的电子邮件经过验证
