A Temporal Logic for Modelling Activities of Daily Living

Malte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk. A Temporal Logic for Modelling Activities of Daily Living. In Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek, editors, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Volume 120 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Malte S. Kließ

This author has not been identified. Look up 'Malte S. Kließ' in Google

Catholijn M. Jonker

This author has not been identified. It may be one of the following persons: Look up 'Catholijn M. Jonker' in Google

M. Birna van Riemsdijk

This author has not been identified. It may be one of the following persons: Look up 'M. Birna van Riemsdijk' in Google