Items where Author is "Urban, Josef"
Group by: Item Type | No Grouping Jump to: Book Section | Conference or Workshop Item Number of items: 4. Book SectionZombori, Zsolt and Urban, Josef and Olšák, Miroslav (2021) The Role of Entropy in Guiding a Connection Prover. In: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (12842). Springer Nature Switzerland AG. (Springer Nature), Cham, pp. 1-19. ISBN 978-3-030-86058-5 (softcover); 978-3-030-86059-2 (eBook) Zombori, Zsolt and Csiszárik, Adrián and Michalewski, Henryk and Kaliszyk, Cezary and Urban, Josef (2021) Towards Finding Longer Proofs. In: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (12842). Springer Nature Switzerland AG. (Springer Nature), Cham, pp. 1-25. ISBN 978-3-030-86058-5 (softcover); 978-3-030-86059-2 (eBook) Conference or Workshop ItemZombori, Zsolt and Urban, Josef (2020) Learning Complex Actions from Proofs in Theorem Proving. In: 5th Conference on Artificial Intelligence and Theorem Proving, 2020.09.13-2020.09.19, Aussois. Zombori, Zsolt and Csiszárik, Adrián and Michalewski, Henryk and Kaliszyk, Cezary and Urban, Josef (2020) Update on FLoP, a Reinforcement Learning based Theorem Prover. In: 5th Conference on Artificial Intelligence and Theorem Proving, 2020.09.13-2020.09.19, Aussois. |