On the completeness and decidability of duration calculus with iteration.

Dimitar P. Guelev Dang Van Hung

Published in: Theor. Comput. Sci. (2005)

Keyphrases

type checking
description logics
query answering
neural network
computer algebra
algebraic structure
computational properties
objective function
formal language
databases
conjunctive queries
iterative process
decision procedures
relational calculus
image sequences
automated theorem proving
artificial intelligence