Taming the Complexity of Temporal Epistemic Reasoning.

Clare Dixon Michael Fisher Boris Konev

Published in: FroCoS (2009)

Keyphrases

knowledge base
knowledge representation
polynomial hierarchy
artificial intelligence
automated reasoning
image processing
bayesian networks
probabilistic model
description logics
probabilistic reasoning
epistemic logic