Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104448458> ?p ?o ?g. }
- W2104448458 endingPage "116" @default.
- W2104448458 startingPage "79" @default.
- W2104448458 abstract "Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, where this weight is interpreted as the certainty with which the conclusion can be established when the body is known to hold. As such, it allows us to model and reason about uncertain information in an intuitive way. In this paper we present new semantics for PASP, in which rules are interpreted as constraints on possibility distributions. Special models of these constraints are then identified as possibilistic answer sets. In addition, since ASP is a special case of PASP in which all the rules are entirely certain, we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction, called weak disjunction, that has not been previously considered in the literature. In addition to introducing and motivating the semantics of weak disjunction, we also pinpoint its computational complexity. In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier." @default.
- W2104448458 created "2016-06-24" @default.
- W2104448458 creator A5009887598 @default.
- W2104448458 creator A5020963318 @default.
- W2104448458 creator A5056749857 @default.
- W2104448458 creator A5076673278 @default.
- W2104448458 date "2014-01-10" @default.
- W2104448458 modified "2023-09-30" @default.
- W2104448458 title "Characterizing and extending answer set semantics using possibility theory" @default.
- W2104448458 cites W1514973146 @default.
- W2104448458 cites W1519247154 @default.
- W2104448458 cites W1554990043 @default.
- W2104448458 cites W1586014657 @default.
- W2104448458 cites W1603907727 @default.
- W2104448458 cites W1606419968 @default.
- W2104448458 cites W1606891084 @default.
- W2104448458 cites W1873450072 @default.
- W2104448458 cites W1966552757 @default.
- W2104448458 cites W1974212563 @default.
- W2104448458 cites W1992440793 @default.
- W2104448458 cites W2003374324 @default.
- W2104448458 cites W2040340501 @default.
- W2104448458 cites W2050486226 @default.
- W2104448458 cites W2073713926 @default.
- W2104448458 cites W2076698873 @default.
- W2104448458 cites W2090039116 @default.
- W2104448458 cites W2106614716 @default.
- W2104448458 cites W2156542460 @default.
- W2104448458 cites W2158350199 @default.
- W2104448458 cites W2611415697 @default.
- W2104448458 cites W3104122731 @default.
- W2104448458 cites W4251228600 @default.
- W2104448458 cites W4299551239 @default.
- W2104448458 doi "https://doi.org/10.1017/s147106841300063x" @default.
- W2104448458 hasPublicationYear "2014" @default.
- W2104448458 type Work @default.
- W2104448458 sameAs 2104448458 @default.
- W2104448458 citedByCount "11" @default.
- W2104448458 countsByYear W21044484582015 @default.
- W2104448458 countsByYear W21044484582017 @default.
- W2104448458 countsByYear W21044484582018 @default.
- W2104448458 countsByYear W21044484582019 @default.
- W2104448458 countsByYear W21044484582020 @default.
- W2104448458 countsByYear W21044484582023 @default.
- W2104448458 crossrefType "journal-article" @default.
- W2104448458 hasAuthorship W2104448458A5009887598 @default.
- W2104448458 hasAuthorship W2104448458A5020963318 @default.
- W2104448458 hasAuthorship W2104448458A5056749857 @default.
- W2104448458 hasAuthorship W2104448458A5076673278 @default.
- W2104448458 hasBestOaLocation W21044484581 @default.
- W2104448458 hasConcept C127001435 @default.
- W2104448458 hasConcept C128838566 @default.
- W2104448458 hasConcept C154945302 @default.
- W2104448458 hasConcept C156325763 @default.
- W2104448458 hasConcept C177264268 @default.
- W2104448458 hasConcept C182620335 @default.
- W2104448458 hasConcept C184337299 @default.
- W2104448458 hasConcept C199360897 @default.
- W2104448458 hasConcept C207648694 @default.
- W2104448458 hasConcept C2524010 @default.
- W2104448458 hasConcept C2778029271 @default.
- W2104448458 hasConcept C33923547 @default.
- W2104448458 hasConcept C41008148 @default.
- W2104448458 hasConcept C7493553 @default.
- W2104448458 hasConcept C80444323 @default.
- W2104448458 hasConcept C89497691 @default.
- W2104448458 hasConceptScore W2104448458C127001435 @default.
- W2104448458 hasConceptScore W2104448458C128838566 @default.
- W2104448458 hasConceptScore W2104448458C154945302 @default.
- W2104448458 hasConceptScore W2104448458C156325763 @default.
- W2104448458 hasConceptScore W2104448458C177264268 @default.
- W2104448458 hasConceptScore W2104448458C182620335 @default.
- W2104448458 hasConceptScore W2104448458C184337299 @default.
- W2104448458 hasConceptScore W2104448458C199360897 @default.
- W2104448458 hasConceptScore W2104448458C207648694 @default.
- W2104448458 hasConceptScore W2104448458C2524010 @default.
- W2104448458 hasConceptScore W2104448458C2778029271 @default.
- W2104448458 hasConceptScore W2104448458C33923547 @default.
- W2104448458 hasConceptScore W2104448458C41008148 @default.
- W2104448458 hasConceptScore W2104448458C7493553 @default.
- W2104448458 hasConceptScore W2104448458C80444323 @default.
- W2104448458 hasConceptScore W2104448458C89497691 @default.
- W2104448458 hasIssue "1" @default.
- W2104448458 hasLocation W21044484581 @default.
- W2104448458 hasLocation W21044484582 @default.
- W2104448458 hasLocation W21044484583 @default.
- W2104448458 hasLocation W21044484584 @default.
- W2104448458 hasLocation W21044484585 @default.
- W2104448458 hasLocation W21044484586 @default.
- W2104448458 hasOpenAccess W2104448458 @default.
- W2104448458 hasPrimaryLocation W21044484581 @default.
- W2104448458 hasRelatedWork W1485855639 @default.
- W2104448458 hasRelatedWork W1510469359 @default.
- W2104448458 hasRelatedWork W1626176828 @default.
- W2104448458 hasRelatedWork W2071557240 @default.
- W2104448458 hasRelatedWork W2125406856 @default.
- W2104448458 hasRelatedWork W2157541508 @default.
- W2104448458 hasRelatedWork W2211916015 @default.