People

RNDR. JIŘÍ VYSKOČIL, PH.D.

RNDr. Jiří Vyskočil, Ph.D.
Praha 2, Karlovo náměstí 13, E-435
+420 224 357 691
vyskoji1@fel.cvut.cz

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Learning to Parse on Aligned Corpora (Rough Diamond), detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Efficient Semantic Features for Automated Reasoning over Large Theories, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Lemmatization for Stronger Reasoning in Large Theories, detail

Kaliszyk, C., Schulz, S., Urban, J., Vyskočil, J. 2015 System Description: E.T. 0.1, detail

Železný, F., Černoch, R., Vyskočil, J. 2015 CyberCalc, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2015 Certified Connection Tableaux Proofs for HOL Light and TPTP, detail

Kaliszyk, C., Urban, J., Vyskočil, J. 2014 Machine Learner for Automated Reasoning 0.4 and 0.5, detail

Buryan, P. 2014 Refinement Action-Based Framework for Utilization of Softcomputing in Inductive Learning, detail

Kaliszyk, C., Urban, J., Vyskočil, J., Geuvers, H. 2014 Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description, detail

Urban, J., Vyskočil, J. 2013 Theorem Proving in Large Formal Mathematics as an Emerging AI Field, detail

Urban, J., Vyskočil, J., Štěpánek, P. 2013 Automatické uvažování, detail

Urban, J., Vyskočil, J. 2013 Theorem Proving in Large Formal Mathematics as an Emerging AI Field, detail

Zemanová, M. 2012 Exploiting Ontologies and Higher Order Knowledge in Relational Data Mining, detail

Urban, J., Vyskočil, J., Štěpánek, P. 2011 MaLeCoP: Machine Learning Connection Prover, detail

Vyskočil, J. 2011 MaLeCoP - Machine Learning Connection Prover, detail

Vyskočil, J., Stanovský, D., Urban, J. 2010 Automated Proof Compression by Invention of New Definitions, detail

Karel, F. 2009 Quantitative Association Rules Mining, detail

Vyskočil, J. 2009 Automated Mathematical Proof Simplifier (version 1.0), detail

Jiřina, M. 1998 Initial Setting of Weights in the Kohonen Maps, detail

Rozinek, J. 1996 Predikce časových řad neuronovými sítěmi, detail