Interval temporal logic
id:
interval-temporal-logic-316-12970195
title:
Interval temporal logic
text:
Interval temporal logic is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Interval temporal logics find application in computer science, artificial intelligence and linguistics. First-order interval temporal logic was initially developed in the 1980s for the spe
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Interval_temporal_logic
date created:
date modified:
2021-05-30T11:56:11Z
main entity:
{"identifier":"Q6057295","url":"https://www.wikidata.org/entity/Q6057295"}
image:
fields total:
13
integrity:
13