On the logical structure of choice and bar induction principles.

Nuria Brede Hugo Herbelin

Published in: CoRR (2021)

Keyphrases

logical structure
structural information
metadata
logical inference
data sets
machine learning
knowledge base
domain specific
search engine
e learning
data management
key features
discourse structure