Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.

Abhishek De Alexis Saurin

Published in: TABLEAUX (2019)

Keyphrases

proof theory
default reasoning
parallel processing
automated reasoning
proof theoretic
reasoning problems
learning algorithm
graph theory