Logical Inference by DNA Strand Algebra.

Kumar Sankar Ray Mandrita Mondal

Published in: CoRR (2015)

Keyphrases

logical inference
theorem proving
dna computing
dna sequences
logical structure
data model
query language
conditional independence
multimedia
probabilistic inference
knowledge compilation
machine learning
knowledge base