Some applications of logic to feasibility in higher types

Aleksandar Ignjatovic Arun Sharma

Published in: CoRR (2002)

Keyphrases

significantly higher
higher quality
multi valued
database
machine learning
computer vision
multiscale
evolutionary algorithm
classical logic
defeasible logic
abductive reasoning
proof theory