The Force of Proof by Which Any Argument Prevails.

Brian Shay Patrick Brazil

Published in: CoRR (2018)

Keyphrases

argumentation schemes
theorem prover
mathematical proofs
data sets
information retrieval
force field
machine learning
virtual environment
graphical representation
formal representation
linear logic
legal argument