Search Results for author: Tobias Philipp

Found 2 papers, 0 papers with code

A Logic Programming Approach to Global Logistics in a Co-Design Environment

no code implementations30 Aug 2023 Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel

In a co-design environment changes need to be integrated quickly and in an automated manner.

Inconsistency Proofs for ASP: The ASP-DRUPE Format

no code implementations24 Jul 2019 Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp, Jakob Rath

Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs.

Cannot find the paper you are looking for? You can Submit a new open access paper.