Logical Specification of Processes

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

Abstract is missing.