Abstract
Efficient algorithms for the computation of optimum stable models are based on unsatisfiable core analysis. However, these algorithms essentially run to completion, providing few or even no suboptimal stable models. This drawback can be circumvented by shrinking unsatisfiable cores. Interestingly, the resulting anytime algorithm can solve more instances than the original algorithm.
Keywords
- Artificial Intelligence: knowledge representation and reasoning
- Artificial Intelligence: artificial intelligence
