1.
Michael, Rawson ; Christoph, Wernhard ; Zsolt, Zombori ; Wolfgang, Bibel
Lemmas: Generation, Selection, Application
In: Revantha, Ramanayake; Josef, Urban (szerk.) Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Cham, Svájc : Springer Switzerland (2023) 455 p. pp. 153-174. , 22 p.
DOI REAL Egyéb URL arXiv
Zárolt Közlemény:34130667 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34130667] [Admin láttamozott]
2.
Czifra, Domonkos ; Csoka, Endre ; Zombori, Zsolt ; Makay, Geza
Towards solving the 7-in-a-row game
In: Burelli, Paolo; Sicart, Miguel (szerk.) 2021 IEEE Conference on Games (CoG)
New York, Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 01-08. , 8 p.
DOI WoS Scopus Egyéb URL
Közlemény:32574859 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32574859] [Egyeztetett]
3.
Gergő, Csaba Kertész ; Gergely, Papp ; Péter, Szeredi ; Dániel, Varga ; Zsolt, Zombori
Ordering Subgoals in a Backward Chaining Prover
In: Editor (szerk.) Proceedings of The 6th Conference on Artificial Intelligence and Theorem
(2021) Paper: #14
REAL Teljes dokumentum
Közlemény:32530214 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[32530214] [Nyilvános]
4.
Kristóf, Szabó ; Zsolt, Zombori
Dreaming to Prove
In: Editor (szerk.) Proceedings of The 6th Conference on Artificial Intelligence and Theorem
(2021) Paper: 25 , 4 p.
REAL Egyéb URL Teljes dokumentum
Közlemény:32530209 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[32530209] [Admin láttamozott]
5.
Zombori, Z. ✉ ; Urban, J. ; Olšák, M.
The Role of Entropy in Guiding a Connection Prover
In: Das, A.; Negri, S. (szerk.) 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021
Springer Science+Business Media (2021) pp. 218-235. , 18 p.
DOI WoS REAL Scopus
Közlemény:32529820 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos[32529820] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
6.
Zombori, Z. ✉ ; Csiszárik, A. ; Michalewski, H. ; Kaliszyk, C. ; Urban, J.
Towards Finding Longer Proofs
In: Das, A.; Negri, S. (szerk.) 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, co-located with the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021
Springer Science+Business Media (2021) pp. 167-186. , 20 p.
DOI WoS REAL Scopus arXiv
Közlemény:32529801 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[32529801] [Admin láttamozott]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
7.
Zsolt, Zombori ; Josef, Urban
Learning Complex Actions from Proofs in Theorem Proving
In: AITP 2020 - 5th Conference on Artificial Intelligence and Theorem Proving : Abstracts of the Talks
(2020) pp. 112-118. , 7 p.
REAL Teljes dokumentum
Közlemény:31670485 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[31670485] [Nyilvános]
8.
Zsolt, Zombori ; Adrián, Csiszárik ; Henryk, Michalewski ; Cezary, Kaliszyk and Josef Urban
Update on FLoP, a Reinforcement Learning based Theorem Prover
In: AITP 2020 - 5th Conference on Artificial Intelligence and Theorem Proving : Abstracts of the Talks
(2020) pp. 107-111. , 5 p.
REAL Teljes dokumentum
Közlemény:31670480 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[31670480] [Nyilvános]
9.
Zombori, Zsolt
Towards Finding Longer Proofs
DAGSTUHL SEMINAR PROCEEDINGS 9 : 9 p. 16 (2020)
DOI
Közlemény:31404516 Admin láttamozott Forrás Folyóiratcikk (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Folyóiratcikk) | Tudományos[31404516] [Admin láttamozott]
10.
Zombori, Z. ✉ ; Urban, J. ; Brown, C.E.
Prolog Technology Reinforcement Learning Prover: (System Description)
In: Peltier, Nicolas; Sofronie-Stokkermans, Viorica (szerk.) Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Cham, Svájc : Springer Netherlands (2020) 528 p. pp. 489-507. , 19 p.
DOI REAL WoS Scopus
Közlemény:31404494 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 16 | Független: 14 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 11 | WoS/Scopus jelölt: 16 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[31404494] [Admin láttamozott]
Nyilvános idéző összesen: 16, Független: 14, Függő: 2, Nem jelölt: 0
2024-05-08 17:14