Temporal Qualification and Change with First-Order Binary Predicates

Pierre Grenon. Temporal Qualification and Change with First-Order Binary Predicates. In Brandon Bennett, Christiane Fellbaum, editors, Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006, Baltimore, Maryland, USA, November 9-11, 2006. Volume 150 of Frontiers in Artificial Intelligence and Applications, pages 155-166, IOS Press, 2006.

Abstract

Abstract is missing.