Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044550424> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3044550424 abstract "Formal argumentation can be used to model and evaluate reasoning, making it a powerful support for AI. Further, AI methods can help find answers to logical problems in formal argumentation. This project explores Abstract Dialectical Frameworks (ADFs), an argumentation formalism structured as a network of arguments. A propositional formula is attached to each argument, to indicate the conditions under which an argument can be accepted and to show the type of relation between arguments.One logical problem in ADFs is the credulous decision problem, which describes the question of whether there exists a set of truth values for the arguments under certain semantics in which a specific argument has a given value. Keshavarzi presents a discussion game algorithm between two players, which solves this problem under preferred semantics. In this game, the players take turns trying to find new information given a claim the previous player made about the truth values of arguments. Depth-First Search is applied to find the final set of truth values needed to solve the credulous decision problem. If DFS fails, then the initial claim is not satisfiable. This project consists of the implementation of this discussion game in Python." @default.
- W3044550424 created "2020-07-29" @default.
- W3044550424 creator A5083523380 @default.
- W3044550424 date "2020-01-01" @default.
- W3044550424 modified "2023-09-26" @default.
- W3044550424 title "Implementing an Argumentation Game for ADFs under Preferred Semantics" @default.
- W3044550424 hasPublicationYear "2020" @default.
- W3044550424 type Work @default.
- W3044550424 sameAs 3044550424 @default.
- W3044550424 citedByCount "0" @default.
- W3044550424 crossrefType "dissertation" @default.
- W3044550424 hasAuthorship W3044550424A5083523380 @default.
- W3044550424 hasConcept C111472728 @default.
- W3044550424 hasConcept C13184196 @default.
- W3044550424 hasConcept C138885662 @default.
- W3044550424 hasConcept C142362112 @default.
- W3044550424 hasConcept C153349607 @default.
- W3044550424 hasConcept C154945302 @default.
- W3044550424 hasConcept C156325763 @default.
- W3044550424 hasConcept C184337299 @default.
- W3044550424 hasConcept C185592680 @default.
- W3044550424 hasConcept C199360897 @default.
- W3044550424 hasConcept C207648694 @default.
- W3044550424 hasConcept C2779607372 @default.
- W3044550424 hasConcept C33923547 @default.
- W3044550424 hasConcept C41008148 @default.
- W3044550424 hasConcept C46274116 @default.
- W3044550424 hasConcept C55493867 @default.
- W3044550424 hasConcept C558565934 @default.
- W3044550424 hasConcept C65059942 @default.
- W3044550424 hasConcept C73301696 @default.
- W3044550424 hasConcept C80444323 @default.
- W3044550424 hasConcept C9672783 @default.
- W3044550424 hasConcept C98184364 @default.
- W3044550424 hasConceptScore W3044550424C111472728 @default.
- W3044550424 hasConceptScore W3044550424C13184196 @default.
- W3044550424 hasConceptScore W3044550424C138885662 @default.
- W3044550424 hasConceptScore W3044550424C142362112 @default.
- W3044550424 hasConceptScore W3044550424C153349607 @default.
- W3044550424 hasConceptScore W3044550424C154945302 @default.
- W3044550424 hasConceptScore W3044550424C156325763 @default.
- W3044550424 hasConceptScore W3044550424C184337299 @default.
- W3044550424 hasConceptScore W3044550424C185592680 @default.
- W3044550424 hasConceptScore W3044550424C199360897 @default.
- W3044550424 hasConceptScore W3044550424C207648694 @default.
- W3044550424 hasConceptScore W3044550424C2779607372 @default.
- W3044550424 hasConceptScore W3044550424C33923547 @default.
- W3044550424 hasConceptScore W3044550424C41008148 @default.
- W3044550424 hasConceptScore W3044550424C46274116 @default.
- W3044550424 hasConceptScore W3044550424C55493867 @default.
- W3044550424 hasConceptScore W3044550424C558565934 @default.
- W3044550424 hasConceptScore W3044550424C65059942 @default.
- W3044550424 hasConceptScore W3044550424C73301696 @default.
- W3044550424 hasConceptScore W3044550424C80444323 @default.
- W3044550424 hasConceptScore W3044550424C9672783 @default.
- W3044550424 hasConceptScore W3044550424C98184364 @default.
- W3044550424 hasLocation W30445504241 @default.
- W3044550424 hasOpenAccess W3044550424 @default.
- W3044550424 hasPrimaryLocation W30445504241 @default.
- W3044550424 hasRelatedWork W158582132 @default.
- W3044550424 hasRelatedWork W1860436951 @default.
- W3044550424 hasRelatedWork W1989515487 @default.
- W3044550424 hasRelatedWork W203684680 @default.
- W3044550424 hasRelatedWork W2048283782 @default.
- W3044550424 hasRelatedWork W207912828 @default.
- W3044550424 hasRelatedWork W2089017110 @default.
- W3044550424 hasRelatedWork W2125018333 @default.
- W3044550424 hasRelatedWork W2201998628 @default.
- W3044550424 hasRelatedWork W2394754640 @default.
- W3044550424 hasRelatedWork W2462910507 @default.
- W3044550424 hasRelatedWork W2476682380 @default.
- W3044550424 hasRelatedWork W2485166179 @default.
- W3044550424 hasRelatedWork W2678184813 @default.
- W3044550424 hasRelatedWork W2904942770 @default.
- W3044550424 hasRelatedWork W2914288492 @default.
- W3044550424 hasRelatedWork W3092767895 @default.
- W3044550424 hasRelatedWork W3176978687 @default.
- W3044550424 hasRelatedWork W49788963 @default.
- W3044550424 hasRelatedWork W835693417 @default.
- W3044550424 isParatext "false" @default.
- W3044550424 isRetracted "false" @default.
- W3044550424 magId "3044550424" @default.
- W3044550424 workType "dissertation" @default.