Maximality and Refutability.

Tomasz F. Skura

Published in: Notre Dame J. Formal Log. (2004)

Keyphrases

maximal tractable
spatio temporal
case study
machine learning
artificial intelligence
rough sets
object recognition
search algorithm
lower bound
constraint propagation
feature space
mobile devices
computational complexity
knowledge discovery
software engineering
programming language
keywords