Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102581353> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2102581353 endingPage "317" @default.
- W2102581353 startingPage "305" @default.
- W2102581353 abstract "Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming is usually named well-founded semantics. However, the issue of defining and computing the well-founded semantics for disjunctive programs and databases has proved to be far more complex and difficult than for normal logic programs. The argumentation-based semantics WFDS is among the most promising proposals that attempts to define a natural well-founded semantics for disjunctive programs. In this paper, we propose a top-down procedure for WFDS called D-SLS Resolution, which naturally extends the Global SLS-resolution and SLI-resolution. We prove that D-SLS Resolution is sound and complete with respect to WFDS. This result in turn provides a further yet more powerful argument in favor of the WFDS.KeywordsLogic ProgramLogic ProgrammingTree NodeNegation NodeDisjunctive ProgramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2102581353 created "2016-06-24" @default.
- W2102581353 creator A5031190010 @default.
- W2102581353 date "2001-01-01" @default.
- W2102581353 modified "2023-09-23" @default.
- W2102581353 title "A Top-Down Procedure for Disjunctive Well-Founded Semantics" @default.
- W2102581353 cites W1553364858 @default.
- W2102581353 cites W1965634437 @default.
- W2102581353 cites W1968513265 @default.
- W2102581353 cites W2024612361 @default.
- W2102581353 cites W2036241121 @default.
- W2102581353 cites W2070598037 @default.
- W2102581353 cites W2078711049 @default.
- W2102581353 cites W207962917 @default.
- W2102581353 cites W2081383291 @default.
- W2102581353 doi "https://doi.org/10.1007/3-540-45744-5_22" @default.
- W2102581353 hasPublicationYear "2001" @default.
- W2102581353 type Work @default.
- W2102581353 sameAs 2102581353 @default.
- W2102581353 citedByCount "3" @default.
- W2102581353 crossrefType "book-chapter" @default.
- W2102581353 hasAuthorship W2102581353A5031190010 @default.
- W2102581353 hasConcept C111472728 @default.
- W2102581353 hasConcept C127001435 @default.
- W2102581353 hasConcept C128838566 @default.
- W2102581353 hasConcept C138268822 @default.
- W2102581353 hasConcept C138885662 @default.
- W2102581353 hasConcept C154945302 @default.
- W2102581353 hasConcept C156325763 @default.
- W2102581353 hasConcept C18296254 @default.
- W2102581353 hasConcept C184337299 @default.
- W2102581353 hasConcept C185592680 @default.
- W2102581353 hasConcept C199360897 @default.
- W2102581353 hasConcept C207648694 @default.
- W2102581353 hasConcept C2987117450 @default.
- W2102581353 hasConcept C41008148 @default.
- W2102581353 hasConcept C55493867 @default.
- W2102581353 hasConcept C65059942 @default.
- W2102581353 hasConcept C80444323 @default.
- W2102581353 hasConcept C89497691 @default.
- W2102581353 hasConcept C98184364 @default.
- W2102581353 hasConceptScore W2102581353C111472728 @default.
- W2102581353 hasConceptScore W2102581353C127001435 @default.
- W2102581353 hasConceptScore W2102581353C128838566 @default.
- W2102581353 hasConceptScore W2102581353C138268822 @default.
- W2102581353 hasConceptScore W2102581353C138885662 @default.
- W2102581353 hasConceptScore W2102581353C154945302 @default.
- W2102581353 hasConceptScore W2102581353C156325763 @default.
- W2102581353 hasConceptScore W2102581353C18296254 @default.
- W2102581353 hasConceptScore W2102581353C184337299 @default.
- W2102581353 hasConceptScore W2102581353C185592680 @default.
- W2102581353 hasConceptScore W2102581353C199360897 @default.
- W2102581353 hasConceptScore W2102581353C207648694 @default.
- W2102581353 hasConceptScore W2102581353C2987117450 @default.
- W2102581353 hasConceptScore W2102581353C41008148 @default.
- W2102581353 hasConceptScore W2102581353C55493867 @default.
- W2102581353 hasConceptScore W2102581353C65059942 @default.
- W2102581353 hasConceptScore W2102581353C80444323 @default.
- W2102581353 hasConceptScore W2102581353C89497691 @default.
- W2102581353 hasConceptScore W2102581353C98184364 @default.
- W2102581353 hasLocation W21025813531 @default.
- W2102581353 hasOpenAccess W2102581353 @default.
- W2102581353 hasPrimaryLocation W21025813531 @default.
- W2102581353 hasRelatedWork W114547669 @default.
- W2102581353 hasRelatedWork W1753839785 @default.
- W2102581353 hasRelatedWork W1860761177 @default.
- W2102581353 hasRelatedWork W1995638504 @default.
- W2102581353 hasRelatedWork W2012767403 @default.
- W2102581353 hasRelatedWork W2038761666 @default.
- W2102581353 hasRelatedWork W2107191683 @default.
- W2102581353 hasRelatedWork W2181387100 @default.
- W2102581353 hasRelatedWork W2406874399 @default.
- W2102581353 hasRelatedWork W2472215201 @default.
- W2102581353 hasRelatedWork W2523373054 @default.
- W2102581353 hasRelatedWork W2528838465 @default.
- W2102581353 hasRelatedWork W2548335565 @default.
- W2102581353 hasRelatedWork W2595800352 @default.
- W2102581353 hasRelatedWork W2597189952 @default.
- W2102581353 hasRelatedWork W2769775579 @default.
- W2102581353 hasRelatedWork W2911538936 @default.
- W2102581353 hasRelatedWork W2950641724 @default.
- W2102581353 hasRelatedWork W3110515833 @default.
- W2102581353 hasRelatedWork W152841334 @default.
- W2102581353 isParatext "false" @default.
- W2102581353 isRetracted "false" @default.
- W2102581353 magId "2102581353" @default.
- W2102581353 workType "book-chapter" @default.