Xing Tan. SCOPE: A Situation Calculus Ontology of Petri Nets. In Antony Galton, Riichiro Mizoguchi, editors, Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010. Volume 209 of Frontiers in Artificial Intelligence and Applications, pages 227-240, IOS Press, 2010. [doi]
Abstract is missing.