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]

Authors

Martina Cíhalová

This author has not been identified. Look up 'Martina Cíhalová' in Google

Marie Duzí

This author has not been identified. Look up 'Marie Duzí' in Google

Marek Mensík

This author has not been identified. Look up 'Marek Mensík' in Google