mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 26 elem 3 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
1.
Zsolt, Zombori
;
Agapi, Rissaki
;
Kristóf, Szabó
;
Wolfgang, Gatterbauer
;
Michael, Benedikt
Towards Unbiased Exploration in Partial Label Learning
JOURNAL OF MACHINE LEARNING RESEARCH
submitted
p. &
(2024)
arXiv
Közlemény:34996402
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34996402]
[Nyilvános]
2.
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 Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 3
| Független: 2 | Függő: 1 | Nem jelölt: 0
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34130667]
[Admin láttamozott]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
3.
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]
4.
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]
5.
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 Idéző
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos
[32530209]
[Admin láttamozott]
6.
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: 13
| Független: 8 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 9 | WoS/Scopus jelölt: 9 | DOI jelölt: 7 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32529820]
[Egyeztetett]
Nyilvános idéző összesen: 13, Független: 8, Függő: 5, Nem jelölt: 0
7.
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: 21
| Független: 17 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 12 | WoS/Scopus jelölt: 12 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32529801]
[Admin láttamozott]
Nyilvános idéző összesen: 21, Független: 17, Függő: 4, Nem jelölt: 0
8.
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]
9.
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]
10.
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]
2024-09-20 05:33
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás