Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of it...
Saved in:
| Published in: | Electronic proceedings in theoretical computer science Vol. 25; no. Proc. GANDALF 2010; pp. 72 - 88 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Open Publishing Association
09-06-2010
|
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!