The Quantified Argument Calculus.

Hanoch Ben-Yami

Published in: Rev. Symb. Log. (2014)

Keyphrases

formal representation
machine learning
computer algebra
information systems
formal language
proof procedure
genetic algorithm
automated theorem proving
automated deduction
algebraic structure
provably correct
legal knowledge
supreme court