Zsolt Zombori

According to our database, Zsolt Zombori authored at least 19 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards Unbiased Exploration in Partial Label Learning.

Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt

CoRR, 2023

Safety without alignment.

András Kornai, Michael Bukatin, Zsolt Zombori

CoRR, 2023

Lemmas: Generation, Selection, Application.

Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2021

The Role of Entropy in Guiding a Connection Prover.

Zsolt Zombori, Josef Urban, Miroslav Olsák

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Towards Finding Longer Proofs.

Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Towards solving the 7-in-a-row game.

Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay

Proceedings of the 2021 IEEE Conference on Games (CoG), 2021

2020

Data-dependent Pruning to find the Winning Lottery Ticket.

Dániel Lévai, Zsolt Zombori

CoRR, 2020

Prolog Technology Reinforcement Learning Prover.

Zsolt Zombori, Josef Urban, Chad E. Brown

CoRR, 2020

Prolog Technology Reinforcement Learning Prover - (System Description).

Zsolt Zombori, Josef Urban, Chad E. Brown

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2017

Gradient Regularization Improves Accuracy of Discriminative Models.

Dániel Varga, Adrián Csiszárik, Zsolt Zombori

CoRR, 2017

2013

Prolog alapú következtetés

Zsolt Zombori

PhD thesis, 2013

2012

Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving.

Zsolt Zombori, Péter Szeredi

Acta Cybern., 2012

Static Type Inference for the Q language using Constraint Logic Programming.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

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 Checking for the Q Functional Language in Prolog.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Two Phase Description Logic Reasoning for Efficient Information Retrieval.

Zsolt Zombori

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

A Resolution Based Description Logic Calculus.

Zsolt Zombori

Acta Cybern., 2010

2009

A Resolution Based Description Logic Calculus.

Zsolt Zombori, Gergely Lukácsy

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Efficient Two-Phase Data Reasoning for Description Logics.

Zsolt Zombori

Proceedings of the Artificial Intelligence in Theory and Practice II, 2008