Bounded model checking for knowledge and real time.

Alessio Lomuscio Wojciech Penczek Bozena Wozna

Published in: Artif. Intell. (2007)

Keyphrases

real time
bounded model checking
knowledge base
knowledge management
learning systems
prior knowledge
domain knowledge
knowledge representation
model checking
expert systems
knowledge discovery
vision system
knowledge acquisition
general purpose
low cost
high speed
background knowledge
knowledge sources
cooperative