pith. sign in

Hans Tompits

Identifiers

  • name variant Hans Tompits 0.60 · backfill

Papers (18)

  1. Stepwise Debugging of Answer-Set Programs cs.AI · 2017 · author #3
  2. Blocked Clauses in First-Order Logic cs.LO · 2017 · author #4
  3. A Many-Sorted Variant of Japaridze's Polymodal Provability Logic math.LO · 2016 · author #3
  4. Modularity Aspects of Disjunctive Stable Models cs.LO · 2014 · author #3
  5. Annotating Answer-Set Programs in LANA? cs.SE · 2012 · author #5
  6. Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming cs.PL · 2011 · author #3
  7. Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs cs.LO · 2011 · author #4
  8. The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report cs.PL · 2011 · author #3
  9. Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs cs.PL · 2010 · author #3
  10. The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs cs.LO · 2010 · author #4
  11. A general approach to belief change in answer set programming cs.AI · 2009 · author #3
  12. Characterising equilibrium logic and nested logic programs: Reductions and complexity cs.LO · 2009 · author #2
  13. Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination cs.LO · 2008 · author #4
  14. A Knowledge-Based Approach for Selecting Information Sources cs.AI · 2006 · author #3
  15. A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report cs.AI · 2002 · author #4
  16. QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks cs.AI · 2000 · author #3
  17. Logic Programs with Compiled Preferences cs.AI · 2000 · author #3
  18. A Compiler for Ordered Logic Programs cs.AI · 2000 · author #3

Mentions

  • 1401.3484 #3 · backfill · confidence 0.70 Hans Tompits
  • 1210.2195 #5 · backfill · confidence 0.70 Hans Tompits
  • 1112.0922 #3 · backfill · confidence 0.70 Hans Tompits
  • 1109.4095 #4 · backfill · confidence 0.70 Hans Tompits
  • 1109.3989 #3 · backfill · confidence 0.70 Hans Tompits
  • 1007.4986 #3 · backfill · confidence 0.70 Hans Tompits
  • 1007.4971 #4 · backfill · confidence 0.70 Hans Tompits
  • 0912.5511 #3 · backfill · confidence 0.70 Hans Tompits
  • 0906.2228 #2 · backfill · confidence 0.70 Hans Tompits
  • 0811.0359 #4 · backfill · confidence 0.70 Hans Tompits

Frequent Coauthors