Handbook of theoretical computer science (vol. B)
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
A Finite-state Approach to Events in Natural Language Semantics
Journal of Logic and Computation
Temporal prepositions and their logic
Artificial Intelligence
Regular relations for temporal propositions
Natural Language Engineering
Hi-index | 0.00 |
Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as "intervals cum description." Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated. This opens up temporal semantics to finite-state methods, with entailments that are decidable insofar as these can be reduced to inclusions between regular languages.