Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036042338> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3036042338 endingPage "300" @default.
- W3036042338 startingPage "293" @default.
- W3036042338 abstract "Argumentation theory combines philosophical concepts and computational models to deliver a practical approach to reasoning that handles uncertain information and possibly conflicting viewpoints. This paper focuses on the structured approach to argumentation that incorporates domain specific knowledge and argumentation schemes. There is a lack of implementations and implementation methods for most structured models. This paper shows how taking a principled approach, using the programming language Haskell, helps addressing this problem. We construct a framework for developing structured argumentation models and translations between models (given intertranslatability of models). We furthermore provide a methodology to quickly test and formally prove desirable properties of such implementations using a theorem prover. We demonstrate our approach on the Carneades argumentation model and Dung's abstract argumentation frameworks, implementing both the models and a translation from Carneades into AFs. We then provide implementations of correspondence properties and an initial formalisation of Dung's AFs into a theorem prover. The final result is a verified pipeline from the structured model Carneades into existing efficient SAT-based implementations of Dung's AFs." @default.
- W3036042338 created "2020-06-25" @default.
- W3036042338 creator A5014442955 @default.
- W3036042338 creator A5077208166 @default.
- W3036042338 date "2014-01-01" @default.
- W3036042338 modified "2023-09-28" @default.
- W3036042338 title "A principled approach to the implementation of argumentation models." @default.
- W3036042338 hasPublicationYear "2014" @default.
- W3036042338 type Work @default.
- W3036042338 sameAs 3036042338 @default.
- W3036042338 citedByCount "0" @default.
- W3036042338 crossrefType "proceedings-article" @default.
- W3036042338 hasAuthorship W3036042338A5014442955 @default.
- W3036042338 hasAuthorship W3036042338A5077208166 @default.
- W3036042338 hasConcept C108710211 @default.
- W3036042338 hasConcept C111472728 @default.
- W3036042338 hasConcept C138885662 @default.
- W3036042338 hasConcept C142362112 @default.
- W3036042338 hasConcept C153349607 @default.
- W3036042338 hasConcept C159718280 @default.
- W3036042338 hasConcept C199360897 @default.
- W3036042338 hasConcept C206880738 @default.
- W3036042338 hasConcept C2524010 @default.
- W3036042338 hasConcept C26713055 @default.
- W3036042338 hasConcept C2776035091 @default.
- W3036042338 hasConcept C33923547 @default.
- W3036042338 hasConcept C41008148 @default.
- W3036042338 hasConcept C65059942 @default.
- W3036042338 hasConcept C80444323 @default.
- W3036042338 hasConceptScore W3036042338C108710211 @default.
- W3036042338 hasConceptScore W3036042338C111472728 @default.
- W3036042338 hasConceptScore W3036042338C138885662 @default.
- W3036042338 hasConceptScore W3036042338C142362112 @default.
- W3036042338 hasConceptScore W3036042338C153349607 @default.
- W3036042338 hasConceptScore W3036042338C159718280 @default.
- W3036042338 hasConceptScore W3036042338C199360897 @default.
- W3036042338 hasConceptScore W3036042338C206880738 @default.
- W3036042338 hasConceptScore W3036042338C2524010 @default.
- W3036042338 hasConceptScore W3036042338C26713055 @default.
- W3036042338 hasConceptScore W3036042338C2776035091 @default.
- W3036042338 hasConceptScore W3036042338C33923547 @default.
- W3036042338 hasConceptScore W3036042338C41008148 @default.
- W3036042338 hasConceptScore W3036042338C65059942 @default.
- W3036042338 hasConceptScore W3036042338C80444323 @default.
- W3036042338 hasLocation W30360423381 @default.
- W3036042338 hasOpenAccess W3036042338 @default.
- W3036042338 hasPrimaryLocation W30360423381 @default.
- W3036042338 hasRelatedWork W124159936 @default.
- W3036042338 hasRelatedWork W1504174301 @default.
- W3036042338 hasRelatedWork W1811306997 @default.
- W3036042338 hasRelatedWork W1884320465 @default.
- W3036042338 hasRelatedWork W1989896818 @default.
- W3036042338 hasRelatedWork W2070179237 @default.
- W3036042338 hasRelatedWork W2119121653 @default.
- W3036042338 hasRelatedWork W2169757787 @default.
- W3036042338 hasRelatedWork W2400231201 @default.
- W3036042338 hasRelatedWork W2605660110 @default.
- W3036042338 hasRelatedWork W2765255012 @default.
- W3036042338 hasRelatedWork W277742567 @default.
- W3036042338 hasRelatedWork W2788188442 @default.
- W3036042338 hasRelatedWork W2945547108 @default.
- W3036042338 hasRelatedWork W2964185270 @default.
- W3036042338 hasRelatedWork W3103956734 @default.
- W3036042338 hasRelatedWork W3159983683 @default.
- W3036042338 hasRelatedWork W3205441183 @default.
- W3036042338 hasRelatedWork W79296947 @default.
- W3036042338 hasRelatedWork W174400561 @default.
- W3036042338 isParatext "false" @default.
- W3036042338 isRetracted "false" @default.
- W3036042338 magId "3036042338" @default.
- W3036042338 workType "article" @default.