Disjunctive Temporal Reasoning in Partially Ordered Models of Time

Authors:
Mathias Broxvall;Peter Jonsson
Affiliations:
-;-
Venue:
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Year:
2000

Disjunctions, independence, refinements

Artificial Intelligence
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings

COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
The Point Algebra for Branching Time Revisited

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Point algebras for temporal reasoning: algorithms and complexity

Artificial Intelligence

Hi-index	0.00