FRINK Linked Data Fragments server

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

• W3192590980 abstract "Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA. In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning. In particular, we develop non-trivial counterexample-guided abstraction refinement procedures based on incremental ASP solving for these tasks. We also show empirically that the procedures are significantly more effective than previously proposed algorithms for the tasks. This paper is under consideration for acceptance in TPLP." @default.
• W3192590980 created "2021-08-16" @default.
• W3192590980 creator A5001972412 @default.
• W3192590980 creator A5059688960 @default.
• W3192590980 creator A5081120128 @default.
• W3192590980 date "2021-08-09" @default.
• W3192590980 modified "2023-09-27" @default.
• W3192590980 title "Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation" @default.
• W3192590980 cites W1482532598 @default.
• W3192590980 cites W166258322 @default.
• W3192590980 cites W1672891595 @default.
• W3192590980 cites W1907236407 @default.
• W3192590980 cites W2006784674 @default.
• W3192590980 cites W2018816844 @default.
• W3192590980 cites W2048283782 @default.
• W3192590980 cites W2084827335 @default.
• W3192590980 cites W2127574686 @default.
• W3192590980 cites W2152131859 @default.
• W3192590980 cites W2155378065 @default.
• W3192590980 cites W2189215209 @default.
• W3192590980 cites W2200750309 @default.
• W3192590980 cites W2315334056 @default.
• W3192590980 cites W2418002622 @default.
• W3192590980 cites W2520611492 @default.
• W3192590980 cites W2578895614 @default.
• W3192590980 cites W2624663563 @default.
• W3192590980 cites W2762986940 @default.
• W3192590980 cites W2800433432 @default.
• W3192590980 cites W2941995159 @default.
• W3192590980 cites W3049478784 @default.
• W3192590980 cites W3177275367 @default.
• W3192590980 cites W2892936665 @default.
• W3192590980 cites W2950704581 @default.
• W3192590980 hasPublicationYear "2021" @default.
• W3192590980 type Work @default.
• W3192590980 sameAs 3192590980 @default.
• W3192590980 citedByCount "0" @default.
• W3192590980 crossrefType "posted-content" @default.
• W3192590980 hasAuthorship W3192590980A5001972412 @default.
• W3192590980 hasAuthorship W3192590980A5059688960 @default.
• W3192590980 hasAuthorship W3192590980A5081120128 @default.
• W3192590980 hasConcept C111472728 @default.
• W3192590980 hasConcept C11413529 @default.
• W3192590980 hasConcept C118615104 @default.
• W3192590980 hasConcept C124304363 @default.
• W3192590980 hasConcept C128838566 @default.
• W3192590980 hasConcept C138885662 @default.
• W3192590980 hasConcept C140843580 @default.
• W3192590980 hasConcept C142362112 @default.
• W3192590980 hasConcept C153349607 @default.
• W3192590980 hasConcept C154945302 @default.
• W3192590980 hasConcept C159032336 @default.
• W3192590980 hasConcept C162838799 @default.
• W3192590980 hasConcept C177264268 @default.
• W3192590980 hasConcept C182620335 @default.
• W3192590980 hasConcept C18296254 @default.
• W3192590980 hasConcept C195344581 @default.
• W3192590980 hasConcept C199360897 @default.
• W3192590980 hasConcept C2776013622 @default.
• W3192590980 hasConcept C2776235265 @default.
• W3192590980 hasConcept C311688 @default.
• W3192590980 hasConcept C33923547 @default.
• W3192590980 hasConcept C41008148 @default.
• W3192590980 hasConcept C558565934 @default.
• W3192590980 hasConcept C65059942 @default.
• W3192590980 hasConcept C73301696 @default.
• W3192590980 hasConcept C80444323 @default.
• W3192590980 hasConceptScore W3192590980C111472728 @default.
• W3192590980 hasConceptScore W3192590980C11413529 @default.
• W3192590980 hasConceptScore W3192590980C118615104 @default.
• W3192590980 hasConceptScore W3192590980C124304363 @default.
• W3192590980 hasConceptScore W3192590980C128838566 @default.
• W3192590980 hasConceptScore W3192590980C138885662 @default.
• W3192590980 hasConceptScore W3192590980C140843580 @default.
• W3192590980 hasConceptScore W3192590980C142362112 @default.
• W3192590980 hasConceptScore W3192590980C153349607 @default.
• W3192590980 hasConceptScore W3192590980C154945302 @default.
• W3192590980 hasConceptScore W3192590980C159032336 @default.
• W3192590980 hasConceptScore W3192590980C162838799 @default.
• W3192590980 hasConceptScore W3192590980C177264268 @default.
• W3192590980 hasConceptScore W3192590980C182620335 @default.
• W3192590980 hasConceptScore W3192590980C18296254 @default.
• W3192590980 hasConceptScore W3192590980C195344581 @default.
• W3192590980 hasConceptScore W3192590980C199360897 @default.
• W3192590980 hasConceptScore W3192590980C2776013622 @default.
• W3192590980 hasConceptScore W3192590980C2776235265 @default.
• W3192590980 hasConceptScore W3192590980C311688 @default.
• W3192590980 hasConceptScore W3192590980C33923547 @default.
• W3192590980 hasConceptScore W3192590980C41008148 @default.
• W3192590980 hasConceptScore W3192590980C558565934 @default.
• W3192590980 hasConceptScore W3192590980C65059942 @default.
• W3192590980 hasConceptScore W3192590980C73301696 @default.
• W3192590980 hasConceptScore W3192590980C80444323 @default.
• W3192590980 hasLocation W31925909801 @default.
• W3192590980 hasOpenAccess W3192590980 @default.
• W3192590980 hasPrimaryLocation W31925909801 @default.
• W3192590980 hasRelatedWork W1486420626 @default.
• W3192590980 hasRelatedWork W1541987558 @default.
• W3192590980 hasRelatedWork W1677519333 @default.
• W3192590980 hasRelatedWork W1921865571 @default.

• next