Jiří Vyskočil
Jiří Vyskočil
Czech Technical University in Prague
No verified email
Title
Cited by
Cited by
Year
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
1432008
MaLeCoP machine learning connection prover
J Urban, J Vyskočil, P Štěpánek
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
802011
Efficient semantic features for automated reasoning over large theories
C Kaliszyk, J Urban, J Vyskocil
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
612015
Theorem proving in large formal mathematics as an emerging AI field
J Urban, J Vyskočil
Automated Reasoning and Mathematics, 240-257, 2013
332013
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
262015
Learning to parse on aligned corpora (rough diamond)
C Kaliszyk, J Urban, J Vyskočil
International Conference on Interactive Theorem Proving, 227-233, 2015
252015
Machine learner for automated reasoning 0.4 and 0.5
C Kaliszyk, J Urban, J Vyskočil
arXiv preprint arXiv:1402.2359, 2014
242014
System description: ET 0.1
C Kaliszyk, S Schulz, J Urban, J Vyskočil
International Conference on Automated Deduction, 389-398, 2015
232015
Automating formalization by statistical and semantic parsing of mathematics
C Kaliszyk, J Urban, J Vyskočil
International Conference on Interactive Theorem Proving, 12-27, 2017
222017
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
212014
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovský, J Urban
International Conference on Logic for Programming Artificial Intelligence …, 2010
202010
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
102019
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
82019
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
72020
Engineering roles and information modeling for industry 4.0 production system engineering
P Novák, J Vyskočil, P Kadera, L Kathrein, K Meixner, D Winkler, S Biffl
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
72019
Plan executor mes: manufacturing execution system combined with a planner for Industry 4.0 production systems
P Novák, J Vyskočil, P Kadera
International Conference on Industrial Applications of Holonic and Multi …, 2019
62019
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
62017
Lemmatization for stronger reasoning in large theories
C Kaliszyk, J Urban, J Vyskočil
International Symposium on Frontiers of Combining Systems, 341-356, 2015
42015
Encoding of planning problems and their optimizations in linear logic
L Chrpa, P Surynek, J Vyskočil
Applications of Declarative Programming and Knowledge Management, 54-68, 2007
42007
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20