Hybrid Identities and Hybrid Equational Logic.

Published in: Math. Log. Q. (1995)

Keyphrases

hybrid learning
multi agent
logic programming
data mining
information retrieval
artificial intelligence
computer vision
bayesian networks
multiscale
evolutionary algorithm
modal logic
theorem prover
horn clauses
hybrid approaches