"Handbook of temporal reasoning in artificial intelligence" - читать интересную книгу автора (Michael David Fisher, Dov M. Gabbay, Lluis Vila)