Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963120534> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2963120534 abstract "Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a translation from Normal Logic Programs (NLPs) to ADFs and proved the stable models semantics for a normal logic program has an equivalent semantics to that of the corresponding ADF. However, these studies failed in identifying a semantics for ADFs equivalent to a three-valued semantics (as partial stable models and well-founded models) for NLPs. In this work, we focus on a fragment of ADFs, called Attacking Dialectical Frameworks (ADF$^+$s), and provide a translation from NLPs to ADF$^+$s robust enough to guarantee the equivalence between partial stable models, well-founded models, regular models, stable models semantics for NLPs and respectively complete models, grounded models, preferred models, stable models for ADFs. In addition, we define a new semantics for ADF$^+$s, called L-stable, and show it is equivalent to the L-stable semantics for NLPs. This paper is under consideration for acceptance in TPLP." @default.
- W2963120534 created "2019-07-30" @default.
- W2963120534 creator A5010664252 @default.
- W2963120534 creator A5060990461 @default.
- W2963120534 creator A5084108984 @default.
- W2963120534 date "2019-07-22" @default.
- W2963120534 modified "2023-09-26" @default.
- W2963120534 title "On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs" @default.
- W2963120534 cites W1483568252 @default.
- W2963120534 cites W1486709607 @default.
- W2963120534 cites W1493005536 @default.
- W2963120534 cites W1516535258 @default.
- W2963120534 cites W1523879902 @default.
- W2963120534 cites W1552250714 @default.
- W2963120534 cites W1626176828 @default.
- W2963120534 cites W1672891595 @default.
- W2963120534 cites W1706499668 @default.
- W2963120534 cites W194413726 @default.
- W2963120534 cites W2023808640 @default.
- W2963120534 cites W2038247515 @default.
- W2963120534 cites W2048283782 @default.
- W2963120534 cites W2069176561 @default.
- W2963120534 cites W2091124158 @default.
- W2963120534 cites W2104126268 @default.
- W2963120534 cites W2156092566 @default.
- W2963120534 cites W2265342114 @default.
- W2963120534 cites W2293504531 @default.
- W2963120534 cites W2418002622 @default.
- W2963120534 cites W2544695636 @default.
- W2963120534 cites W2934502900 @default.
- W2963120534 cites W3089210397 @default.
- W2963120534 doi "https://doi.org/10.48550/arxiv.1907.09548" @default.
- W2963120534 hasPublicationYear "2019" @default.
- W2963120534 type Work @default.
- W2963120534 sameAs 2963120534 @default.
- W2963120534 citedByCount "0" @default.
- W2963120534 crossrefType "posted-content" @default.
- W2963120534 hasAuthorship W2963120534A5010664252 @default.
- W2963120534 hasAuthorship W2963120534A5060990461 @default.
- W2963120534 hasAuthorship W2963120534A5084108984 @default.
- W2963120534 hasBestOaLocation W29631205341 @default.
- W2963120534 hasConcept C111472728 @default.
- W2963120534 hasConcept C118615104 @default.
- W2963120534 hasConcept C127001435 @default.
- W2963120534 hasConcept C127413603 @default.
- W2963120534 hasConcept C128838566 @default.
- W2963120534 hasConcept C13184196 @default.
- W2963120534 hasConcept C136119220 @default.
- W2963120534 hasConcept C138885662 @default.
- W2963120534 hasConcept C156325763 @default.
- W2963120534 hasConcept C184337299 @default.
- W2963120534 hasConcept C199360897 @default.
- W2963120534 hasConcept C202444582 @default.
- W2963120534 hasConcept C2776235265 @default.
- W2963120534 hasConcept C2780069185 @default.
- W2963120534 hasConcept C2987117450 @default.
- W2963120534 hasConcept C33923547 @default.
- W2963120534 hasConcept C41008148 @default.
- W2963120534 hasConcept C62611344 @default.
- W2963120534 hasConcept C65059942 @default.
- W2963120534 hasConcept C66938386 @default.
- W2963120534 hasConcept C80444323 @default.
- W2963120534 hasConceptScore W2963120534C111472728 @default.
- W2963120534 hasConceptScore W2963120534C118615104 @default.
- W2963120534 hasConceptScore W2963120534C127001435 @default.
- W2963120534 hasConceptScore W2963120534C127413603 @default.
- W2963120534 hasConceptScore W2963120534C128838566 @default.
- W2963120534 hasConceptScore W2963120534C13184196 @default.
- W2963120534 hasConceptScore W2963120534C136119220 @default.
- W2963120534 hasConceptScore W2963120534C138885662 @default.
- W2963120534 hasConceptScore W2963120534C156325763 @default.
- W2963120534 hasConceptScore W2963120534C184337299 @default.
- W2963120534 hasConceptScore W2963120534C199360897 @default.
- W2963120534 hasConceptScore W2963120534C202444582 @default.
- W2963120534 hasConceptScore W2963120534C2776235265 @default.
- W2963120534 hasConceptScore W2963120534C2780069185 @default.
- W2963120534 hasConceptScore W2963120534C2987117450 @default.
- W2963120534 hasConceptScore W2963120534C33923547 @default.
- W2963120534 hasConceptScore W2963120534C41008148 @default.
- W2963120534 hasConceptScore W2963120534C62611344 @default.
- W2963120534 hasConceptScore W2963120534C65059942 @default.
- W2963120534 hasConceptScore W2963120534C66938386 @default.
- W2963120534 hasConceptScore W2963120534C80444323 @default.
- W2963120534 hasLocation W29631205341 @default.
- W2963120534 hasOpenAccess W2963120534 @default.
- W2963120534 hasPrimaryLocation W29631205341 @default.
- W2963120534 hasRelatedWork W1486709607 @default.
- W2963120534 hasRelatedWork W1575307414 @default.
- W2963120534 hasRelatedWork W1601169590 @default.
- W2963120534 hasRelatedWork W1762092019 @default.
- W2963120534 hasRelatedWork W2016993683 @default.
- W2963120534 hasRelatedWork W2157541508 @default.
- W2963120534 hasRelatedWork W2542099395 @default.
- W2963120534 hasRelatedWork W2754780800 @default.
- W2963120534 hasRelatedWork W2949422477 @default.
- W2963120534 hasRelatedWork W196701684 @default.
- W2963120534 isParatext "false" @default.
- W2963120534 isRetracted "false" @default.
- W2963120534 magId "2963120534" @default.
- W2963120534 workType "article" @default.