Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296643275> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2296643275 endingPage "275" @default.
- W2296643275 startingPage "263" @default.
- W2296643275 abstract "Answer set programming (ASP) has been extended to possibilistic ASP (PASP), in which the notion of possibilistic stable models is defined for possibilistic logic programs. However, possibilistic inferences that correspond to the three inferences in ordinary possibilistic logic have not been explored in PASP yet. In this paper, based on the skeptical reasoning determined by possibilistic stable models, we define three inference relations for PASP, provide their equivalent characterisations in terms of possibility distribution, and develop algorithms for these possibilistic inferences. Our algorithms are achieved by generalising some important concepts (Clarke’s completion, loop formulas, and guarded resolution) and properties in ASP to PASP. Besides their theoretical importance, these results can be used to develop efficient implementations for possibilistic reasoning in ASP." @default.
- W2296643275 created "2016-06-24" @default.
- W2296643275 creator A5050560417 @default.
- W2296643275 creator A5056053058 @default.
- W2296643275 creator A5070889816 @default.
- W2296643275 date "2015-01-01" @default.
- W2296643275 modified "2023-09-27" @default.
- W2296643275 title "Possibilistic Inferences in Answer Set Programming" @default.
- W2296643275 cites W1580370902 @default.
- W2296643275 cites W1606891084 @default.
- W2296643275 cites W1607896649 @default.
- W2296643275 cites W1608935641 @default.
- W2296643275 cites W1721757222 @default.
- W2296643275 cites W1976055110 @default.
- W2296643275 cites W2002328436 @default.
- W2296643275 cites W2004414305 @default.
- W2296643275 cites W2019950953 @default.
- W2296643275 cites W202275447 @default.
- W2296643275 cites W2040340501 @default.
- W2296643275 cites W2047568532 @default.
- W2296643275 cites W2104448458 @default.
- W2296643275 cites W2114830586 @default.
- W2296643275 cites W2151969824 @default.
- W2296643275 cites W2162918666 @default.
- W2296643275 cites W2570838678 @default.
- W2296643275 doi "https://doi.org/10.1007/978-3-319-26350-2_23" @default.
- W2296643275 hasPublicationYear "2015" @default.
- W2296643275 type Work @default.
- W2296643275 sameAs 2296643275 @default.
- W2296643275 citedByCount "0" @default.
- W2296643275 crossrefType "book-chapter" @default.
- W2296643275 hasAuthorship W2296643275A5050560417 @default.
- W2296643275 hasAuthorship W2296643275A5056053058 @default.
- W2296643275 hasAuthorship W2296643275A5070889816 @default.
- W2296643275 hasConcept C102993220 @default.
- W2296643275 hasConcept C111472728 @default.
- W2296643275 hasConcept C127001435 @default.
- W2296643275 hasConcept C128838566 @default.
- W2296643275 hasConcept C137912672 @default.
- W2296643275 hasConcept C138885662 @default.
- W2296643275 hasConcept C154945302 @default.
- W2296643275 hasConcept C177264268 @default.
- W2296643275 hasConcept C182620335 @default.
- W2296643275 hasConcept C18296254 @default.
- W2296643275 hasConcept C199360897 @default.
- W2296643275 hasConcept C203659156 @default.
- W2296643275 hasConcept C26713055 @default.
- W2296643275 hasConcept C2776214188 @default.
- W2296643275 hasConcept C41008148 @default.
- W2296643275 hasConcept C42011625 @default.
- W2296643275 hasConcept C58166 @default.
- W2296643275 hasConcept C80444323 @default.
- W2296643275 hasConceptScore W2296643275C102993220 @default.
- W2296643275 hasConceptScore W2296643275C111472728 @default.
- W2296643275 hasConceptScore W2296643275C127001435 @default.
- W2296643275 hasConceptScore W2296643275C128838566 @default.
- W2296643275 hasConceptScore W2296643275C137912672 @default.
- W2296643275 hasConceptScore W2296643275C138885662 @default.
- W2296643275 hasConceptScore W2296643275C154945302 @default.
- W2296643275 hasConceptScore W2296643275C177264268 @default.
- W2296643275 hasConceptScore W2296643275C182620335 @default.
- W2296643275 hasConceptScore W2296643275C18296254 @default.
- W2296643275 hasConceptScore W2296643275C199360897 @default.
- W2296643275 hasConceptScore W2296643275C203659156 @default.
- W2296643275 hasConceptScore W2296643275C26713055 @default.
- W2296643275 hasConceptScore W2296643275C2776214188 @default.
- W2296643275 hasConceptScore W2296643275C41008148 @default.
- W2296643275 hasConceptScore W2296643275C42011625 @default.
- W2296643275 hasConceptScore W2296643275C58166 @default.
- W2296643275 hasConceptScore W2296643275C80444323 @default.
- W2296643275 hasLocation W22966432751 @default.
- W2296643275 hasOpenAccess W2296643275 @default.
- W2296643275 hasPrimaryLocation W22966432751 @default.
- W2296643275 hasRelatedWork W1511110679 @default.
- W2296643275 hasRelatedWork W2016993683 @default.
- W2296643275 hasRelatedWork W2040340143 @default.
- W2296643275 hasRelatedWork W206670740 @default.
- W2296643275 hasRelatedWork W2174399230 @default.
- W2296643275 hasRelatedWork W2176973685 @default.
- W2296643275 hasRelatedWork W2283282044 @default.
- W2296643275 hasRelatedWork W2754780800 @default.
- W2296643275 hasRelatedWork W2764157639 @default.
- W2296643275 hasRelatedWork W2949422477 @default.
- W2296643275 isParatext "false" @default.
- W2296643275 isRetracted "false" @default.
- W2296643275 magId "2296643275" @default.
- W2296643275 workType "book-chapter" @default.