Abstract | ||
---|---|---|
This paper introduces a new interval temporal logic, TPL. Existing interval temporal logics, we claim, are inadequate to represent the meanings of certain natural language constructions, despite exhibiting high computational complexity. TPL* overcomes these problems, presents the semantics of some natural language constructions, and captures important real-time problems like behaviour of complex systems. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/TIME.2006.1 | TIME |
Keywords | Field | DocType |
decidable temporal logic,complex system,captures important real-time problem,interval temporal logic,new interval temporal logic,natural language construction,high computational complexity,certain natural language construction,computational complexity,real time,natural languages,computer science,decidability,real time systems,logic,temporal logic,natural language | Computation tree logic,Temporal logic of actions,Interval temporal logic,Computer science,Description logic,Substructural logic,Multimodal logic,Linear temporal logic,Theoretical computer science,Temporal logic | Conference |
ISBN | Citations | PageRank |
0-7695-2617-9 | 3 | 0.39 |
References | Authors | |
6 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Savas Konur | 1 | 131 | 13.40 |