A Propositional Dense Time Logic (Based on Nested Sequences).

Mohsin Ahmed G. Venkatesh

Published in: TAPSOFT (1993)

Keyphrases

hidden markov models
first order logic
knowledge representation
propositional logic
long sequences
real time
sequential patterns
variable length
dense optical flow
machine learning
genetic algorithm
multiple sequence alignment
statistical relational learning