Zsolt Zombori
From MaRDI portal
Person:2142071
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Lemmas: generation, selection, application | 2024-05-17 | Paper |
| Prolog Technology Reinforcement Learning Prover Automated Reasoning | 2022-11-09 | Paper |
| Towards finding longer proofs (available as arXiv preprint) | 2022-05-25 | Paper |
| The role of entropy in guiding a connection prover | 2022-05-25 | Paper |
| The role of entropy in guiding a connection prover (available as arXiv preprint) | 2022-05-25 | Paper |
| Static type inference for the Q language using constraint logic programming | 2014-02-25 | Paper |
| Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving Acta Cybernetica | 2013-01-02 | Paper |
| Static type checking for the Q functional language in Prolog | 2012-08-29 | Paper |
| Two phase description logic reasoning for efficient information retrieval | 2012-08-29 | Paper |
Research outcomes over time
This page was built for person: Zsolt Zombori
