Patrick L\"uhne

Identifiers

• name variant Patrick L\"uhne 0.50 · backfill

Papers (2)

1. Discovering and Proving Invariants in Answer Set Programming and Planning cs.LO · 2019 · author #1
2. anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report) cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Torsten Schaub 1 shared papers
• Vladimir Lifschitz 1 shared papers