Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395246457> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2395246457 endingPage "171" @default.
- W2395246457 startingPage "157" @default.
- W2395246457 abstract "It is well-known, in the area of argumentation theory, that there is a direct relationship between extension-based argumentation semantics and logic programming semantics with negation as failure. One of the main implication of this relationship is that one can explore the implementation of argumentation engines by considering logic programming solvers. Recently, it was proved that the argumentation semantics CF2 can be characterized by the stratified minimal model semantics (MM). The stratified minimal model semantics is also a recently introduced logic programming semantics which is based on a recursive construction and minimal models. In this paper, we introduce a solver based on MINISAT algorithm for inferring the logic programming semantics MM∗. As one of the applications of the MM solver, we will argue that this solver is a suitable tool for computing the argumentation semantics CF2." @default.
- W2395246457 created "2016-06-24" @default.
- W2395246457 creator A5043750039 @default.
- W2395246457 creator A5045363362 @default.
- W2395246457 creator A5016915877 @default.
- W2395246457 date "2009-01-01" @default.
- W2395246457 modified "2023-09-22" @default.
- W2395246457 title "Computing the Stratified Minimal Models Semantic." @default.
- W2395246457 cites W1518705996 @default.
- W2395246457 cites W1533980545 @default.
- W2395246457 cites W1580355372 @default.
- W2395246457 cites W1672891595 @default.
- W2395246457 cites W1968513265 @default.
- W2395246457 cites W2011567991 @default.
- W2395246457 cites W2041342851 @default.
- W2395246457 cites W2050655425 @default.
- W2395246457 cites W2104126268 @default.
- W2395246457 cites W2112029595 @default.
- W2395246457 cites W2117279715 @default.
- W2395246457 cites W2118090719 @default.
- W2395246457 cites W2121835362 @default.
- W2395246457 cites W2130003285 @default.
- W2395246457 cites W2415302829 @default.
- W2395246457 cites W3145128584 @default.
- W2395246457 cites W72338370 @default.
- W2395246457 hasPublicationYear "2009" @default.
- W2395246457 type Work @default.
- W2395246457 sameAs 2395246457 @default.
- W2395246457 citedByCount "2" @default.
- W2395246457 crossrefType "journal-article" @default.
- W2395246457 hasAuthorship W2395246457A5016915877 @default.
- W2395246457 hasAuthorship W2395246457A5043750039 @default.
- W2395246457 hasAuthorship W2395246457A5045363362 @default.
- W2395246457 hasConcept C111472728 @default.
- W2395246457 hasConcept C127001435 @default.
- W2395246457 hasConcept C128838566 @default.
- W2395246457 hasConcept C138885662 @default.
- W2395246457 hasConcept C150607116 @default.
- W2395246457 hasConcept C156325763 @default.
- W2395246457 hasConcept C184337299 @default.
- W2395246457 hasConcept C194146651 @default.
- W2395246457 hasConcept C199360897 @default.
- W2395246457 hasConcept C207648694 @default.
- W2395246457 hasConcept C2185349 @default.
- W2395246457 hasConcept C2778770139 @default.
- W2395246457 hasConcept C41008148 @default.
- W2395246457 hasConcept C65059942 @default.
- W2395246457 hasConcept C80444323 @default.
- W2395246457 hasConcept C89497691 @default.
- W2395246457 hasConceptScore W2395246457C111472728 @default.
- W2395246457 hasConceptScore W2395246457C127001435 @default.
- W2395246457 hasConceptScore W2395246457C128838566 @default.
- W2395246457 hasConceptScore W2395246457C138885662 @default.
- W2395246457 hasConceptScore W2395246457C150607116 @default.
- W2395246457 hasConceptScore W2395246457C156325763 @default.
- W2395246457 hasConceptScore W2395246457C184337299 @default.
- W2395246457 hasConceptScore W2395246457C194146651 @default.
- W2395246457 hasConceptScore W2395246457C199360897 @default.
- W2395246457 hasConceptScore W2395246457C207648694 @default.
- W2395246457 hasConceptScore W2395246457C2185349 @default.
- W2395246457 hasConceptScore W2395246457C2778770139 @default.
- W2395246457 hasConceptScore W2395246457C41008148 @default.
- W2395246457 hasConceptScore W2395246457C65059942 @default.
- W2395246457 hasConceptScore W2395246457C80444323 @default.
- W2395246457 hasConceptScore W2395246457C89497691 @default.
- W2395246457 hasLocation W23952464571 @default.
- W2395246457 hasOpenAccess W2395246457 @default.
- W2395246457 hasPrimaryLocation W23952464571 @default.
- W2395246457 hasRelatedWork W1533980545 @default.
- W2395246457 hasRelatedWork W1564541199 @default.
- W2395246457 hasRelatedWork W1579195102 @default.
- W2395246457 hasRelatedWork W1628187346 @default.
- W2395246457 hasRelatedWork W1680665078 @default.
- W2395246457 hasRelatedWork W1763499098 @default.
- W2395246457 hasRelatedWork W1971164808 @default.
- W2395246457 hasRelatedWork W1989852748 @default.
- W2395246457 hasRelatedWork W1995303925 @default.
- W2395246457 hasRelatedWork W2050486226 @default.
- W2395246457 hasRelatedWork W2081930115 @default.
- W2395246457 hasRelatedWork W2084921023 @default.
- W2395246457 hasRelatedWork W2115303419 @default.
- W2395246457 hasRelatedWork W2143323021 @default.
- W2395246457 hasRelatedWork W2144585112 @default.
- W2395246457 hasRelatedWork W2399019821 @default.
- W2395246457 hasRelatedWork W2400329479 @default.
- W2395246457 hasRelatedWork W2415302829 @default.
- W2395246457 hasRelatedWork W2541423857 @default.
- W2395246457 hasRelatedWork W72338370 @default.
- W2395246457 isParatext "false" @default.
- W2395246457 isRetracted "false" @default.
- W2395246457 magId "2395246457" @default.
- W2395246457 workType "article" @default.