Logical Inference by DNA Strand Algebra.

Kumar Sankar Ray Mandrita Mondal

Published in: New Math. Nat. Comput. (2016)

Keyphrases

logical inference
theorem proving
dna sequences
query language
data model
dna computing
logical structure
probabilistic inference
knowledge compilation
secondary structure
database
metadata
co occurrence
class labels
inference rules