Extended interval temporal logic for undetermined interval: Modeling and linear inference using time Petri nets

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 24, Issue 12, 2001, Pages 1299-1309

  Lin, Chuang ^a   Liu, Ting ^a   Qu, Yang ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Extended interval temporal logic; Linear inference; Point interval temporal logic; Time Petri nets

Indexed keywords

MODELS; PETRI NETS;

EXTENDED INTERVAL TEMPORAL LOGIC; LINEAR INFERENCE; POINT INTERVAL TEMPORAL LOGIC; TIME PETRI NETS;

LOGIC PROGRAMMING;

EID: 0035567156     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Maintaining knowledge about temporal intervals
2. Toward a general theory of action and time
3. Moments and points in an interval-based temporal logic
4. Time and time again: The many ways to represent time
5. Actions and events in interval temporal logic
6. On temporal logic programming using Petri nets
7. A Petri net model for temporal knowledge representation and reasoning
8. Logical inference of clauses based on Petri net models
9. Logical inference of Horn clauses in Petri net models