Zombori Zsolt - ODT Személyi adatlap


	Bejelentkezés Fórum Szervezet tisztségviselők tagintézmények határozatok alapító okirat ügyrend Doktori képzés doktori iskolák intézményenként tudományáganként azonosító alapján megszűnt oktatók név alapján kutatási téma szerint archívum témakiírások doktori iskolánként tudományáganként kutatási téma szerint témavezetések hallgatók keresése Doktori védések intézményenként tudományáganként név szerint dátum szerint doktori iskolánként Honosított fokozatok intézményenként tudományáganként név szerint dátum szerint Habilitációs előadások intézményenként tudományterületenként név szerint Dokumentumok nyilvános anyagok hírek jogszabályok útmutatók Kapcsolatok elérhetőségünk partnereink

Személyi adatlap

Nyomtatási kép

Az adatok hitelességéről nyilatkozott: 2023. IV. 28.

Személyes adatok

név	Zombori Zsolt
intézmény neve	Eötvös Loránd Tudományegyetem
doktori iskola	ELTE Matematika Doktori Iskola (témakiíró Az adott oktató valamelyik doktori iskolában kiírt doktoranduszok számára kutatási témát, amire most jelentkezni is lehet, de még nincsen témavezetett doktorandusza. )
doktori képzéssel kapcsolatos munkájának megoszlása	ELTE Matematika Doktori Iskola 100%

Elérhetőségek
drótpostacím	zomborirenyi.hu

Fokozat, cím
tudományos fokozat, cím	PhD
fokozat megszerzésének éve	2013
fokozat tudományága	informatikai tudományok
fokozatot kiadó intézmény neve	Budapesti Műszaki és Gazdaságtudományi Egyetem

Jelenlegi munkahelyek
2023 -	Eötvös Loránd Tudományegyetem egyetemi kutató
2016 -	Rényi Alfréd Matematikai Kutatóintézet további (kutató)

Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma	0
ezek közül abszolutóriumot szerzettek száma	0
témavezetettjei közül fokozatot szereztek:
	Témakiírások

Kutatás
kutatási terület	Gépi tanulás ötvözése szimbolikus/logikai módszerekkel automatikus következtetés támogatására
jelenlegi kutatásainak tudományága	matematika- és számítástudományok informatikai tudományok

Közlemények

2023

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, Springer, Cham (2023) pp. 153-174.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL

2021

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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
URL

2021

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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
URL

2021

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), Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 01-08.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL

2020

Zombori Z., Urban J., Brown C.E.: Prolog Technology Reinforcement Learning Prover: (System Description), In: Peltier, Nicolas; Sofronie-Stokkermans, Viorica (szerk.) Automated Reasoning, Springer-Verlag (2020) pp. 489-507.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 13
nyelv: angol
URL

2018

Dániel Varga, Adrián Csiszárik, Zsolt Zombori: Gradient Regularization Improves Accuracy of Discriminative Models, Schedae Informaticae 27: pp. 31-45.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
URL

2012

Zombori Zsolt, Szeredi Péter: Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving, ACTA CYBERNETICA 20: pp. 441-458.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL

2011

Zombori Zsolt: Two Phase Description Logic Reasoning for Efficient Information Retrieval, In: Gallagher, John P; Gelfond, Michael (szerk.) 27th International Conference on Logic Programming (ICLP'11), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2011) pp. 296-300.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL

2010

Zombori Zsolt: A Resolution Based Description Logic Calculus, ACTA CYBERNETICA 19: pp. 571-588.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol

2009

Zombori Zsolt, Lukácsy Gergely: A Resolution Based Description Logic Calculus, In: Boris, Motik; Bernardo, Cuenca Grau; Ian, Horrocks; Ulrike, Sattler (szerk.) Proceedings of the 22nd International Workshop on Description Logics (DL2009), (2009) pp. 27-30.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol

a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:

Tudománymetriai adatok

Tudományos közlemény- és idézőlista mycite adattárban

a 10 válogatott közlemény közé kiválasztható közleményeinek száma:

összes tudományos és felsőoktatási közleményének száma:

kiválasztható monográfiák és szakkönyvek:

monográfiák és szakkönyvek száma melyben fejezetet/részt írt:

összes tudományos közleményének és alkotásainak független idézettségi száma:

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).