A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Temporal prepositions and their logic: extended abstract
2004
Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004.
Preserved Fulltext
This extended abstract reports on the computational complexity of reasoning with English sentences featuring temporal prepositions. A fragment of English featuring these constructions, called Ì È , is defined by means of a context-free grammar. The phrase-structures which this grammar assigns to the sentences it recognizes can be viewed as formulas of an interval temporal logic, called Ì È Ä , whose satisfaction-conditions faithfully represent the meanings of the corresponding English
doi:10.1109/time.2004.1314412
dblp:conf/time/Pratt-Hartmann04
fatcat:72alrhgvgngr7bvj2n4tqnif3u