Martina Cíhalová, Marie Duzí, Marek Mensík. Logical Specification of Processes. In Takehiro Tokuda, Yasushi Kiyoki, Hannu Jaakkola, Naofumi Yoshida, editors, Information Modelling and Knowledge Bases XXV, 23rd European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), Nara, Japan, June 3-7, 2013. Volume 260 of Frontiers in Artificial Intelligence and Applications, pages 45-63, IOS Press, 2013. [doi]
Abstract is missing.