Hybrid Logics of Separation Axioms.

Dmitry Sustretov

Published in: J. Log. Lang. Inf. (2009)

Keyphrases

expressive power
first order logic
knowledge base
computational properties
set theory
evolutionary algorithm
databases
neural network
social networks
propositional logic
hybrid learning
nonmonotonic logics
valued logic
axiomatic characterization