Temporal Properties of Repetitive Entities.

Babatunde Opeoluwa Akinkunmi Adenike O. Osofisan

Published in: Artif. Intell. Rev. (2004)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
named entities
expert systems
temporal logic
fuzzy set theory
repetitive patterns
decision making
decision trees
knowledge acquisition
knowledge based systems