Completeness and Decidability of a Fragment of Duration Calculus with Iteration.

Dang Van Hung Dimitar P. Guelev

Published in: ASIAN (1999)

Keyphrases

type checking
automata theoretic
description logics
query answering
temporal logic
data types
decision procedures
formal language
relational databases
information systems
neural network
iterative process
genetic algorithm
automated theorem proving
automated deduction
database query languages
machine learning