![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Zsolt Zombori
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c11]Michael Rawson
, Christoph Wernhard
, Zsolt Zombori
, Wolfgang Bibel
:
Lemmas: Generation, Selection, Application. TABLEAUX 2023: 153-174 - [i10]András Kornai, Michael Bukatin, Zsolt Zombori:
Safety without alignment. CoRR abs/2303.00752 (2023) - [i9]Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel:
Lemmas: Generation, Selection, Application. CoRR abs/2303.05854 (2023) - [i8]Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt:
Towards Unbiased Exploration in Partial Label Learning. CoRR abs/2307.00465 (2023) - 2021
- [c10]Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay:
Towards solving the 7-in-a-row game. CoG 2021: 1-8 - [c9]Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban:
Towards Finding Longer Proofs. TABLEAUX 2021: 167-186 - [c8]Zsolt Zombori, Josef Urban, Miroslav Olsák:
The Role of Entropy in Guiding a Connection Prover. TABLEAUX 2021: 218-235 - [i7]Zsolt Zombori, Josef Urban, Miroslav Olsák:
The Role of Entropy in Guiding a Connection Prover. CoRR abs/2105.14706 (2021) - [i6]Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay:
Towards solving the 7-in-a-row game. CoRR abs/2107.05363 (2021) - 2020
- [c7]Zsolt Zombori, Josef Urban, Chad E. Brown:
Prolog Technology Reinforcement Learning Prover - (System Description). IJCAR (2) 2020: 489-507 - [i5]Zsolt Zombori, Josef Urban, Chad E. Brown:
Prolog Technology Reinforcement Learning Prover. CoRR abs/2004.06997 (2020) - [i4]Dániel Lévai, Zsolt Zombori:
Data-dependent Pruning to find the Winning Lottery Ticket. CoRR abs/2006.14350 (2020)
2010 – 2019
- 2019
- [i3]Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban:
Towards Finding Longer Proofs. CoRR abs/1905.13100 (2019) - 2017
- [i2]Dániel Varga, Adrián Csiszárik, Zsolt Zombori:
Gradient Regularization Improves Accuracy of Discriminative Models. CoRR abs/1712.09936 (2017) - 2013
- [b1]Zsolt Zombori:
Prolog alapú következtetés. Budapest University of Technology and Economics, Hungary, 2013 - 2012
- [j2]Zsolt Zombori, Péter Szeredi:
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Acta Cybern. 20(3): 441-458 (2012) - [c6]Zsolt Zombori, János Csorba, Péter Szeredi:
Static Type Inference for the Q language using Constraint Logic Programming. ICLP (Technical Communications) 2012: 119-129 - 2011
- [c5]Zsolt Zombori, János Csorba, Péter Szeredi:
Static Type Checking for the Q Functional Language in Prolog. ICLP (Technical Communications) 2011: 62-72 - [c4]Zsolt Zombori:
Two Phase Description Logic Reasoning for Efficient Information Retrieval. ICLP (Technical Communications) 2011: 296-300 - [i1]János Csorba, Zsolt Zombori, Péter Szeredi:
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language. CoRR abs/1112.3784 (2011) - 2010
- [j1]Zsolt Zombori:
A Resolution Based Description Logic Calculus. Acta Cybern. 19(3): 571-588 (2010) - [c3]Zsolt Zombori:
Two Phase Description Logic Reasoning for Efficient Information Retrieval. ESWC (2) 2010: 498-502
2000 – 2009
- 2009
- [c2]Zsolt Zombori, Gergely Lukácsy:
A Resolution Based Description Logic Calculus. Description Logics 2009 - 2008
- [c1]Zsolt Zombori:
Efficient Two-Phase Data Reasoning for Description Logics. IFIP AI 2008: 393-402
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint