FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126150892> ?p ?o ?g. }

• W3126150892 endingPage "103470" @default.
• W3126150892 startingPage "103470" @default.
• W3126150892 abstract "Abstract argumentation frameworks (AFs), originally proposed by Dung, constitute a central formal model for the study of computational aspects of argumentation in AI. Credulous and skeptical acceptance of arguments in a given AF are well-studied problems both in terms of theoretical analysis—especially computational complexity—and the development of practical decision procedures for the problems. However, AFs make the assumption that all attacks between arguments are certain (i.e., present attacks are known to exist, and missing attacks are known to not exist), which can in various settings be a restrictive assumption. A generalization of AFs to incomplete AFs was recently proposed as a formalism that allows the representation of both uncertain attacks and uncertain arguments in AFs. In this article, we explore the impact of allowing for modeling such uncertainties in AFs on the computational complexity of natural generalizations of acceptance problems to incomplete AFs under various central AF semantics. Complementing the complexity-theoretic analysis, we also develop the first practical decision procedures for all of the NP-hard variants of acceptance in incomplete AFs. In terms of complexity analysis, we establish a full complexity landscape, showing that depending on the variant of acceptance and property/semantics, the complexity of acceptance in incomplete AFs ranges from polynomial-time decidable to completeness for Σ 3 p . In terms of algorithms, we show through an extensive empirical evaluation that an implementation of the proposed decision procedures, based on boolean satisfiability (SAT) solving, is effective in deciding variants of acceptance under uncertainties. We also establish conditions for what type of atomic changes are guaranteed to be redundant from the perspective of preserving extensions of completions of incomplete AFs, and show that the results allow for considerably improving the empirical efficiency of the proposed SAT-based counterexample-guided abstraction refinement algorithms for acceptance in incomplete AFs for problem variants with complexity beyond NP." @default.
• W3126150892 created "2021-02-15" @default.
• W3126150892 creator A5050330691 @default.
• W3126150892 creator A5050661976 @default.
• W3126150892 creator A5070033507 @default.
• W3126150892 creator A5081120128 @default.
• W3126150892 creator A5089559958 @default.
• W3126150892 date "2021-06-01" @default.
• W3126150892 modified "2023-09-24" @default.
• W3126150892 title "Acceptance in incomplete argumentation frameworks" @default.
• W3126150892 cites W1974434188 @default.
• W3126150892 cites W1975303601 @default.
• W3126150892 cites W2011844594 @default.
• W3126150892 cites W2011864760 @default.
• W3126150892 cites W2042586976 @default.
• W3126150892 cites W2049248401 @default.
• W3126150892 cites W2065251436 @default.
• W3126150892 cites W2072643736 @default.
• W3126150892 cites W2085556349 @default.
• W3126150892 cites W2088166168 @default.
• W3126150892 cites W2090039116 @default.
• W3126150892 cites W2093454413 @default.
• W3126150892 cites W2099091523 @default.
• W3126150892 cites W2100875224 @default.
• W3126150892 cites W2104126268 @default.
• W3126150892 cites W2105474401 @default.
• W3126150892 cites W2112029595 @default.
• W3126150892 cites W2123298155 @default.
• W3126150892 cites W2127205333 @default.
• W3126150892 cites W2127574686 @default.
• W3126150892 cites W2137407595 @default.
• W3126150892 cites W2149567024 @default.
• W3126150892 cites W2207251955 @default.
• W3126150892 cites W2561997573 @default.
• W3126150892 cites W2739502272 @default.
• W3126150892 cites W2785837881 @default.
• W3126150892 cites W2885218246 @default.
• W3126150892 cites W2897805537 @default.
• W3126150892 cites W2964722251 @default.
• W3126150892 cites W2972193736 @default.
• W3126150892 cites W2982572682 @default.
• W3126150892 cites W2989062896 @default.
• W3126150892 cites W4255471579 @default.
• W3126150892 cites W57269202 @default.
• W3126150892 doi "https://doi.org/10.1016/j.artint.2021.103470" @default.
• W3126150892 hasPublicationYear "2021" @default.
• W3126150892 type Work @default.
• W3126150892 sameAs 3126150892 @default.
• W3126150892 citedByCount "15" @default.
• W3126150892 countsByYear W31261508922021 @default.
• W3126150892 countsByYear W31261508922022 @default.
• W3126150892 countsByYear W31261508922023 @default.
• W3126150892 crossrefType "journal-article" @default.
• W3126150892 hasAuthorship W3126150892A5050330691 @default.
• W3126150892 hasAuthorship W3126150892A5050661976 @default.
• W3126150892 hasAuthorship W3126150892A5070033507 @default.
• W3126150892 hasAuthorship W3126150892A5081120128 @default.
• W3126150892 hasAuthorship W3126150892A5089559958 @default.
• W3126150892 hasBestOaLocation W31261508921 @default.
• W3126150892 hasConcept C111472728 @default.
• W3126150892 hasConcept C11413529 @default.
• W3126150892 hasConcept C134306372 @default.
• W3126150892 hasConcept C138885662 @default.
• W3126150892 hasConcept C142362112 @default.
• W3126150892 hasConcept C153269930 @default.
• W3126150892 hasConcept C153349607 @default.
• W3126150892 hasConcept C168773769 @default.
• W3126150892 hasConcept C17231256 @default.
• W3126150892 hasConcept C179799912 @default.
• W3126150892 hasConcept C184337299 @default.
• W3126150892 hasConcept C199360897 @default.
• W3126150892 hasConcept C33923547 @default.
• W3126150892 hasConcept C41008148 @default.
• W3126150892 hasConcept C558565934 @default.
• W3126150892 hasConcept C65059942 @default.
• W3126150892 hasConcept C6943359 @default.
• W3126150892 hasConcept C73301696 @default.
• W3126150892 hasConcept C80444323 @default.
• W3126150892 hasConceptScore W3126150892C111472728 @default.
• W3126150892 hasConceptScore W3126150892C11413529 @default.
• W3126150892 hasConceptScore W3126150892C134306372 @default.
• W3126150892 hasConceptScore W3126150892C138885662 @default.
• W3126150892 hasConceptScore W3126150892C142362112 @default.
• W3126150892 hasConceptScore W3126150892C153269930 @default.
• W3126150892 hasConceptScore W3126150892C153349607 @default.
• W3126150892 hasConceptScore W3126150892C168773769 @default.
• W3126150892 hasConceptScore W3126150892C17231256 @default.
• W3126150892 hasConceptScore W3126150892C179799912 @default.
• W3126150892 hasConceptScore W3126150892C184337299 @default.
• W3126150892 hasConceptScore W3126150892C199360897 @default.
• W3126150892 hasConceptScore W3126150892C33923547 @default.
• W3126150892 hasConceptScore W3126150892C41008148 @default.
• W3126150892 hasConceptScore W3126150892C558565934 @default.
• W3126150892 hasConceptScore W3126150892C65059942 @default.
• W3126150892 hasConceptScore W3126150892C6943359 @default.
• W3126150892 hasConceptScore W3126150892C73301696 @default.
• W3126150892 hasConceptScore W3126150892C80444323 @default.
• W3126150892 hasFunder F4320310086 @default.

• next