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

QR Code

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:	argumentation theory functional programming Haskell Agda Carneades domain specific language theorem proving dependent type theory argumentation model implementation
Online Access:	https://eprints.nottingham.ac.uk/32798/

Similar Items

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Fostering university freshmen’s mathematical argumentation skills with collaboration scripts
by: Vogel, Freydis, et al.
Published: (2016)

Semantic information and knowledge integration through argumentative reasoning to support intelligent decision making
by: Janjua, Naeem, et al.
Published: (2012)

Fostering argumentation skills in mathematics with adaptable collaboration scripts: only viable for good self-segulators?
by: Vogel, Freydis, et al.
Published: (2015)

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Supporting Science Foundation Year students to construct arguments from multiple documents
by: Anderson, Caroline M
Published: (2024)

Temporal passage and the ‘no alternate possibilities’ argument
by: Tallant, Jonathan
Published: (2016)

Laplace approximation of Lauricella functions F A and F D
by: Butler, R.W., et al.
Published: (2015)

Implicit homophobic argument structure: equal marriage discourse in the Moral maze
by: Van der Bom, Isabelle, et al.
Published: (2015)

Developing argumentation skills in mathematics through computer-supported collaborative learning: the role of transactivity
by: Vogel, Freydis, et al.
Published: (2016)

Web@IDSS – Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information
by: Janjua, Naeem Khalid, et al.
Published: (2011)

Development of a Logic Layer in the Semantic Web: Research Issues
by: Janjua, Naeem Khalid, et al.
Published: (2010)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Bootstrapping extensionality
by: Sestini, Filippo
Published: (2023)

The Impact of a Classroom Intervention on Grade 10 Students' Argumentation Skills, Informal Reasoning, and Conceptual Understanding of Science
by: Venville, G., et al.
Published: (2010)

Burdens of proof and the case for unevenness
by: Aijaz, Imran, et al.
Published: (2013)

Belief pills and the possibility of moral epistemology
by: Sinclair, Neil
Published: (2017)

The use of online debates in teaching pharmacotherapy
by: Charrois, Theresa, et al.
Published: (2012)

A jurisprudential study: proving witchcraft in Africa
by: Mosaka, Tshepo Bogosiboile
Published: (2021)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

How to combine collaboration scripts and heuristic worked examples to foster mathematical argumentation – when working memory matters
by: Schwaighofer, Matthias, et al.
Published: (2017)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Development of the Critical Thinking Toolkit (CriTT): a measure of student attitudes and beliefs about critical thinking
by: Stupple, Edward J.N., et al.
Published: (2017)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

The pretensions of moral realism
by: Sinclair, Neil
Published: (2012)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

The interrelatedness of doctrine and ascetic life: St Basil of Caesarea’s proof of the divinity of the Holy Spirit
by: Rozumna, Yuliia
Published: (2018)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

A principled approach to the implementation of argumentation models
by: van Gijzel, Bas, et al.
Published: (2014)

Effects of collaboration scripts and heuristic worked examples on the acquisition of mathematical argumentation skills of teacher students with different levels of prior achievement
by: Kollar, Ingo, et al.
Published: (2014)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Establishing usability heuristics for heuristics evaluation in a specific domain: is there a consensus?
by: Hermawati, Setia, et al.
Published: (2016)

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)