Reasoning about causality between distributed nonatomic events
From MaRDI portal
Publication:1402743
DOI10.1016/S0004-3702(97)00004-0zbMath1017.68540MaRDI QIDQ1402743
Publication date: 28 August 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
- Maintaining knowledge about temporal intervals
- Temporal interactions of intervals in distributed systems.
- On interprocess communication. I: Basic formalism
- Modeling concurrency with partial orders
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Temporally distributed symptoms in technical diagnosis
- Reasoning about partially ordered events
- Efficient algorithms for qualitative reasoning about time
- Some considerations on nonlinear time intervals
- Temporal reasoning based on semi-intervals
- Temporal reasoning: A relativistic model
- Complexity and algorithms for reasoning about time
- Reasoning about temporal relations
This page was built for publication: Reasoning about causality between distributed nonatomic events
