Bounded model checking for knowledge and real time.

Bozena Wozna Alessio Lomuscio Wojciech Penczek

Published in: AAMAS (2005)

Keyphrases

real time
bounded model checking
knowledge management
knowledge base
domain knowledge
prior knowledge
knowledge sharing
reinforcement learning
knowledge representation
knowledge discovery
general purpose
data mining techniques
knowledge acquisition
knowledge based systems
background knowledge
process model