Manifold Answer-Set Programs for Meta-reasoning

  title={Manifold Answer-Set Programs for Meta-reasoning},
  author={Wolfgang Faber and Stefan Woltran},
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require external postprocessing. Generally speaking, it is often desirable to use (a subset of) brave or cautious consequences of a program P1 as input… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS