Automatic Verification of Knowledge and Time with NuSMV.

Alessio Lomuscio Charles Pecheur Franco Raimondi

Published in: IJCAI (2007)

Keyphrases

domain knowledge
model checking
expert systems
knowledge acquisition
symbolic model checking
artificial intelligence
knowledge base
knowledge based systems
domain experts
multi agent
data structure
knowledge discovery
knowledge management