Bounded model checking for knowledge and linear time.
Artur MeskiWojciech PenczekMaciej SzreterBozena Wozna-SzczesniakAndrzej ZbrzeznyPublished in: AAMAS (2012)
Keyphrases
- bounded model checking
- expert systems
- prior knowledge
- domain knowledge
- knowledge base
- knowledge management
- knowledge acquisition
- knowledge representation
- higher level
- learning systems
- knowledge discovery
- worst case
- knowledge based systems
- design process
- background knowledge
- model checking
- knowledge sharing
- knowledge sources