Introduction to Proof Nets.

Lutz Straßburger

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

proof planning
information retrieval
description logics
linear logic
data sets
machine learning
decision making
feature extraction
search algorithm
knowledge representation
logic programs
mathematical proofs
interactive theorem proving