Christoph Redl

Identifiers

• name variant Christoph Redl 0.60 · backfill

Papers (5)

1. Technical Report: Inconsistency in Answer Set Programs and Extensions cs.AI · 2018 · author #1
2. The DLVHEX System for Knowledge Representation: Recent Advances (System Description) cs.CL · 2016 · author #1
3. Eliminating Unfounded Set Checking for HEX-Programs cs.LO · 2013 · author #4
4. Conflict-driven ASP Solving with External Sources cs.AI · 2012 · author #4
5. Nested HEX-Programs cs.AI · 2011 · author #3

Mentions

• 1301.1390 #4 · backfill · confidence 0.70 Christoph Redl
• 1210.1649 #4 · backfill · confidence 0.70 Christoph Redl
• 1108.5626 #3 · backfill · confidence 0.70 Christoph Redl

Frequent Coauthors

• Thomas Eiter 3 shared papers
• Thomas Krennwallner 3 shared papers
• Michael Fink 2 shared papers
• Peter Sch\"uller 1 shared papers