Temporal Reasoning about Two Concurrent Sequences of Events

DOI10.1137/S0097539799362172zbMath1087.68043OpenAlexW1972753047MaRDI QIDQ4651547

Yasunori Ishihara, Hiroyuki Seki, Shin Ishii, Minoru Ito

Publication date: 21 February 2005

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539799362172

zbMATH Keywords

complexityconsistencytemporal reasoningtemporal constraint

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Temporal Reasoning about Two Concurrent Sequences of Events