Zsolt Zombori

Available identifiers

zbMath Open zombori.zsoltMaRDI QIDQ2142071

List of research outcomes

Publication	Date of Publication	Type
Prolog Technology Reinforcement Learning Prover	2022-11-09	Paper
Towards finding longer proofs	2022-05-25	Paper
The role of entropy in guiding a connection prover	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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zsolt Zombori