A Metalinguistic Treatment of Epistemic Contexts.

Published in: KR (1991)

Keyphrases

real time
epistemic logic
database
neural network
machine learning
information retrieval
belief change
computation tree logic