Liposome logic.

James Smaldon Natalio Krasnogor Cameron Alexander Marian Gheorghe

Published in: GECCO (2009)

Keyphrases

logic programming
neural network
modal logic
predicate logic
classical logic
automated reasoning
database
real time
social networks
data model
hidden markov models
nonmonotonic logics
natural deduction