Jan Heuer

According to our database, Jan Heuer authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic.

Jan Heuer, Christoph Wernhard

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Automated Verification of Equivalence Properties in Advanced Logic Programs - Bachelor Thesis.

Jan Heuer

CoRR, 2023