Matches in SemOpenAlex for { <https://semopenalex.org/work/W3153755786> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3153755786 endingPage "488" @default.
- W3153755786 startingPage "475" @default.
- W3153755786 abstract "Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets." @default.
- W3153755786 created "2021-04-26" @default.
- W3153755786 creator A5009887598 @default.
- W3153755786 creator A5020963318 @default.
- W3153755786 creator A5056749857 @default.
- W3153755786 creator A5076673278 @default.
- W3153755786 date "2011-01-01" @default.
- W3153755786 modified "2023-09-23" @default.
- W3153755786 title "Weak and strong disjunction in possibilistic ASP" @default.
- W3153755786 hasPublicationYear "2011" @default.
- W3153755786 type Work @default.
- W3153755786 sameAs 3153755786 @default.
- W3153755786 citedByCount "0" @default.
- W3153755786 crossrefType "book-chapter" @default.
- W3153755786 hasAuthorship W3153755786A5009887598 @default.
- W3153755786 hasAuthorship W3153755786A5020963318 @default.
- W3153755786 hasAuthorship W3153755786A5056749857 @default.
- W3153755786 hasAuthorship W3153755786A5076673278 @default.
- W3153755786 hasConcept C118615104 @default.
- W3153755786 hasConcept C127001435 @default.
- W3153755786 hasConcept C134306372 @default.
- W3153755786 hasConcept C137912672 @default.
- W3153755786 hasConcept C154945302 @default.
- W3153755786 hasConcept C156325763 @default.
- W3153755786 hasConcept C159032336 @default.
- W3153755786 hasConcept C177264268 @default.
- W3153755786 hasConcept C182620335 @default.
- W3153755786 hasConcept C184337299 @default.
- W3153755786 hasConcept C199360897 @default.
- W3153755786 hasConcept C2185349 @default.
- W3153755786 hasConcept C33923547 @default.
- W3153755786 hasConcept C41008148 @default.
- W3153755786 hasConcept C42011625 @default.
- W3153755786 hasConcept C58166 @default.
- W3153755786 hasConcept C72169020 @default.
- W3153755786 hasConcept C80444323 @default.
- W3153755786 hasConceptScore W3153755786C118615104 @default.
- W3153755786 hasConceptScore W3153755786C127001435 @default.
- W3153755786 hasConceptScore W3153755786C134306372 @default.
- W3153755786 hasConceptScore W3153755786C137912672 @default.
- W3153755786 hasConceptScore W3153755786C154945302 @default.
- W3153755786 hasConceptScore W3153755786C156325763 @default.
- W3153755786 hasConceptScore W3153755786C159032336 @default.
- W3153755786 hasConceptScore W3153755786C177264268 @default.
- W3153755786 hasConceptScore W3153755786C182620335 @default.
- W3153755786 hasConceptScore W3153755786C184337299 @default.
- W3153755786 hasConceptScore W3153755786C199360897 @default.
- W3153755786 hasConceptScore W3153755786C2185349 @default.
- W3153755786 hasConceptScore W3153755786C33923547 @default.
- W3153755786 hasConceptScore W3153755786C41008148 @default.
- W3153755786 hasConceptScore W3153755786C42011625 @default.
- W3153755786 hasConceptScore W3153755786C58166 @default.
- W3153755786 hasConceptScore W3153755786C72169020 @default.
- W3153755786 hasConceptScore W3153755786C80444323 @default.
- W3153755786 hasLocation W31537557861 @default.
- W3153755786 hasOpenAccess W3153755786 @default.
- W3153755786 hasPrimaryLocation W31537557861 @default.
- W3153755786 hasRelatedWork W15008045 @default.
- W3153755786 hasRelatedWork W1513693990 @default.
- W3153755786 hasRelatedWork W1583117182 @default.
- W3153755786 hasRelatedWork W1959214290 @default.
- W3153755786 hasRelatedWork W1989078054 @default.
- W3153755786 hasRelatedWork W2001716794 @default.
- W3153755786 hasRelatedWork W2013309158 @default.
- W3153755786 hasRelatedWork W2052146590 @default.
- W3153755786 hasRelatedWork W2113985572 @default.
- W3153755786 hasRelatedWork W2119082226 @default.
- W3153755786 hasRelatedWork W2154399250 @default.
- W3153755786 hasRelatedWork W2156542460 @default.
- W3153755786 hasRelatedWork W2239749847 @default.
- W3153755786 hasRelatedWork W2277900690 @default.
- W3153755786 hasRelatedWork W2296643275 @default.
- W3153755786 hasRelatedWork W2350711414 @default.
- W3153755786 hasRelatedWork W2493568012 @default.
- W3153755786 hasRelatedWork W2890746997 @default.
- W3153755786 hasRelatedWork W2944581027 @default.
- W3153755786 hasRelatedWork W87705152 @default.
- W3153755786 isParatext "false" @default.
- W3153755786 isRetracted "false" @default.
- W3153755786 magId "3153755786" @default.
- W3153755786 workType "book-chapter" @default.