pith. sign in

Wolfgang Faber

Identifiers

  • name variant Wolfgang Faber 0.60 · backfill

Papers (18)

  1. Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version) cs.LO · 2018 · author #1
  2. On the Computation of Paracoherent Answer Sets cs.LO · 2017 · author #3
  3. Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation cs.AI · 2016 · author #1
  4. Semantics and Compilation of Answer Set Programming with Generalized Atoms cs.AI · 2014 · author #2
  5. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates cs.LO · 2014 · author #3
  6. Properties of Answer Set Programming with Convex Generalized Atoms cs.AI · 2013 · author #2
  7. Translating NP-SPEC into ASP cs.AI · 2013 · author #2
  8. Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues cs.AI · 2012 · author #2
  9. Magic Sets for Disjunctive Datalog Programs cs.AI · 2012 · author #2
  10. Strong Equivalence of Qualitative Optimization Problems cs.LO · 2011 · author #1
  11. Dynamic Magic Sets for Super-Consistent Answer Set Programs cs.LO · 2010 · author #2
  12. Disjunctive ASP with Functions: Decidable Queries and Effective Computation cs.LO · 2010 · author #2
  13. Design and Implementation of Aggregate Functions in the DLV System cs.AI · 2008 · author #1
  14. The DLV System for Knowledge Representation and Reasoning cs.AI · 2002 · author #3
  15. Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming cs.LO · 2002 · author #2
  16. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity cs.AI · 2001 · author #2
  17. Disjunctive Logic Programs with Inheritance cs.LO · 2001 · author #2
  18. DLV - A System for Declarative Problem Solving cs.AI · 2000 · author #2

Mentions

  • 1405.1287 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1401.4596 #3 · backfill · confidence 0.70 Wolfgang Faber
  • 1312.6096 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1301.1385 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1210.2316 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1204.6346 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1112.0791 #1 · backfill · confidence 0.70 Wolfgang Faber
  • 1011.4377 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 1007.4028 #2 · backfill · confidence 0.70 Wolfgang Faber
  • 0802.3137 #1 · backfill · confidence 0.70 Wolfgang Faber

Frequent Coauthors