Expressive Completeness of Duration Calculus.

Alexander Moshe Rabinovich

Published in: Inf. Comput. (2000)

Keyphrases

data sets
automated deduction
sequent calculus
database
machine learning
social networks
information systems
learning environment
information extraction
algebraic structure
provably correct