Temporal Logic from the Chronicles Paradigm:: learning and reasoning problems | DealShopping Deutschland