Axiomatizing Change-of-State Words

Niloofar Montazeri, Jerry R. Hobbs. Axiomatizing Change-of-State Words. In Maureen Donnelly, Giancarlo Guizzardi, editors, Formal Ontology in Information Systems - Proceedings of the Seventh International Conference, FOIS 2012, Gray, Austra, July 24-27, 2012. Volume 239 of Frontiers in Artificial Intelligence and Applications, pages 221-234, IOS Press, 2012. [doi]

Abstract

Abstract is missing.