Zsolt Zombori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VLDB | Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification. | Mykhailo Buleshnyi, Anna Polova, Zsolt Zombori, Michael Benedikt |
| 2023 | TABLEAUX | Lemmas: Generation, Selection, Application. | Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel |
| 2021 | TABLEAUX | Towards Finding Longer Proofs. | Zsolt Zombori, Adrin Csiszrik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban |
| 2021 | TABLEAUX | The Role of Entropy in Guiding a Connection Prover. | Zsolt Zombori, Josef Urban, Miroslav Olsk |
| 2020 | CADE | Prolog Technology Reinforcement Learning Prover - (System Description). | Zsolt Zombori, Josef Urban, Chad E. Brown |
| 2012 | ICLP | Static Type Inference for the Q language using Constraint Logic Programming. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |
| 2011 | ICLP | Two Phase Description Logic Reasoning for Efficient Information Retrieval. | Zsolt Zombori |
| 2011 | ICLP | Static Type Checking for the Q Functional Language in Prolog. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |