 |
|
| Personal data sheet |
 Print previewpersonal data approved: 2023. IV. 28. | Publications |
2023
 from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
language: English
URL |
2021
from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
URL |
2021
from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
URL |
2021
from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
language: English
URL |
2020
from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 13
language: English
URL |
2018
from data base, 2024. I. 02. |
Dániel Varga, Adrián Csiszárik, Zsolt Zombori: Gradient Regularization Improves Accuracy of Discriminative Models, Schedae Informaticae 27: pp. 31-45.
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL |
2012
from data base, 2024. I. 02. |
Zombori Zsolt, Szeredi Péter: Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving, ACTA CYBERNETICA 20: pp. 441-458.
type of document: Journal paper/Article
language: English
URL |
2011
from data base, 2024. I. 02. |
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.
type of document: Part of book/Proceedings Paper
language: English
URL |
2010
from data base, 2024. I. 02. |
Zombori Zsolt: A Resolution Based Description Logic Calculus, ACTA CYBERNETICA 19: pp. 571-588.
type of document: Journal paper/Article
language: English
|
2009
from data base, 2024. I. 02. |
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.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
|
| | Number of independent citations to these publications: | 18 |
|
|
|
|
|
Login
renyi.hu
