Analyzing and Synthesizing Genomic Logic Functions.

Nicola Paoletti Boyan Yordanov Youssef Hamadi Christoph M. Wintersteiger Hillel Kugler

Published in: CAV (2014)

Keyphrases

logic programming
databases
multi valued
neural network
genetic algorithm
modal logic
sequence data
predicate logic
information retrieval
logic programs
basis functions
classical logic
genomic data
genome sequences