An Introduction to Logics of Knowledge and Belief.

Hans van Ditmarsch Joseph Y. Halpern Wiebe van der Hoek Barteld P. Kooi

Published in: CoRR (2015)

Keyphrases

domain knowledge
knowledge base
expert systems
higher level
knowledge acquisition
modal operators
knowledge representation
domain experts
expressive power
genetic algorithm
learning algorithm
knowledge management
knowledge based systems
learning systems
conceptual model
knowledge extraction