Christoph Redl
Identifiers
- name variant Christoph Redl 0.60 · backfill
Papers (5)
- Technical Report: Inconsistency in Answer Set Programs and Extensions cs.AI · 2018 · author #1
- The DLVHEX System for Knowledge Representation: Recent Advances (System Description) cs.CL · 2016 · author #1
- Eliminating Unfounded Set Checking for HEX-Programs cs.LO · 2013 · author #4
- Conflict-driven ASP Solving with External Sources cs.AI · 2012 · author #4
- Nested HEX-Programs cs.AI · 2011 · author #3
Mentions
Frequent Coauthors
- Thomas Eiter 3 shared papers
- Thomas Krennwallner 3 shared papers
- Michael Fink 2 shared papers
- Peter Sch\"uller 1 shared papers