Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alsoKnownAs |
HS logic
|
| gptkbp:application |
gptkb:artificial_intelligence
formal verification reasoning about time intervals |
| gptkbp:characteristic |
gptkb:logic
|
| gptkbp:decidability |
undecidable in general
|
| gptkbp:describes |
interval temporal logic
|
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:hasFragment |
decidable fragments exist
|
| gptkbp:introducedIn |
1986
|
| gptkbp:namedAfter |
gptkb:Joseph_Y._Halpern
Moshe Y. Vardi |
| gptkbp:relatedTo |
gptkb:Allen's_interval_algebra
|
| gptkbp:bfsParent |
gptkb:Joseph_Halpern
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Halpern–Shoham logic
|