Weighted LTL with Discounting.

Published in: CIAA (2012)

Keyphrases

model checking
temporal logic
database
information retrieval
feature selection
data sets
databases
neural network
e learning
knowledge base
clustering algorithm