Computational Back-And-Forth Arguments in Constructive Type Theory.

Published in: ITP (2022)

Keyphrases

computational models
databases
computational model
theoretical basis
artificial intelligence
computational power
neural network
genetic algorithm
objective function
expert systems
rough sets
formal theory
abstract argumentation