Temporal Qualification and Change with First-Order Binary Predicates.

Pierre Grenon

Browse the full FOIS paper archive.