Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Conference paper
Representing and Reasoning with Defaults for Learning Agents
Benjamin N. Grosof
AAAI-SS 1993
Miao Guo, Yong Tao Pei, et al.
WCITS 2011
Haoran Liao, Derek S. Wang, et al.
Nature Machine Intelligence