Interval-Related Interpolation in Interval Temporal Logics.

Dimitar P. Guelev

Published in: Log. J. IGPL (2001)

Keyphrases

temporal logic
belief revision
artificial intelligence
mazurkiewicz traces
neural network
model checking
high resolution
knowledge representation
satisfiability problem