Abstract | ||
---|---|---|
abstract. Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language construc- tions, and they are not convenient to represent temporal expressions. In addition, these formal systems exhibit high computational complexity. In this paper we introduce a decidable event-based interval logic, called EIL. EIL can express the semantics of some natural language constructions. Keywords: interval temporal logics, natural language semantics, temporal |
Year | Venue | Keywords |
---|---|---|
2008 | Advances in Modal Logic 2006 | natural language,temporal logic,interval temporal logic,computational complexity |
Field | DocType | Citations |
Computation tree logic,Formal semantics (linguistics),Programming language,Interval temporal logic,Computer science,Computational semantics,Description logic,Algorithm,Linear temporal logic,Object language,Classical logic | Conference | 2 |
PageRank | References | Authors |
0.37 | 7 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Savas Konur | 1 | 131 | 13.40 |