A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.

Dimitar P. Guelev Dang Van Hung

Published in: J. Appl. Non Class. Logics (2004)

Keyphrases

database design
provably correct
data sets
neural network
real world
information retrieval
decision making
knowledge base
state space
functional dependencies