Matches in SemOpenAlex for { <https://semopenalex.org/work/W124511257> ?p ?o ?g. }
- W124511257 endingPage "144" @default.
- W124511257 startingPage "133" @default.
- W124511257 abstract "This paper describes a generic approach to implement propositional argumentation frameworks by means of quantified Boolean formulas (QBFs). The motivation to this work is based on the following observations: Firstly, depending on the underlying deductive system and the chosen semantics (i.e., the kind of extension under consideration), reasoning in argumentation frameworks can become computationally involving up to the fourth level of the polynomial hierarchy. This makes the language of QBFs a suitable target formalism since decision problems from the polynomial hierarchy can be efficiently represented in terms of QBFs. Secondly, several practicably efficient solvers for QBFs are currently available, and thus can be used as black-box engines in potential implementations of argumentation frameworks. Finally, the definition of suitable QBF modules provides us with a tool box in order to capture a broad range of reasoning tasks associated to formal argumentation." @default.
- W124511257 created "2016-06-24" @default.
- W124511257 creator A5065693180 @default.
- W124511257 creator A5006053030 @default.
- W124511257 date "2006-05-25" @default.
- W124511257 modified "2023-09-23" @default.
- W124511257 title "Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas" @default.
- W124511257 cites W1484490078 @default.
- W124511257 cites W1489350935 @default.
- W124511257 cites W1510566887 @default.
- W124511257 cites W1540929292 @default.
- W124511257 cites W1541340697 @default.
- W124511257 cites W1572277334 @default.
- W124511257 cites W1576746045 @default.
- W124511257 cites W1667362966 @default.
- W124511257 cites W1877759623 @default.
- W124511257 cites W1966552757 @default.
- W124511257 cites W1996184580 @default.
- W124511257 cites W2006784674 @default.
- W124511257 cites W2020153579 @default.
- W124511257 cites W2039020269 @default.
- W124511257 cites W2048532291 @default.
- W124511257 cites W2081641685 @default.
- W124511257 cites W2102359160 @default.
- W124511257 cites W2104126268 @default.
- W124511257 cites W2110262323 @default.
- W124511257 cites W2114574336 @default.
- W124511257 cites W2140783059 @default.
- W124511257 cites W2149567024 @default.
- W124511257 cites W2155322595 @default.
- W124511257 cites W2170288398 @default.
- W124511257 cites W69898213 @default.
- W124511257 cites W76174158 @default.
- W124511257 hasPublicationYear "2006" @default.
- W124511257 type Work @default.
- W124511257 sameAs 124511257 @default.
- W124511257 citedByCount "7" @default.
- W124511257 countsByYear W1245112572012 @default.
- W124511257 countsByYear W1245112572013 @default.
- W124511257 countsByYear W1245112572015 @default.
- W124511257 crossrefType "proceedings-article" @default.
- W124511257 hasAuthorship W124511257A5006053030 @default.
- W124511257 hasAuthorship W124511257A5065693180 @default.
- W124511257 hasConcept C111472728 @default.
- W124511257 hasConcept C11413529 @default.
- W124511257 hasConcept C138885662 @default.
- W124511257 hasConcept C142362112 @default.
- W124511257 hasConcept C153349607 @default.
- W124511257 hasConcept C154945302 @default.
- W124511257 hasConcept C162324750 @default.
- W124511257 hasConcept C179799912 @default.
- W124511257 hasConcept C184337299 @default.
- W124511257 hasConcept C199360897 @default.
- W124511257 hasConcept C26713055 @default.
- W124511257 hasConcept C2776013622 @default.
- W124511257 hasConcept C31170391 @default.
- W124511257 hasConcept C34447519 @default.
- W124511257 hasConcept C41008148 @default.
- W124511257 hasConcept C558565934 @default.
- W124511257 hasConcept C65059942 @default.
- W124511257 hasConcept C69562738 @default.
- W124511257 hasConcept C73301696 @default.
- W124511257 hasConcept C80444323 @default.
- W124511257 hasConceptScore W124511257C111472728 @default.
- W124511257 hasConceptScore W124511257C11413529 @default.
- W124511257 hasConceptScore W124511257C138885662 @default.
- W124511257 hasConceptScore W124511257C142362112 @default.
- W124511257 hasConceptScore W124511257C153349607 @default.
- W124511257 hasConceptScore W124511257C154945302 @default.
- W124511257 hasConceptScore W124511257C162324750 @default.
- W124511257 hasConceptScore W124511257C179799912 @default.
- W124511257 hasConceptScore W124511257C184337299 @default.
- W124511257 hasConceptScore W124511257C199360897 @default.
- W124511257 hasConceptScore W124511257C26713055 @default.
- W124511257 hasConceptScore W124511257C2776013622 @default.
- W124511257 hasConceptScore W124511257C31170391 @default.
- W124511257 hasConceptScore W124511257C34447519 @default.
- W124511257 hasConceptScore W124511257C41008148 @default.
- W124511257 hasConceptScore W124511257C558565934 @default.
- W124511257 hasConceptScore W124511257C65059942 @default.
- W124511257 hasConceptScore W124511257C69562738 @default.
- W124511257 hasConceptScore W124511257C73301696 @default.
- W124511257 hasConceptScore W124511257C80444323 @default.
- W124511257 hasLocation W1245112571 @default.
- W124511257 hasOpenAccess W124511257 @default.
- W124511257 hasPrimaryLocation W1245112571 @default.
- W124511257 hasRelatedWork W1518705996 @default.
- W124511257 hasRelatedWork W1558684985 @default.
- W124511257 hasRelatedWork W1626176828 @default.
- W124511257 hasRelatedWork W1875482477 @default.
- W124511257 hasRelatedWork W1965296062 @default.
- W124511257 hasRelatedWork W1966873207 @default.
- W124511257 hasRelatedWork W1984290203 @default.
- W124511257 hasRelatedWork W2003822553 @default.
- W124511257 hasRelatedWork W2011844594 @default.
- W124511257 hasRelatedWork W2015899729 @default.
- W124511257 hasRelatedWork W2037950528 @default.
- W124511257 hasRelatedWork W2076698873 @default.