Zsolt Zombori

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 14

Top Topics

Pursuit Evasion

Relative Entropy

Theorem Proving

Reinforcement Learning

Top Venues

Publications

Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. TABLEAUX (2023)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. CoRR (2023)
Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt
Towards Unbiased Exploration in Partial Label Learning. CoRR (2023)
András Kornai, Michael Bukatin, Zsolt Zombori
Safety without alignment. CoRR (2023)
Zsolt Zombori, Josef Urban, Miroslav Olsák
The Role of Entropy in Guiding a Connection Prover. CoRR (2021)
Zsolt Zombori, Josef Urban, Miroslav Olsák
The Role of Entropy in Guiding a Connection Prover. TABLEAUX (2021)
Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay
Towards solving the 7-in-a-row game. CoRR (2021)
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
Towards Finding Longer Proofs. TABLEAUX (2021)
Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay
Towards solving the 7-in-a-row game. CoG (2021)
Zsolt Zombori, Josef Urban, Chad E. Brown
Prolog Technology Reinforcement Learning Prover. CoRR (2020)
Dániel Lévai, Zsolt Zombori
Data-dependent Pruning to find the Winning Lottery Ticket. CoRR (2020)
Zsolt Zombori, Josef Urban, Chad E. Brown
Prolog Technology Reinforcement Learning Prover - (System Description). IJCAR (2) (2020)
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
Towards Finding Longer Proofs. CoRR (2019)
Dániel Varga, Adrián Csiszárik, Zsolt Zombori
Gradient Regularization Improves Accuracy of Discriminative Models. CoRR (2017)
Zsolt Zombori, Péter Szeredi
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Acta Cybern. 20 (3) (2012)
Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Inference for the Q language using Constraint Logic Programming. ICLP (Technical Communications) (2012)
Zsolt Zombori
Two Phase Description Logic Reasoning for Efficient Information Retrieval. ICLP (Technical Communications) (2011)
Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Checking for the Q Functional Language in Prolog. ICLP (Technical Communications) (2011)
János Csorba, Zsolt Zombori, Péter Szeredi
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language CoRR (2011)
Zsolt Zombori
Two Phase Description Logic Reasoning for Efficient Information Retrieval. ESWC (2) (2010)
Zsolt Zombori
A Resolution Based Description Logic Calculus. Acta Cybern. 19 (3) (2010)
Zsolt Zombori, Gergely Lukácsy
A Resolution Based Description Logic Calculus. Description Logics (2009)
Zsolt Zombori
Efficient Two-Phase Data Reasoning for Description Logics. IFIP AI (2008)