Puzzles of Existential Generalisation from Type-theoretic Perspective.

Jirí Raclavský

Published in: NCL (2022)

Keyphrases

constraint satisfaction
viewpoint
feature selection
real time
databases
information technology
evolutionary algorithm
neural network
machine learning
artificial intelligence
image processing