## Abstract

Answer Set Programming (ASP) is logic programming under the stable model or answer set semantics. During the last decade, this paradigm has seen several extensions by generalizing the notion of atom used in these programs. Among these, there are dl-atoms, aggregate atoms, HEX atoms, generalized quantifiers, and abstract constraints. In this paper we refer to these constructs collectively as generalized atoms. The idea common to all of these constructs is that their satisfaction depends on the truth values of a set of (non-generalized) atoms, rather than the truth value of a single (non-generalized) atom. Motivated by several examples, we argue that for some of the more intricate generalized atoms, the previously suggested semantics provide unintuitive results and provide an alternative semantics, which we call supportedly stable or SFLP answer sets. We show that it is equivalent to the major previously proposed semantics for programs with convex generalized atoms, and that it in general admits more intended models than other semantics in the presence of non-convex generalized atoms. We show that the complexity of supportedly stable answer sets is on the second level of the polynomial hierarchy, similar to previous proposals and to answer sets of disjunctive logic programs.

Original language | English |
---|---|

Title of host publication | Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings |

Publisher | Springer Verlag |

Pages | 30-44 |

Number of pages | 15 |

Volume | 9209 |

ISBN (Print) | 9783319220017 |

DOIs | |

Publication status | Published - 2015 |

Event | 9th International Conference on Web Reasoning and Rule Systems - Berlin, Germany Duration: 4 Aug 2015 → 5 Aug 2015 Conference number: 9 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 9209 |

ISSN (Print) | 03029743 |

ISSN (Electronic) | 16113349 |

### Conference

Conference | 9th International Conference on Web Reasoning and Rule Systems |
---|---|

Abbreviated title | RR 2015 |

Country | Germany |

City | Berlin |

Period | 4/08/15 → 5/08/15 |