Representation and integration of knowledge based on multiple granularity of time using temporal logic.

Mehmet A. Orgun Chuchang Liu Abhaya C. Nayak

Published in: IRI (2006)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
belief revision
data integration
predicate logic
computation tree logic
expert systems
verification method
temporal knowledge
dynamic constraints
mazurkiewicz traces