Christoph Redl

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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