Thomas Krennwallner

Identifiers

• name variant Thomas Krennwallner 0.60 · backfill

Papers (4)

1. Eliminating Unfounded Set Checking for HEX-Programs cs.LO · 2013 · author #3
2. Conflict-driven ASP Solving with External Sources cs.AI · 2012 · author #3
3. Nested HEX-Programs cs.AI · 2011 · author #2
4. Symmetry Breaking for Distributed Multi-Context Systems cs.LO · 2011 · author #4

Mentions

• 1301.1390 #3 · backfill · confidence 0.70 Thomas Krennwallner
• 1210.1649 #3 · backfill · confidence 0.70 Thomas Krennwallner
• 1108.5626 #2 · backfill · confidence 0.70 Thomas Krennwallner
• 1104.3931 #4 · backfill · confidence 0.70 Thomas Krennwallner

Frequent Coauthors

• Thomas Eiter 4 shared papers
• Christoph Redl 3 shared papers
• Michael Fink 3 shared papers
• Christian Drescher 1 shared papers
• Peter Sch\"uller 1 shared papers
• Toby Walsh 1 shared papers