Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247122232> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2247122232 endingPage "9" @default.
- W2247122232 startingPage "2" @default.
- W2247122232 abstract "Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle." @default.
- W2247122232 created "2016-06-24" @default.
- W2247122232 creator A5009887598 @default.
- W2247122232 creator A5020963318 @default.
- W2247122232 creator A5056749857 @default.
- W2247122232 creator A5076673278 @default.
- W2247122232 date "2013-08-01" @default.
- W2247122232 modified "2023-09-27" @default.
- W2247122232 title "Answer set programs with optional rules: a possibilistic approach" @default.
- W2247122232 cites W1482532598 @default.
- W2247122232 cites W1539073210 @default.
- W2247122232 cites W1567452831 @default.
- W2247122232 cites W1606891084 @default.
- W2247122232 cites W1672891595 @default.
- W2247122232 cites W1732487661 @default.
- W2247122232 cites W1797711932 @default.
- W2247122232 cites W1956817724 @default.
- W2247122232 cites W1963610481 @default.
- W2247122232 cites W1976055110 @default.
- W2247122232 cites W1987080413 @default.
- W2247122232 cites W1992992996 @default.
- W2247122232 cites W2007321291 @default.
- W2247122232 cites W202248608 @default.
- W2247122232 cites W2040340501 @default.
- W2247122232 cites W2088175080 @default.
- W2247122232 cites W2105197521 @default.
- W2247122232 cites W2151969824 @default.
- W2247122232 cites W2161403060 @default.
- W2247122232 cites W2293271593 @default.
- W2247122232 cites W2399343913 @default.
- W2247122232 hasPublicationYear "2013" @default.
- W2247122232 type Work @default.
- W2247122232 sameAs 2247122232 @default.
- W2247122232 citedByCount "0" @default.
- W2247122232 crossrefType "journal-article" @default.
- W2247122232 hasAuthorship W2247122232A5009887598 @default.
- W2247122232 hasAuthorship W2247122232A5020963318 @default.
- W2247122232 hasAuthorship W2247122232A5056749857 @default.
- W2247122232 hasAuthorship W2247122232A5076673278 @default.
- W2247122232 hasConcept C134306372 @default.
- W2247122232 hasConcept C154945302 @default.
- W2247122232 hasConcept C159032336 @default.
- W2247122232 hasConcept C177264268 @default.
- W2247122232 hasConcept C182620335 @default.
- W2247122232 hasConcept C199360897 @default.
- W2247122232 hasConcept C33923547 @default.
- W2247122232 hasConcept C41008148 @default.
- W2247122232 hasConcept C62360110 @default.
- W2247122232 hasConcept C72169020 @default.
- W2247122232 hasConcept C80444323 @default.
- W2247122232 hasConceptScore W2247122232C134306372 @default.
- W2247122232 hasConceptScore W2247122232C154945302 @default.
- W2247122232 hasConceptScore W2247122232C159032336 @default.
- W2247122232 hasConceptScore W2247122232C177264268 @default.
- W2247122232 hasConceptScore W2247122232C182620335 @default.
- W2247122232 hasConceptScore W2247122232C199360897 @default.
- W2247122232 hasConceptScore W2247122232C33923547 @default.
- W2247122232 hasConceptScore W2247122232C41008148 @default.
- W2247122232 hasConceptScore W2247122232C62360110 @default.
- W2247122232 hasConceptScore W2247122232C72169020 @default.
- W2247122232 hasConceptScore W2247122232C80444323 @default.
- W2247122232 hasLocation W22471222321 @default.
- W2247122232 hasOpenAccess W2247122232 @default.
- W2247122232 hasPrimaryLocation W22471222321 @default.
- W2247122232 hasRelatedWork W1500091543 @default.
- W2247122232 hasRelatedWork W150873002 @default.
- W2247122232 hasRelatedWork W1587596614 @default.
- W2247122232 hasRelatedWork W1715249381 @default.
- W2247122232 hasRelatedWork W1796589429 @default.
- W2247122232 hasRelatedWork W194006332 @default.
- W2247122232 hasRelatedWork W1975434020 @default.
- W2247122232 hasRelatedWork W1994880611 @default.
- W2247122232 hasRelatedWork W2065720717 @default.
- W2247122232 hasRelatedWork W2078040181 @default.
- W2247122232 hasRelatedWork W2150407752 @default.
- W2247122232 hasRelatedWork W2295730757 @default.
- W2247122232 hasRelatedWork W2613111260 @default.
- W2247122232 hasRelatedWork W2899088537 @default.
- W2247122232 hasRelatedWork W3109438997 @default.
- W2247122232 hasRelatedWork W323243352 @default.
- W2247122232 hasRelatedWork W337045046 @default.
- W2247122232 hasRelatedWork W43258335 @default.
- W2247122232 hasRelatedWork W579827085 @default.
- W2247122232 hasRelatedWork W2461033139 @default.
- W2247122232 isParatext "false" @default.
- W2247122232 isRetracted "false" @default.
- W2247122232 magId "2247122232" @default.
- W2247122232 workType "article" @default.