A framework for relating, implementing and verifying argumentation models and their translations

Computational argumentation theory deals with the formalisation of argument structure, conflict between arguments and domain-specific constructs, such as proof standards, epistemic probabilities or argument schemes. However, despite these practical components, there is a lack of implementations and...

Full description

Bibliographic Details
Main Author: van Gijzel, Bas
Format: Thesis (University of Nottingham only)
Language:English
Published: 2016
Subjects:
Online Access:https://eprints.nottingham.ac.uk/32798/