First-Order Spectra with One Binary Predicate.

Arnaud Durand Solomampionona Ranaivoson

Published in: CSL (1994)

Keyphrases

first order logic
horn clauses
higher order
genetic algorithm
search engine
data model
hyperspectral images
non binary
information systems
knowledge representation
principal component analysis
quantifier elimination