An Approach to Cardinality of First Order Metasets.

Bartlomiej Starosta

Published in: ICAISC (2) (2014)

Keyphrases

first order logic
higher order
cardinality constraints
quantifier elimination
database systems
knowledge representation
general logic programs
neural network
information retrieval
genetic algorithm
decision making
three dimensional
multiscale
evolutionary algorithm
stochastic dominance