Constructions of categories of setoids from proof-irrelevant families.

Published in: Arch. Math. Log. (2017)

Keyphrases

artificial intelligence
hierarchical structure
theorem prover
linear logic
data sets
neural network
image segmentation
object recognition
automated theorem proving
real world
machine learning
computer vision
knowledge base