Visual Reasoning by Generalized Interval-values and Interval Temporal Logic.

Benedek Nagy Sándor Vályi

Published in: VLL (2007)

Keyphrases

temporal logic
model checking
temporal knowledge
satisfiability problem
verification method
knowledge base
modal logic
knowledge representation
visual features
concurrent systems
transition systems
computation tree logic
belief revision
formal methods
mazurkiewicz traces