People

MGR. JAN JAKUBŮV, PH.D.

Mgr. Jan Jakubův, Ph.D.
Praha 2, Karlovo náměstí 13, E-305
+420 224 357 677

Tožička, J., Jakubův, J., Komenda, A. 2018 Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning, detail

Jakubův, J., Urban, J. 2018 Hierarchical invention of theorem proving strategies, detail

Jakubův, J., Kaliszyk, C. 2018 Towards a Unified Ordering for Superposition-based Automated Reasoning, detail

Goertzel, Z., Jakubův, J., Urban, J. 2018 ProofWatch Meets ENIGMA: First Experiments, detail

Goertzel, Z., Jakubův, J., Schulz, S., Urban, J. 2018 ProofWatch: Watchlist Guidance for Large Theories in E, detail

Jakubův, J., Urban, J. 2018 Enhancing ENIGMA Given Clause Guidance, detail

Jakubův, J., Suda, M., Urban, J. 2017 Automated Invention of Strategies and Term Orderings for Vampire, detail

Jakubův, J., Urban, J. 2017 ENIGMA: Efficient Learning-Based Inference Guiding Machine, detail

Jakubův, J., Urban, J. 2017 BliStrTune: Hierarchical Invention of Theorem Proving Strategies, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 From Public Plans to Global Solutions in Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A., Pěchouček, M. 2016 Privacy-Concerned Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 Recursive Reductions of Internal Dependencies in Multiagent Planning, detail

Tožička, J., Jakubův, J., Svatoš, M., Komenda, A. 2016 Recursive Polynomial Reductions for Classical Planning, detail

Jakubův, J., Urban, J. 2016 Extending E Prover with Similarity Based Clause Selection Strategies, detail

Jakubův, J., Tožička, J., Komenda, A. 2015 Multiagent Planning by Plan Set Intersection and Plan Verification, detail

Tožička, J., Jakubův, J., Komenda, A. 2015 On Internally Dependent Public Actions in Multiagent Planning, detail

Tožička, J., Jakubův, J., Komenda, A. 2015 PSM-based Planners Description for CoDMAP 2015 Competition, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A. 2015 Extensibility Based Multiagent Planner with Plan Diversity Metrics, detail

Jakubův, J., Tožička, J., Komenda, A. 2015 Using Process Calculi for Plan Verification in Multiagent Planning, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A. 2014 Multiagent Planning by Iterative Negotiation over Distributed Planning Graphs, detail

Volf, P., Jakubův, J., Koranda, L., Šišlák, D., Pěchouček, M., Mereu, S., Hilburn, B., Nguyen, D.N. 2014 Validation of an Air-Traffic Controller behavioral model for fast time simulation, detail

Tožička, J., Jakubův, J., Komenda, A. 2014 Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines, detail

Tožička, J., Jakubův, J., Durkota, K., Komenda, A., Pěchouček, M. 2014 Multiagent Planning Supported by Plan Diversity Metrics and Landmark Actions, detail