First-Order Spectra with one Binary Predicate.

Arnaud Durand Solomampionona Ranaivoson

Published in: Theor. Comput. Sci. (1996)

Keyphrases

first order logic
horn clauses
higher order
quantifier elimination
inference rules
non binary
real time
case study
hamming distance
raman spectra
machine learning
learning algorithm
data structure
inductive logic programming