Tilman Hinnerichs

According to our database, Tilman Hinnerichs authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

Modelling Program Spaces in Program Synthesis with Constraints.

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

CoRR, August, 2025

2024

Towards a fully declarative neuro-symbolic language.

Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra, Sebastijan Dumancic

CoRR, 2024

2022

FALCON: Sound and Complete Neural Semantic Entailment over ALC Ontologies.

Zhenwei Tang, Tilman Hinnerichs, Xi Peng, Xiangliang Zhang, Robert Hoehndorf

CoRR, 2022

2021

DTI-Voodoo: machine learning over interaction networks and ontology-based background knowledge predicts drug-target interactions.

Tilman Hinnerichs, Robert Hoehndorf

Bioinform., 2021