---
title: "Symmetric Splitting in the General Theory of Stable Models"
authors:
  - "Paolo Ferraris"
  - "Joohyung Lee"
  - "Vladimir Lifschitz"
  - "Ravi Palla"
doi: ""
url: "https://ijcai.org/proceedings/2009/137"
pdf: "https://ijcai.org/proceedings/2009/0137.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "797-802"
track: ""
keywords:
---

# Symmetric Splitting in the General Theory of Stable Models

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

*Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence*, pages 797-802.

## Abstract

Knowledge-based recommenders support users in the identification of interesting items from large and potentially complex assortments. In cases where no recommendation could be found for a given set of requirements, such systems propose explanations that indicate minimal sets of faulty requirements. Unfortunately, such explanations are not personalized and do not include repair proposals which triggers a low degree of satisfaction and frequent cancellations of recommendation sessions. In this paper we present a personalized repair approach that integrates the calculation of explanations with collaborative problem solving techniques. In order to demonstrate the applicability of our approach, we present the results of an empirical study that show significant improvements in the accuracy of predictions for interesting repairs.Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, Erich TeppanSplitting a logic program allows us to reduce the task of computing its stable models to similar tasks for smaller programs. This idea is extended here to the general theory of stable models that replaces traditional logic programs by arbitrary first-order sentences and distinguishes between intensional and extensional predicates. We discuss two kinds of splitting: a set of intensional predicates can be split into subsets, and a formula can be split into its conjunctive terms.Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla