Common knowledge in update logics.
Johan van BenthemJan van EijckBarteld P. KooiPublished in: TARK (2005)
Keyphrases
- knowledge base
- domain knowledge
- knowledge acquisition
- knowledge representation
- knowledge management
- knowledge based systems
- real time
- expert knowledge
- domain experts
- expressive power
- knowledge sharing
- knowledge transfer
- inference rules
- conceptual model
- learning systems
- knowledge discovery
- information systems
- information retrieval