Picture for Tobias Philipp

Tobias Philipp

secunet Security Networks AG, Germany

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

Add code
Aug 30, 2023
Viaarxiv icon

Inconsistency Proofs for ASP: The ASP-DRUPE Format

Add code
Jul 24, 2019
Figure 1 for Inconsistency Proofs for ASP: The ASP-DRUPE Format
Viaarxiv icon