SCOPE: A Situation Calculus Ontology of Petri Nets.

Xing Tan

Browse the full FOIS paper archive.