On 'Most' and 'Representative': Filter Logic and Special Predicates.

Paulo A. S. Veloso Sheila R. M. Veloso

Published in: Log. J. IGPL (2005)

Keyphrases

horn clauses
logic programming
logical formulas
modal logic
automated reasoning
machine learning
preprocessing step
quantifier free
proof theory
predicate logic
nonlinear filters
morphological filters
multi valued
expressive power
first order logic
logic programs
multiscale