Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406874399> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2406874399 abstract "Answer set programming is one of the most praised frameworks for declarative programming in general and non-monotonic reasoning in particular. There has been many efforts to extend stable model semantics so that answer set programs can use a more extensive syntax. To such endeavor, the community of non-monotonic reasoning has introduced extensions such as equilibrium models and FLP semantics. However, both of these extensions suffer from two problems: intended models according to such extensions (1) are not guaranteed to be minimal, and (2) more importantly, may have self-justifications (i.e., the justification for pertinence of an atom in an intended model may be its own pertinence). Both of these properties directly violate the spirit of stable model semantics. Therefore, we believe that we need a new extension of stable model semantics that guarantees both minimality and being strongly grounded. This paper introduces one such extension using two different approaches: firstly, by extending the goal-reachability interpretation of logic programs to the full propositional language and, secondly, using derivability in intuitionistic propositional logic. We show that both these approaches give the same semantics, that we call the supported semantics. Moreover, using the first approach, we also extend well-founded semantics to full propositional language. Furthermore, we discuss how our supported models relate to other existing semantics for non-monotonic reasoning including the equilibrium models. Last, but not the least, we discuss the complexity of reasoning about supported models and show that all interesting reasoning tasks (such as brave/cautious reasoning) are PSPACE-complete. Therefore, supported model semantics is a much more expressive semantics then the existing semantics such as equlibrium models (that have reasoning procedures in $Delta^P_3$)." @default.
- W2406874399 created "2016-06-24" @default.
- W2406874399 creator A5084036825 @default.
- W2406874399 date "2012-11-13" @default.
- W2406874399 modified "2023-09-27" @default.
- W2406874399 title "A Strongly Grounded Stable Model Semantics for Full Propositional Language" @default.
- W2406874399 cites W136379439 @default.
- W2406874399 cites W144015317 @default.
- W2406874399 cites W157117103 @default.
- W2406874399 cites W1601726121 @default.
- W2406874399 cites W1607710732 @default.
- W2406874399 cites W1800801472 @default.
- W2406874399 cites W1966552757 @default.
- W2406874399 cites W2072190298 @default.
- W2406874399 cites W2073491323 @default.
- W2406874399 cites W2074283846 @default.
- W2406874399 cites W2105869173 @default.
- W2406874399 cites W2108911687 @default.
- W2406874399 cites W2136179811 @default.
- W2406874399 cites W2402208197 @default.
- W2406874399 cites W2612793397 @default.
- W2406874399 hasPublicationYear "2012" @default.
- W2406874399 type Work @default.
- W2406874399 sameAs 2406874399 @default.
- W2406874399 citedByCount "0" @default.
- W2406874399 crossrefType "posted-content" @default.
- W2406874399 hasAuthorship W2406874399A5084036825 @default.
- W2406874399 hasConcept C127001435 @default.
- W2406874399 hasConcept C128838566 @default.
- W2406874399 hasConcept C154945302 @default.
- W2406874399 hasConcept C156325763 @default.
- W2406874399 hasConcept C159032336 @default.
- W2406874399 hasConcept C182620335 @default.
- W2406874399 hasConcept C184337299 @default.
- W2406874399 hasConcept C199360897 @default.
- W2406874399 hasConcept C207648694 @default.
- W2406874399 hasConcept C41008148 @default.
- W2406874399 hasConcept C60048249 @default.
- W2406874399 hasConcept C62360110 @default.
- W2406874399 hasConcept C80444323 @default.
- W2406874399 hasConcept C89497691 @default.
- W2406874399 hasConceptScore W2406874399C127001435 @default.
- W2406874399 hasConceptScore W2406874399C128838566 @default.
- W2406874399 hasConceptScore W2406874399C154945302 @default.
- W2406874399 hasConceptScore W2406874399C156325763 @default.
- W2406874399 hasConceptScore W2406874399C159032336 @default.
- W2406874399 hasConceptScore W2406874399C182620335 @default.
- W2406874399 hasConceptScore W2406874399C184337299 @default.
- W2406874399 hasConceptScore W2406874399C199360897 @default.
- W2406874399 hasConceptScore W2406874399C207648694 @default.
- W2406874399 hasConceptScore W2406874399C41008148 @default.
- W2406874399 hasConceptScore W2406874399C60048249 @default.
- W2406874399 hasConceptScore W2406874399C62360110 @default.
- W2406874399 hasConceptScore W2406874399C80444323 @default.
- W2406874399 hasConceptScore W2406874399C89497691 @default.
- W2406874399 hasLocation W24068743991 @default.
- W2406874399 hasOpenAccess W2406874399 @default.
- W2406874399 hasPrimaryLocation W24068743991 @default.
- W2406874399 hasRelatedWork W114547669 @default.
- W2406874399 hasRelatedWork W1597933297 @default.
- W2406874399 hasRelatedWork W161390568 @default.
- W2406874399 hasRelatedWork W1753839785 @default.
- W2406874399 hasRelatedWork W1797196670 @default.
- W2406874399 hasRelatedWork W1860761177 @default.
- W2406874399 hasRelatedWork W2036748811 @default.
- W2406874399 hasRelatedWork W2055807110 @default.
- W2406874399 hasRelatedWork W2101443478 @default.
- W2406874399 hasRelatedWork W2107191683 @default.
- W2406874399 hasRelatedWork W2346706716 @default.
- W2406874399 hasRelatedWork W2515679871 @default.
- W2406874399 hasRelatedWork W2548335565 @default.
- W2406874399 hasRelatedWork W2597189952 @default.
- W2406874399 hasRelatedWork W2769775579 @default.
- W2406874399 hasRelatedWork W2911538936 @default.
- W2406874399 hasRelatedWork W2950641724 @default.
- W2406874399 hasRelatedWork W95898676 @default.
- W2406874399 hasRelatedWork W152841334 @default.
- W2406874399 hasRelatedWork W1989935310 @default.
- W2406874399 isParatext "false" @default.
- W2406874399 isRetracted "false" @default.
- W2406874399 magId "2406874399" @default.
- W2406874399 workType "article" @default.