Classifying Bacterial Genomes with Compact Logic Formulas on k-Mer Frequencies.
Emanuel WeitschekFabio CunialGiovanni FeliciPublished in: DEXA Workshops (2014)
Keyphrases
- escherichia coli
- predicate calculus
- linear time temporal logic
- logical formulas
- sequence data
- horn clauses
- classical logic
- asynchronous circuits
- computational biology
- sequence analysis
- quantifier free
- automated reasoning
- human genome
- predicate logic
- logic programming
- modal operators
- modal logic
- first order logic
- knowledge representation
- truth values
- multi valued
- phylogenetic analysis