Complete Axiomatizations for Reasoning about Knowledge and Time.

Joseph Y. Halpern Ron van der Meyden Moshe Y. Vardi

Published in: SIAM J. Comput. (2004)

Keyphrases

decision making
three dimensional
machine learning
search engine
image processing