A Dose of Timed Logic, in Guarded Measure.

Kamal Lodaya Paritosh K. Pandya

Published in: FORMATS (2006)

Keyphrases

petri net
fixed point
query answering
information theory
classical logic
data sets
databases
neural network
database
social networks
similarity measure
logic programming
modal logic
discrete event
predicate logic