Efficient Two-Phase Data Reasoning for Description Logics. - Zsolt Zombori (IFIP AI, 2008)

A Resolution Based Description Logic Calculus. - Zsolt Zombori; Gergely Lukácsy (Description Logics, 2009)

A Resolution Based Description Logic Calculus. - Zsolt Zombori (Acta Cybern., 2010)

Two Phase Description Logic Reasoning for Efficient Information Retrieval. - Zsolt Zombori (ICLP (Technical Communications), 2011)

Static Type Checking for the Q Functional Language in Prolog. - Zsolt Zombori; János Csorba; Péter Szeredi (ICLP (Technical Communications), 2011)

Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language - János Csorba; Zsolt Zombori; Péter Szeredi (CoRR, 2011)

Static Type Inference for the Q language using Constraint Logic Programming. - Zsolt Zombori; János Csorba; Péter Szeredi (ICLP (Technical Communications), 2012)

Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. - Zsolt Zombori; Péter Szeredi (Acta Cybern., 2012)

Prolog alapú következtetés - Zsolt Zombori (2013)

Gradient Regularization Improves Accuracy of Discriminative Models. - Dániel Varga; Adrián Csiszárik; Zsolt Zombori (CoRR, 2017)

Prolog Technology Reinforcement Learning Prover - (System Description). - Zsolt Zombori; Josef Urban; Chad E. Brown (IJCAR (2), 2020)

Prolog Technology Reinforcement Learning Prover. - Zsolt Zombori; Josef Urban; Chad E. Brown (CoRR, 2020)

Data-dependent Pruning to find the Winning Lottery Ticket. - Dániel Lévai; Zsolt Zombori (CoRR, 2020)

Towards solving the 7-in-a-row game. - Domonkos Czifra; Endre Csóka; Zsolt Zombori; Géza Makay (CoG, 2021)

Towards Finding Longer Proofs. - Zsolt Zombori; Adrián Csiszárik; Henryk Michalewski; Cezary Kaliszyk; Josef Urban (TABLEAUX, 2021)

The Role of Entropy in Guiding a Connection Prover. - Zsolt Zombori; Josef Urban; Miroslav Olsák (TABLEAUX, 2021)

Lemmas: Generation, Selection, Application. - Michael Rawson 001; Christoph Wernhard; Zsolt Zombori; Wolfgang Bibel (TABLEAUX, 2023)

Safety without alignment. - András Kornai; Michael Bukatin; Zsolt Zombori (CoRR, 2023)

Towards Unbiased Exploration in Partial Label Learning. - Zsolt Zombori; Agapi Rissaki; Kristóf Szabó; Wolfgang Gatterbauer; Michael Benedikt (CoRR, 2023)

Do Attention Heads Compete or Cooperate during Counting? - Pál Zsámboki; Ádám Fraknói; Máté Gedeon; András Kornai; Zsolt Zombori (CoRR, 2025)

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures. - Christoph Wernhard; Zsolt Zombori (CoRR, 2025)

Partial Label Learning for Automated Theorem Proving. - Zsolt Zombori; Balázs Indruck (CoRR, 2025)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification. - Mykhailo Buleshnyi; Anna Polova; Zsolt Zombori; Michael Benedikt (CoRR, 2025)