Seguir
Jiří Vyskočil
Jiří Vyskočil
Czech Technical University in Prague
Dirección de correo verificada de cvut.cz
Título
Citado por
Citado por
Año
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
1652008
MaLeCoP machine learning connection prover
J Urban, J Vyskočil, P Štěpánek
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
912011
Efficient semantic features for automated reasoning over large theories
C Kaliszyk, J Urban, J Vyskocil
Palo Alto: AAAI Press, 2015
732015
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
352015
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
332015
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
332013
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
312017
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
302020
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
302019
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
282014
Machine learner for automated reasoning 0.4 and 0.5
C Kaliszyk, J Urban, J Vyskočil
arXiv preprint arXiv:1402.2359, 2014
282014
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
272020
System description: ET 0.1
C Kaliszyk, S Schulz, J Urban, J Vyskočil
International Conference on Automated Deduction, 389-398, 2015
272015
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovský, J Urban
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
242010
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
222019
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
192022
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
162019
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
132020
Product-process-resource asset networks as foundation for improving CPPS engineering
D Winkler, P Novák, K Meixner, J Vyskočil, F Rinker, S Biffl
2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021
102021
System description: statistical parsing of informalized Mizar formulas
C Kaliszyk, J Urban, J Vyskocil
2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017
102017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20