Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946867413> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2946867413 abstract "The aim of this work is to explore possibilities of performing semantic verification of dialogue game argumentation protocols. To this end, we analyse a chosen dialogue system which allows for the simulation of a parent-child discourse. The system under analysis is enriched by the addition of elements of emotional reasoning. In this paper, we show only the first stage of applying the verification technique. It consists of encoding a mathematical game model as an SMT formula. Then, we compute the satisfiability of the conjunction of this formula with another formula that encodes a feature of the model. This technique can be used to verify the correctness of the protocol in the sense of it satisfying the expected properties." @default.
- W2946867413 created "2019-06-07" @default.
- W2946867413 creator A5005175482 @default.
- W2946867413 creator A5037050989 @default.
- W2946867413 creator A5070977195 @default.
- W2946867413 date "2019-01-01" @default.
- W2946867413 modified "2023-09-26" @default.
- W2946867413 title "SMT-Based Encoding of Argumentation Dialogue Games" @default.
- W2946867413 cites W1596929852 @default.
- W2946867413 cites W1966797434 @default.
- W2946867413 cites W2029320362 @default.
- W2946867413 cites W2054554282 @default.
- W2946867413 cites W2100758964 @default.
- W2946867413 cites W2256585945 @default.
- W2946867413 cites W2506562028 @default.
- W2946867413 cites W2524711116 @default.
- W2946867413 cites W2647345721 @default.
- W2946867413 cites W2683663291 @default.
- W2946867413 doi "https://doi.org/10.1007/978-3-030-20915-5_50" @default.
- W2946867413 hasPublicationYear "2019" @default.
- W2946867413 type Work @default.
- W2946867413 sameAs 2946867413 @default.
- W2946867413 citedByCount "0" @default.
- W2946867413 crossrefType "book-chapter" @default.
- W2946867413 hasAuthorship W2946867413A5005175482 @default.
- W2946867413 hasAuthorship W2946867413A5037050989 @default.
- W2946867413 hasAuthorship W2946867413A5070977195 @default.
- W2946867413 hasConcept C111472728 @default.
- W2946867413 hasConcept C11413529 @default.
- W2946867413 hasConcept C121332964 @default.
- W2946867413 hasConcept C125411270 @default.
- W2946867413 hasConcept C1276947 @default.
- W2946867413 hasConcept C138885662 @default.
- W2946867413 hasConcept C142724271 @default.
- W2946867413 hasConcept C154945302 @default.
- W2946867413 hasConcept C168773769 @default.
- W2946867413 hasConcept C199360897 @default.
- W2946867413 hasConcept C204787440 @default.
- W2946867413 hasConcept C2776401178 @default.
- W2946867413 hasConcept C2780385302 @default.
- W2946867413 hasConcept C41008148 @default.
- W2946867413 hasConcept C41895202 @default.
- W2946867413 hasConcept C55439883 @default.
- W2946867413 hasConcept C59656382 @default.
- W2946867413 hasConcept C65059942 @default.
- W2946867413 hasConcept C71924100 @default.
- W2946867413 hasConcept C80444323 @default.
- W2946867413 hasConceptScore W2946867413C111472728 @default.
- W2946867413 hasConceptScore W2946867413C11413529 @default.
- W2946867413 hasConceptScore W2946867413C121332964 @default.
- W2946867413 hasConceptScore W2946867413C125411270 @default.
- W2946867413 hasConceptScore W2946867413C1276947 @default.
- W2946867413 hasConceptScore W2946867413C138885662 @default.
- W2946867413 hasConceptScore W2946867413C142724271 @default.
- W2946867413 hasConceptScore W2946867413C154945302 @default.
- W2946867413 hasConceptScore W2946867413C168773769 @default.
- W2946867413 hasConceptScore W2946867413C199360897 @default.
- W2946867413 hasConceptScore W2946867413C204787440 @default.
- W2946867413 hasConceptScore W2946867413C2776401178 @default.
- W2946867413 hasConceptScore W2946867413C2780385302 @default.
- W2946867413 hasConceptScore W2946867413C41008148 @default.
- W2946867413 hasConceptScore W2946867413C41895202 @default.
- W2946867413 hasConceptScore W2946867413C55439883 @default.
- W2946867413 hasConceptScore W2946867413C59656382 @default.
- W2946867413 hasConceptScore W2946867413C65059942 @default.
- W2946867413 hasConceptScore W2946867413C71924100 @default.
- W2946867413 hasConceptScore W2946867413C80444323 @default.
- W2946867413 hasLocation W29468674131 @default.
- W2946867413 hasOpenAccess W2946867413 @default.
- W2946867413 hasPrimaryLocation W29468674131 @default.
- W2946867413 hasRelatedWork W1494631286 @default.
- W2946867413 hasRelatedWork W1516169988 @default.
- W2946867413 hasRelatedWork W2024218563 @default.
- W2946867413 hasRelatedWork W2155162307 @default.
- W2946867413 hasRelatedWork W2604335042 @default.
- W2946867413 hasRelatedWork W2895557151 @default.
- W2946867413 hasRelatedWork W2898221686 @default.
- W2946867413 hasRelatedWork W2946867413 @default.
- W2946867413 hasRelatedWork W3158541107 @default.
- W2946867413 hasRelatedWork W2706997585 @default.
- W2946867413 isParatext "false" @default.
- W2946867413 isRetracted "false" @default.
- W2946867413 magId "2946867413" @default.
- W2946867413 workType "book-chapter" @default.