Jan Heuer

According to our database, Jan Heuer authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Anthem 2.0: Automated Reasoning for Answer Set Programming.

Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann

CoRR, July, 2025

Ordered Completion for Non-Locally Tight mini-gringo Programs.

Jan Heuer

CoRR, April, 2025

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