Proceedings:
Foundations and Applications of Spatio-Temporal Reasoning (FASTR)
Volume
Issue:
Papers from the 2003 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
I present an expressive temporal logic intended for applications in KR and ontology construction. The formalism combines a 1st-order logic of time with a modal treatment of historical necessity, which is used to model describe alternative possible histories. An axiomatisation is given and proved complete with respect to the intended semantics.
Spring
Papers from the 2003 AAAI Spring Symposium