PhD Thesis

[1]

Zsolt Zombori
Prolog Based Reasoning.
PhD Thesis, Budapest pp. 1-102. (2013)
PDF, Booklet

Journal Articles

[1]

Zsolt Zombori
A Resolution Based Description Logic Calculus.
ACTA CYBERNETICA-SZEGED 19: pp. 571-588. (2010)
PDF

[2]

Zsolt Zombori, Péter Szeredi
Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving.
ACTA CYBERNETICA-SZEGED 20: pp. 441-458. (2012)
PDF

Refereed International Conference Proceedings

[1]

Zsolt Zombori
Efficient Two-Phase Data Reasoning for Description Logics.
In Artificial Intelligence in Theory and Practice II: World Computer Congress 2008. Milan, Italy, 2008.09.07-2008.09.10. Springer, pp. 393-402.(ISBN: 978-0-387-09694-0)
PDF

[2]

Zsolt Zombori, Gergely Lukácsy
A Resolution Based Description Logic Calculus.
Proceedings of the 22nd International Workshop on Description Logics (DL2009). Oxford, UK, 2009.07.27-2009.07.30. pp. 27-30.
PDF

[3]

Zsolt Zombori
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
27th International Conference on Logic Programming (ICLP'11): Technical Communications. Lexington, USA, 2011.07.06-2011.07.10. Wadern: Schloss Dagstuhl Leibniz-Zentrum für Informatik, pp. 296-300.(ISBN: 978-3-939897-31-6)
PDF

[4]

Zsolt Zombori
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference (ESWC) 2010: Heraklion, Greece, 2010.05.30-2010.06.03. pp. 498-502.
PDF

[5]

Zsolt Zombori, Péter Szeredi, Gergely Lukácsy
Loop elimination, a sound optimisation technique for PTTP related theorem proving.
Hungarian Japanese Symposium on Discrete Mathematics and Its Applications. Kyoto, Japan, 2011.05.31-2011.06.03. Kyoto: pp. 503-512
PDF

[6]

Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Checking for the Q Functional Language in Prolog.
27th International Conference on Logic Programming (ICLP'11): Technical Communications. Lexington, USA, 2011.07.06-2011.07.10. Wadern: Schloss Dagstuhl Leibniz-Zentrum für Informatik, pp. 62-72.(ISBN: 978-3-939897-31-6)
PDF, longer PDF

[7]

János Csorba, Zsolt Zombori, Péter Szeredi
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language.
Proceedings of the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011). Lexington, USA, 2011.07.10. Paper 5.
PDF

[8]

Zsolt Zombori, János Csorba, Péter Szeredi
Type Inference for the Q language using Constraint Logic Programming.
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12): Leibniz International Proceedings in Informatics (LIPIcs). Budapest, Hungary, 2012.09.04-2012.09.08. Dagstuhl: pp. 119-129. Paper 8. (ISBN: 978-3-939897-43-9)
PDF, longer PDF

[9]

János Csorba, Zsolt Zombori, Péter Szeredi
Pros and Cons of Using CHR for Type Inference.
Proceedings of the 9th workshop on Constraint Handling Rules (CHR 2012). Budapest, Hungary, 2012.09.04 Paper 4.
PDF

Domestic Conference Proceedings

[1]

Zsolt Zombori, Gergely Lukácsy, Péter Szeredi
Hatékony következtetés ontológiákon.
In 17th Networkshop Conference 2008. Dunaújváros, Hungary, 2008.03.17-2008.03.19.
PDF

[2]

Zsolt Zombori, János Csora, Péter Szeredi
Static Type Inference as a Constraint Satisfaction Problem.
Proceedings of the TAMOP PhD Workshop: TAMOP-4.2.2/B-10/1-2010-0009. Budapest, Hungary, 2012.03.09.
PDF

Course Handouts

[1]

Zsolt Zombori, Péter Szeredi
Szemantikus és deklaratív technológiák oktatási segédlet.
Course handout. 2012. Budapest, pp. 1-32.
PDF

Unpublished

[1]

Zsolt Zombori
Expressive Description Logic Reasoning Using First-Order Resolution.
Unpublished
PDF

[2]

Dániel Varga, Adrián Csiszárik, Zsolt Zombori
Gradient Regularization Improves Accuracy of Discriminative Models.
Unpublished
PDF
arXiv